aboutsummaryrefslogtreecommitdiff
path: root/hoogle-test/src/Bug806
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2018-04-24 16:51:06 -0400
committerAlexander Biehl <alexbiehl@gmail.com>2018-04-24 13:51:06 -0700
commit979c7338cfcdc59f0b0dda562a53558c416cc362 (patch)
tree073baae7f9cfa6cc3c2ed6ca0fd017092cd80c36 /hoogle-test/src/Bug806
parentb347a8c47edafa6bb3df7d35f0189619294831c4 (diff)
Improve the Hoogle backend's treatment of type families (#808)
Fixes parts 1 and 2 of #806.
Diffstat (limited to 'hoogle-test/src/Bug806')
-rw-r--r--hoogle-test/src/Bug806/Bug806.hs23
1 files changed, 23 insertions, 0 deletions
diff --git a/hoogle-test/src/Bug806/Bug806.hs b/hoogle-test/src/Bug806/Bug806.hs
new file mode 100644
index 00000000..6efcb5cf
--- /dev/null
+++ b/hoogle-test/src/Bug806/Bug806.hs
@@ -0,0 +1,23 @@
+{-# LANGUAGE KindSignatures #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE UndecidableInstances #-}
+module Bug806 where
+
+import Data.Proxy
+
+-- | 'F1' docs
+type family F1 a b :: * -> *
+-- | 'F2' docs
+type family F2 a b :: * -> * where
+ F2 Int b = Maybe
+ F2 a b = []
+-- | 'D' docs
+data family D a :: * -> *
+
+v :: Int
+v = 42
+
+-- | 'C' docs
+class C a where
+ -- | 'AT' docs
+ type AT a