diff options
| author | simonpj <simonpj@microsoft.com> | 2006-02-02 13:02:36 +0000 |
|---|---|---|
| committer | simonpj <simonpj@microsoft.com> | 2006-02-02 13:02:36 +0000 |
| commit | 182805d10cef7099d0aa90a7e18aaf1f2ae2799f (patch) | |
| tree | 88b97fde0c72dc61685e8ca2f6717d02cc0d8336 /testsuite/tests/ghc-regress/gadt/lazypatok.hs | |
| parent | 6b6381fe9e4b28496e7a91026286b0712a9fe8d5 (diff) | |
| download | haskell-182805d10cef7099d0aa90a7e18aaf1f2ae2799f.tar.gz | |
Fix GADT tests
Diffstat (limited to 'testsuite/tests/ghc-regress/gadt/lazypatok.hs')
| -rw-r--r-- | testsuite/tests/ghc-regress/gadt/lazypatok.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/tests/ghc-regress/gadt/lazypatok.hs b/testsuite/tests/ghc-regress/gadt/lazypatok.hs index a594ead7a7..0154f2d06a 100644 --- a/testsuite/tests/ghc-regress/gadt/lazypatok.hs +++ b/testsuite/tests/ghc-regress/gadt/lazypatok.hs @@ -2,8 +2,7 @@ -- It's not clear whether this one should succed or fail,
-- Arguably it should succeed because the type refinement on
--- T1 should make (y::Int). Currently, though, it fails, and
--- I don't think it's easy to fix, so I'm leaving it for now.
+-- T1 should make (y::Int). Currently, though, it succeeds
module ShouldFail where
|