diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-06-10 16:54:10 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-16 20:22:09 -0400 |
| commit | a83d29995d096cca1ceff7042b73080db69219cf (patch) | |
| tree | 4526c9e04fd39e60280675c3dc0b888d454d644d /testsuite/tests/parser/should_fail/RecordDotSyntaxFail13.stderr | |
| parent | e25772a0a95fc9b606044e1afae31ff84790838a (diff) | |
| download | haskell-a83d29995d096cca1ceff7042b73080db69219cf.tar.gz | |
Fix error message for record updates, #19972
Fix found by Adam Gundry.
Diffstat (limited to 'testsuite/tests/parser/should_fail/RecordDotSyntaxFail13.stderr')
| -rw-r--r-- | testsuite/tests/parser/should_fail/RecordDotSyntaxFail13.stderr | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/testsuite/tests/parser/should_fail/RecordDotSyntaxFail13.stderr b/testsuite/tests/parser/should_fail/RecordDotSyntaxFail13.stderr index 8b5369731f..24c3f2a59b 100644 --- a/testsuite/tests/parser/should_fail/RecordDotSyntaxFail13.stderr +++ b/testsuite/tests/parser/should_fail/RecordDotSyntaxFail13.stderr @@ -1,14 +1,12 @@ -RecordDotSyntaxFail13.hs:26:11: - Couldn't match type ‘Int’ with ‘Foo -> Int’ +RecordDotSyntaxFail13.hs:26:11: error: + • Couldn't match type ‘Int’ with ‘Foo -> Int’ arising from a functional dependency between: constraint ‘HasField "foo" Foo (Foo -> Int)’ - << This should not appear in error messages. If you see this - in an error message, please report a bug mentioning ‘record update’ at - https://gitlab.haskell.org/ghc/ghc/wikis/report-a-bug >> + arising from a record update instance ‘HasField "foo" Foo Int’ at RecordDotSyntaxFail13.hs:21:10-31 - In the second argument of ‘($)’, namely ‘a {foo}’ + • In the second argument of ‘($)’, namely ‘a {foo}’ In a stmt of a 'do' block: print $ a {foo} In the expression: do let a = ... |