summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt
diff options
context:
space:
mode:
authorThomas Miedema <thomasmiedema@gmail.com>2016-04-28 17:08:53 +0200
committerThomas Miedema <thomasmiedema@gmail.com>2016-04-28 20:16:20 +0200
commitb0569e881f66c3e987bc1108ad771a706399f5ff (patch)
tree9248fe5a08c1b8c488201db1f502ddd0a3e5f2e7 /testsuite/tests/gadt
parent9dc34d31eb50d5aeb93d24cf9a3197f27ecb1687 (diff)
downloadhaskell-b0569e881f66c3e987bc1108ad771a706399f5ff.tar.gz
Testsuite: benign test fixes
Diffstat (limited to 'testsuite/tests/gadt')
-rw-r--r--testsuite/tests/gadt/gadt-fd.hs5
-rw-r--r--testsuite/tests/gadt/lazypatok.hs2
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.