diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-19 02:25:16 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-19 02:25:16 +0100 |
| commit | 5c1d923fb161bc5603541daebe0eece38a8a3bc8 (patch) | |
| tree | 026aa4e557d0022d7adbdcfbdcfdbd5dd88033c5 /testsuite/tests/gadt/gadt-escape1.hs | |
| parent | 8bc6c4a613b5d16118469248cfb8025a5175a174 (diff) | |
| download | haskell-5c1d923fb161bc5603541daebe0eece38a8a3bc8.tar.gz | |
Adapt to being a bit more picky about inference with GADTs
This means adding a few type signature, and some tests failing
(as they should) rather than succeeding
Diffstat (limited to 'testsuite/tests/gadt/gadt-escape1.hs')
| -rw-r--r-- | testsuite/tests/gadt/gadt-escape1.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/gadt-escape1.hs b/testsuite/tests/gadt/gadt-escape1.hs index 4ff33b299b..d90d6a951a 100644 --- a/testsuite/tests/gadt/gadt-escape1.hs +++ b/testsuite/tests/gadt/gadt-escape1.hs @@ -12,6 +12,9 @@ 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 +-- +-- And indeed it is rejected by GHC 7.8 because OutsideIn +-- doesn't unify under an equality constraint. weird1 = case (hval :: Hidden) of Hidden (ExpInt _) a -> a -- Hidden t (ExpInt (co :: t ~ Int) _ :: ExpGADT t) (a :: ExpGADT t) |