diff options
| -rw-r--r-- | testsuite/tests/arrows/should_fail/T2111.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/simplCore/should_compile/T4201.stdout | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/TH_PromotedList.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/TH_PromotedTuple.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/TH_PromotedTuple.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/TH_RichKinds.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/TH_RichKinds2.hs | 2 |
7 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/arrows/should_fail/T2111.stderr b/testsuite/tests/arrows/should_fail/T2111.stderr index 73f5dad967..c6cd8a7daa 100644 --- a/testsuite/tests/arrows/should_fail/T2111.stderr +++ b/testsuite/tests/arrows/should_fail/T2111.stderr @@ -4,7 +4,7 @@ T2111.hs:6:23: undefined -< x was found where an expression was expected In a stmt of a 'do' block: x <- undefined -< x - In a stmt of a 'do' block: rec {x <- undefined -< x} + In a stmt of a 'do' block: rec { x <- undefined -< x } In the expression: - do { rec {x <- undefined -< x}; + do { rec { x <- undefined -< x }; undefined -< x } diff --git a/testsuite/tests/simplCore/should_compile/T4201.stdout b/testsuite/tests/simplCore/should_compile/T4201.stdout index 0009de14cc..e1808560dd 100644 --- a/testsuite/tests/simplCore/should_compile/T4201.stdout +++ b/testsuite/tests/simplCore/should_compile/T4201.stdout @@ -1 +1 @@ - ((->) (Sym (Eta.NTCo:Foo)) (Refl Eta.T))) -} + Unfolding: (Eta.bof `cast` (Sym (Eta.NTCo:Foo) -> Refl Eta.T)) -} diff --git a/testsuite/tests/th/TH_PromotedList.hs b/testsuite/tests/th/TH_PromotedList.hs index bd769a670b..1f4d48c540 100644 --- a/testsuite/tests/th/TH_PromotedList.hs +++ b/testsuite/tests/th/TH_PromotedList.hs @@ -11,7 +11,7 @@ import Language.Haskell.TH $(let ty = AppT (AppT PromotedConsT (ConT ''Int)) (AppT (AppT PromotedConsT (ConT ''Bool)) PromotedNilT) - in report False (pprint ty) >> + in reportWarning (pprint ty) >> return []) data Proxy a = Proxy diff --git a/testsuite/tests/th/TH_PromotedTuple.hs b/testsuite/tests/th/TH_PromotedTuple.hs index cf5808d133..0a9ed633c2 100644 --- a/testsuite/tests/th/TH_PromotedTuple.hs +++ b/testsuite/tests/th/TH_PromotedTuple.hs @@ -12,7 +12,7 @@ data Equal a b where Refl :: Equal a a equal :: Equal '(Int, False) $(do ty <- [t| '(Int, False) |] - report False (show ty) + reportWarning (show ty) return ty) equal = Refl diff --git a/testsuite/tests/th/TH_PromotedTuple.stderr b/testsuite/tests/th/TH_PromotedTuple.stderr index 322bef784c..06260a7bee 100644 --- a/testsuite/tests/th/TH_PromotedTuple.stderr +++ b/testsuite/tests/th/TH_PromotedTuple.stderr @@ -1,6 +1,6 @@ TH_PromotedTuple.hs:(14,32)-(16,43): Splicing type do { ty <- [t| '(Int, False) |]; - report False (show ty); + reportWarning (show ty); return ty } ======> '(Int, False) diff --git a/testsuite/tests/th/TH_RichKinds.hs b/testsuite/tests/th/TH_RichKinds.hs index caa8ad0522..69e4239f43 100644 --- a/testsuite/tests/th/TH_RichKinds.hs +++ b/testsuite/tests/th/TH_RichKinds.hs @@ -17,5 +17,5 @@ $(do tys <- sequence [ [t| forall a. (a :: Bool) |] , [t| forall a. (a :: (* -> Bool) -> ((*, * -> *) -> Bool)) |] ] - report False (pprint tys) + reportWarning (pprint tys) return []) diff --git a/testsuite/tests/th/TH_RichKinds2.hs b/testsuite/tests/th/TH_RichKinds2.hs index 6690063ca0..b804688b6a 100644 --- a/testsuite/tests/th/TH_RichKinds2.hs +++ b/testsuite/tests/th/TH_RichKinds2.hs @@ -38,7 +38,7 @@ $( let fixKs :: String -> String -- need to remove TH renaming index from k vari type instance Map f '[] = '[] type instance Map f (h ': t) = ((f h) ': (Map f t)) |] - report False (fixKs (pprint decls)) + reportWarning (fixKs (pprint decls)) return decls ) data SBool :: Bool -> * where |