diff options
Diffstat (limited to 'testsuite/tests/patsyn/should_compile/T14394.script')
| -rw-r--r-- | testsuite/tests/patsyn/should_compile/T14394.script | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/patsyn/should_compile/T14394.script b/testsuite/tests/patsyn/should_compile/T14394.script index 208df0ca36..29f738bbbd 100644 --- a/testsuite/tests/patsyn/should_compile/T14394.script +++ b/testsuite/tests/patsyn/should_compile/T14394.script @@ -1,3 +1,4 @@ +:set -XHaskell2010 :set -XPatternSynonyms -XGADTs -XViewPatterns -XScopedTypeVariables import Data.Type.Equality @@ -21,4 +22,4 @@ data S a where { MkS :: Ord a => a -> S a } pattern Bam x y <- (MkS (x::a), MkS (y::a)) :info Bam --- Expecting only one provided Ord constraint
\ No newline at end of file +-- Expecting only one provided Ord constraint |