aboutsummaryrefslogtreecommitdiff
path: root/html-test/src
diff options
context:
space:
mode:
authorMateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>2014-03-31 05:34:36 +0100
committerMateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>2014-03-31 05:34:36 +0100
commitbd134c7b2a6880bf3858fd8c27fa16ab946d7718 (patch)
tree811926786f30e17ed0370ad80d9f444009ea7213 /html-test/src
parentf3c7cd34d066cd40cb4983893165de038974fd95 (diff)
Print kind signatures on GADTs
Diffstat (limited to 'html-test/src')
-rw-r--r--html-test/src/Bug85.hs15
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