diff options
author | Ben Gamari <ben@smart-cactus.org> | 2021-08-04 21:58:32 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2021-08-04 23:49:56 -0400 |
commit | 406b9f6c8296ad60d9123e9d6e234993171918b1 (patch) | |
tree | 0ee9349cf759e7661a0ae09cb94e7cc57e4c988e | |
parent | 9446f10a56ed69b513dd939ba47c02591138927c (diff) | |
download | haskell-wip/backports-9.0.tar.gz |
Testsuite fixeswip/backports-9.0
These tests were originally written against the GHC2021 language.
-rw-r--r-- | testsuite/tests/deSugar/should_compile/T19883.hs | 4 | ||||
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T9400.stderr | 22 | ||||
-rw-r--r-- | testsuite/tests/stranal/should_compile/T19849.hs | 2 |
3 files changed, 24 insertions, 4 deletions
diff --git a/testsuite/tests/deSugar/should_compile/T19883.hs b/testsuite/tests/deSugar/should_compile/T19883.hs index 80cfc9860c..7cd4ec7a7b 100644 --- a/testsuite/tests/deSugar/should_compile/T19883.hs +++ b/testsuite/tests/deSugar/should_compile/T19883.hs @@ -1,6 +1,10 @@ {-# Language DataKinds #-} {-# Language NoImplicitPrelude #-} {-# Language RebindableSyntax #-} +{-# Language GADTs #-} +{-# Language RankNTypes #-} +{-# Language KindSignatures #-} +{-# Language PolyKinds #-} module T19883 where diff --git a/testsuite/tests/simplCore/should_compile/T9400.stderr b/testsuite/tests/simplCore/should_compile/T9400.stderr index 9e3f4184ea..3990242523 100644 --- a/testsuite/tests/simplCore/should_compile/T9400.stderr +++ b/testsuite/tests/simplCore/should_compile/T9400.stderr @@ -9,7 +9,7 @@ T9400.hs:18:9: warning: [-Woverlapping-patterns (in -Wdefault)] ==================== Tidy Core ==================== Result size of Tidy Core - = {terms: 37, types: 22, coercions: 0, joins: 0/0} + = {terms: 47, types: 28, coercions: 0, joins: 0/0} -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} $trModule1 :: Addr# @@ -36,7 +36,7 @@ T9400.$trModule :: Module [GblId, Unf=OtherCon []] T9400.$trModule = GHC.Types.Module $trModule2 $trModule4 --- RHS size: {terms: 22, types: 15, coercions: 0, joins: 0/0} +-- RHS size: {terms: 32, types: 21, coercions: 0, joins: 0/0} main :: IO () [GblId] main @@ -64,8 +64,22 @@ main @() @() (putStrLn (unpackCString# "efg"#)) - (Control.Exception.Base.patError - @'LiftedRep @(IO ()) "T9400.hs:(17,5)-(18,29)|case"#)))) + (>> + @IO + GHC.Base.$fMonadIO + @() + @() + (Control.Exception.Base.patError + @'LiftedRep @(IO ()) "T9400.hs:(17,5)-(18,29)|case"#) + (>> + @IO + GHC.Base.$fMonadIO + @() + @() + (putStrLn (unpackCStringUtf8# "abc"#)) + (putStrLn + (unpackCStringUtf8# + "a\\197\\188\\195\\179\\197\\130\\196\\135z"#))))))) diff --git a/testsuite/tests/stranal/should_compile/T19849.hs b/testsuite/tests/stranal/should_compile/T19849.hs index 9fa50ef001..d9bc2d87df 100644 --- a/testsuite/tests/stranal/should_compile/T19849.hs +++ b/testsuite/tests/stranal/should_compile/T19849.hs @@ -1,3 +1,5 @@ +{-# LANGUAGE RankNTypes #-} +{-# LANGUAGE GADTs #-} module T19849 where data T where |