aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorƁukasz Hanuszczak <lukasz.hanuszczak@gmail.com>2015-07-21 14:47:35 +0200
committerMateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>2015-08-21 18:22:31 +0100
commitdbe6f2ce44d28cbd0cad7e5ed3b9e1766fdae8ee (patch)
treee95cd44d5e2934178781d58faebcc2dbe8d6a4fa
parent42d49d550642aa58696af91bb250487ac42e9095 (diff)
Extend instances test case to also test multi-name type signatures.
-rw-r--r--html-test/src/Instances.hs4
1 files changed, 4 insertions, 0 deletions
diff --git a/html-test/src/Instances.hs b/html-test/src/Instances.hs
index 8e237fe7..85c21754 100644
--- a/html-test/src/Instances.hs
+++ b/html-test/src/Instances.hs
@@ -26,9 +26,13 @@ class Foo f => Bar f a where
bar :: f a -> f Bool -> a
bar' :: f (f a) -> f (f (f b))
+ bar0, bar1 :: (f a, f a) -> (f b, f c)
bar = undefined
bar' = undefined
+ bar0 = undefined
+ bar1 = undefined
+
instance Bar Maybe Bool
instance Bar Maybe [a]