diff options
author | sheaf <sam.derbyshire@gmail.com> | 2022-01-17 10:45:35 +0100 |
---|---|---|
committer | sheaf <sam.derbyshire@gmail.com> | 2022-01-17 14:52:50 +0000 |
commit | f161e890dfd41fd9735f4e259fffe2ce6d00ec1a (patch) | |
tree | e6c54b25f3cbb87458dea92c04e23993997e3746 /testsuite/tests/gadt/gadt13.stderr | |
parent | a13aff98cfccddee285b6550dd08c6ec1a3c4e17 (diff) | |
download | haskell-f161e890dfd41fd9735f4e259fffe2ce6d00ec1a.tar.gz |
Use diagnostic infrastructure in GHC.Tc.Errors
Diffstat (limited to 'testsuite/tests/gadt/gadt13.stderr')
-rw-r--r-- | testsuite/tests/gadt/gadt13.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/gadt/gadt13.stderr b/testsuite/tests/gadt/gadt13.stderr index 49eb2bc96f..83b0e73e53 100644 --- a/testsuite/tests/gadt/gadt13.stderr +++ b/testsuite/tests/gadt/gadt13.stderr @@ -1,6 +1,6 @@ gadt13.hs:15:13: error: - • Could not deduce: p ~ (String -> [Char]) + • Could not deduce (p ~ (String -> [Char])) from the context: a ~ Int bound by a pattern with constructor: I :: Int -> Term Int, in an equation for ‘shw’ @@ -8,8 +8,8 @@ gadt13.hs:15:13: error: ‘p’ is a rigid type variable bound by the inferred type of shw :: Term a -> p at gadt13.hs:15:1-30 - Possible fix: add a type signature for ‘shw’ • In the expression: ("I " ++) . shows t In an equation for ‘shw’: shw (I t) = ("I " ++) . shows t • Relevant bindings include shw :: Term a -> p (bound at gadt13.hs:15:1) + Suggested fix: Consider giving ‘shw’ a type signature |