diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-04-24 16:51:06 -0400 |
---|---|---|
committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-04-24 13:51:06 -0700 |
commit | 979c7338cfcdc59f0b0dda562a53558c416cc362 (patch) | |
tree | 073baae7f9cfa6cc3c2ed6ca0fd017092cd80c36 /hoogle-test/src/Bug806 | |
parent | b347a8c47edafa6bb3df7d35f0189619294831c4 (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.hs | 23 |
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 |