diff options
author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-03-31 05:34:36 +0100 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-03-31 05:34:36 +0100 |
commit | bd134c7b2a6880bf3858fd8c27fa16ab946d7718 (patch) | |
tree | 811926786f30e17ed0370ad80d9f444009ea7213 /html-test/src | |
parent | f3c7cd34d066cd40cb4983893165de038974fd95 (diff) |
Print kind signatures on GADTs
Diffstat (limited to 'html-test/src')
-rw-r--r-- | html-test/src/Bug85.hs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/html-test/src/Bug85.hs b/html-test/src/Bug85.hs new file mode 100644 index 00000000..9c5b768b --- /dev/null +++ b/html-test/src/Bug85.hs @@ -0,0 +1,15 @@ +{-# LANGUAGE GADTs, KindSignatures #-} +{-# OPTIONS_HADDOCK use-unicode #-} +module Bug85 where + +-- explicitly stated non-trivial kind +data Foo :: (* -> *) -> * -> * where + Bar :: f x -> Foo f (f x) + +-- Just kind * but explicitly written +data Baz :: * where + Baz' :: Baz + +-- No kind signature written down at all +data Qux where + Quux :: Qux |