diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-21 14:47:35 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:31 +0100 |
| commit | dbe6f2ce44d28cbd0cad7e5ed3b9e1766fdae8ee (patch) | |
| tree | e95cd44d5e2934178781d58faebcc2dbe8d6a4fa /html-test/src/Instances.hs | |
| parent | 42d49d550642aa58696af91bb250487ac42e9095 (diff) | |
Extend instances test case to also test multi-name type signatures.
Diffstat (limited to 'html-test/src/Instances.hs')
| -rw-r--r-- | html-test/src/Instances.hs | 4 |
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] |