diff options
author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-04-28 17:08:53 +0200 |
---|---|---|
committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-04-28 20:16:20 +0200 |
commit | b0569e881f66c3e987bc1108ad771a706399f5ff (patch) | |
tree | 9248fe5a08c1b8c488201db1f502ddd0a3e5f2e7 /testsuite/tests/gadt | |
parent | 9dc34d31eb50d5aeb93d24cf9a3197f27ecb1687 (diff) | |
download | haskell-b0569e881f66c3e987bc1108ad771a706399f5ff.tar.gz |
Testsuite: benign test fixes
Diffstat (limited to 'testsuite/tests/gadt')
-rw-r--r-- | testsuite/tests/gadt/gadt-fd.hs | 5 | ||||
-rw-r--r-- | testsuite/tests/gadt/lazypatok.hs | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/testsuite/tests/gadt/gadt-fd.hs b/testsuite/tests/gadt/gadt-fd.hs index 7efac2288f..7d966c35eb 100644 --- a/testsuite/tests/gadt/gadt-fd.hs +++ b/testsuite/tests/gadt/gadt-fd.hs @@ -1,4 +1,9 @@ {-# LANGUAGE GADTs #-} +{-# LANGUAGE MultiParamTypeClasses #-} +{-# LANGUAGE KindSignatures #-} +{-# LANGUAGE FlexibleInstances #-} +{-# LANGUAGE FunctionalDependencies #-} +{-# LANGUAGE UndecidableInstances #-} -- Trac #345 diff --git a/testsuite/tests/gadt/lazypatok.hs b/testsuite/tests/gadt/lazypatok.hs index 9903a6653e..44fae2fa10 100644 --- a/testsuite/tests/gadt/lazypatok.hs +++ b/testsuite/tests/gadt/lazypatok.hs @@ -1,6 +1,6 @@ {-# LANGUAGE GADTs #-} --- It's not clear whether this one should succed or fail, +-- It's not clear whether this one should succeed or fail, -- Arguably it should succeed because the type refinement on -- T1 should make (y::Int). Currently, though, it fails. |