Merge remote-tracking branch 'mrhania/testing-framework-improvements' into ghc-head

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)