diff options
| -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 |