diff options
Diffstat (limited to 'testsuite/tests/th/T11452.stderr')
| -rw-r--r-- | testsuite/tests/th/T11452.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/th/T11452.stderr b/testsuite/tests/th/T11452.stderr index 88e9af57fc..2de5aa0a0f 100644 --- a/testsuite/tests/th/T11452.stderr +++ b/testsuite/tests/th/T11452.stderr @@ -8,10 +8,10 @@ T11452.hs:6:12: error: T11452.hs:6:14: error: • Couldn't match type ‘p0’ with ‘forall a. a -> a’ - Expected: Language.Haskell.TH.Syntax.Q - (Language.Haskell.TH.Syntax.TExp ((forall a. a -> a) -> ())) - Actual: Language.Haskell.TH.Syntax.Q - (Language.Haskell.TH.Syntax.TExp (p0 -> ())) + Expected: Language.Haskell.TH.Syntax.Code + Language.Haskell.TH.Syntax.Q ((forall a. a -> a) -> ()) + Actual: Language.Haskell.TH.Syntax.Code + Language.Haskell.TH.Syntax.Q (p0 -> ()) Cannot instantiate unification variable ‘p0’ with a type involving polytypes: forall a. a -> a • In the Template Haskell quotation [|| \ _ -> () ||] |