diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/gadt/gadt-escape1.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/gadt/gadt-escape1.hs | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/testsuite/tests/ghc-regress/gadt/gadt-escape1.hs b/testsuite/tests/ghc-regress/gadt/gadt-escape1.hs deleted file mode 100644 index 4ff33b299b..0000000000 --- a/testsuite/tests/ghc-regress/gadt/gadt-escape1.hs +++ /dev/null @@ -1,20 +0,0 @@ -{-# LANGUAGE GADTs, ExistentialQuantification #-} - -module Escape where - -data ExpGADT t where - ExpInt :: Int -> ExpGADT Int - -data Hidden = forall t . Hidden (ExpGADT t) (ExpGADT t) - -hval = Hidden (ExpInt 0) (ExpInt 1) - --- With the type sig this is ok, but without it maybe --- should be rejected becuase the result type is wobbly --- weird1 :: ExpGADT Int - -weird1 = case (hval :: Hidden) of Hidden (ExpInt _) a -> a - -- Hidden t (ExpInt (co :: t ~ Int) _ :: ExpGADT t) (a :: ExpGADT t) - -weird2 :: ExpGADT Int -weird2 = case (hval :: Hidden) of Hidden (ExpInt _) a -> a |