summaryrefslogtreecommitdiff
path: root/tests/examples/pre-ghc86/BadTelescope4.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/examples/pre-ghc86/BadTelescope4.hs')
-rw-r--r--tests/examples/pre-ghc86/BadTelescope4.hs13
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/examples/pre-ghc86/BadTelescope4.hs b/tests/examples/pre-ghc86/BadTelescope4.hs
new file mode 100644
index 0000000..566922a
--- /dev/null
+++ b/tests/examples/pre-ghc86/BadTelescope4.hs
@@ -0,0 +1,13 @@
+{-# LANGUAGE ExistentialQuantification, TypeInType #-}
+module BadTelescope4 where
+
+import Data.Proxy
+import Data.Kind
+
+data SameKind :: k -> k -> *
+
+data Bad a (c :: Proxy b) (d :: Proxy a) (x :: SameKind b d)
+
+data Borked a (b :: k) = forall (c :: k). B (Proxy c)
+ -- this last one is OK. But there was a bug involving renaming
+ -- that failed here, so the test case remains.