aboutsummaryrefslogtreecommitdiff
path: root/hoogle-test/src/assoc-types
diff options
context:
space:
mode:
authorŁukasz Hanuszczak <lukasz.hanuszczak@gmail.com>2015-08-19 17:07:25 +0200
committerŁukasz Hanuszczak <lukasz.hanuszczak@gmail.com>2015-08-22 23:40:28 +0200
commit3378ef409170ae1f319c934876d2b9e1a14bb9a8 (patch)
tree8750a9412a1f2ba91a7e248149480354d8e0e6e3 /hoogle-test/src/assoc-types
parent7d0317a9210ddbb4f00976318910018fa9abea99 (diff)
Create simple test cases for Hoogle backend.
Diffstat (limited to 'hoogle-test/src/assoc-types')
-rw-r--r--hoogle-test/src/assoc-types/AssocTypes.hs23
1 files changed, 23 insertions, 0 deletions
diff --git a/hoogle-test/src/assoc-types/AssocTypes.hs b/hoogle-test/src/assoc-types/AssocTypes.hs
new file mode 100644
index 00000000..a9bdc6d8
--- /dev/null
+++ b/hoogle-test/src/assoc-types/AssocTypes.hs
@@ -0,0 +1,23 @@
+{-# LANGUAGE TypeFamilies #-}
+
+
+module AssocTypes where
+
+
+class Foo a where
+
+ type Bar a b
+ type Baz a
+
+ type Baz a = [(a, a)]
+
+ bar :: Bar a a
+ bar = undefined
+
+
+instance Foo [a] where
+
+ type Bar [a] Int = [(a, Bool)]
+ type Bar [a] Bool = [(Int, a)]
+
+ type Baz [a] = (a, a, a)