diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2021-03-10 15:28:48 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-03-10 16:58:50 -0500 |
| commit | 115cd3c85a8c38f1fe2a10d4ee515f92c96dd5a2 (patch) | |
| tree | 19214707fa15f127d05ae515c74cff7e85776a7c /testsuite/tests/patsyn/should_compile | |
| parent | 30ccf9ed1f592531dac9f3d750278fac6303c3e4 (diff) | |
| download | haskell-115cd3c85a8c38f1fe2a10d4ee515f92c96dd5a2.tar.gz | |
Use GHC2021 as default language
Diffstat (limited to 'testsuite/tests/patsyn/should_compile')
5 files changed, 8 insertions, 4 deletions
diff --git a/testsuite/tests/patsyn/should_compile/T10997_1.hs b/testsuite/tests/patsyn/should_compile/T10997_1.hs index 4cc4b40eec..7855343d5a 100644 --- a/testsuite/tests/patsyn/should_compile/T10997_1.hs +++ b/testsuite/tests/patsyn/should_compile/T10997_1.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} module T10997_1 where import T10997_1a diff --git a/testsuite/tests/patsyn/should_compile/T10997_1a.hs b/testsuite/tests/patsyn/should_compile/T10997_1a.hs index 11af525c53..bf69c41fa3 100644 --- a/testsuite/tests/patsyn/should_compile/T10997_1a.hs +++ b/testsuite/tests/patsyn/should_compile/T10997_1a.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE PatternSynonyms, ViewPatterns, ConstraintKinds, TypeFamilies, PolyKinds, KindSignatures #-} module T10997_1a where diff --git a/testsuite/tests/patsyn/should_compile/T12698.hs b/testsuite/tests/patsyn/should_compile/T12698.hs index 68cd817677..bb2bccbb44 100644 --- a/testsuite/tests/patsyn/should_compile/T12698.hs +++ b/testsuite/tests/patsyn/should_compile/T12698.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE Haskell2010 #-} {-# Language ViewPatterns, TypeOperators, KindSignatures, PolyKinds, StandaloneDeriving, GADTs, RebindableSyntax, RankNTypes, LambdaCase, PatternSynonyms, TypeApplications #-} 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 diff --git a/testsuite/tests/patsyn/should_compile/T14394.stdout b/testsuite/tests/patsyn/should_compile/T14394.stdout index 83e745c60a..5838db9f43 100644 --- a/testsuite/tests/patsyn/should_compile/T14394.stdout +++ b/testsuite/tests/patsyn/should_compile/T14394.stdout @@ -1,10 +1,10 @@ pattern Foo :: () => (b ~ a) => a :~~: b - -- Defined at <interactive>:5:1 + -- Defined at <interactive>:6:1 pattern Bar :: forall {k1} {k2} {a :: k1} {b :: k2}. () => (k2 ~ k1, b ~~ a) => a :~~: b - -- Defined at <interactive>:11:1 + -- Defined at <interactive>:12:1 pattern Bam :: () => Ord a => a -> a -> (S a, S a) - -- Defined at <interactive>:21:1 + -- Defined at <interactive>:22:1 |