Apoorv Ingle pushed to branch wip/spj-apporv-Oct24 at Glasgow Haskell Compiler / GHC
Commits:
-
ef506888
by Apoorv Ingle at 2025-07-21T07:57:11-05:00
5 changed files:
- testsuite/tests/parser/should_fail/RecordDotSyntaxFail10.stderr
- testsuite/tests/parser/should_fail/RecordDotSyntaxFail11.stderr
- testsuite/tests/rep-poly/RepPolyDoBind.stderr
- testsuite/tests/rep-poly/RepPolyDoBody1.stderr
- testsuite/tests/rep-poly/RepPolyDoBody2.stderr
Changes:
| 1 | - |
|
| 2 | 1 | RecordDotSyntaxFail10.hs:40:11: error: [GHC-18872]
|
| 3 | 2 | • Couldn't match type ‘Int’ with ‘[Char]’
|
| 3 | + arising from a functional dependency between:
|
|
| 4 | + constraint ‘HasField "quux" Quux String’
|
|
| 5 | + arising from a record update
|
|
| 6 | + instance ‘HasField "quux" Quux Int’
|
|
| 7 | + at RecordDotSyntaxFail10.hs:34:10-33
|
|
| 4 | 8 | • In the second argument of ‘($)’, namely ‘a {foo.bar.baz.quux}’
|
| 5 | 9 | In a stmt of a 'do' block: print $ a {foo.bar.baz.quux}
|
| 6 | 10 | In the expression:
|
| 7 | 11 | do let a = ...
|
| 8 | 12 | let quux = "Expecto patronum!"
|
| 9 | 13 | print $ a {foo.bar.baz.quux}
|
| 14 | + |
| ... | ... | @@ -16,6 +16,7 @@ RecordDotSyntaxFail11.hs:8:3: error: [GHC-39999] |
| 16 | 16 | |
| 17 | 17 | RecordDotSyntaxFail11.hs:8:11: error: [GHC-39999]
|
| 18 | 18 | • No instance for ‘GHC.Internal.Records.HasField "baz" Int a0’
|
| 19 | + arising from the expression (.foo.bar.baz)
|
|
| 19 | 20 | • In the second argument of ‘($)’, namely ‘(.foo.bar.baz) a’
|
| 20 | 21 | In a stmt of a 'do' block: print $ (.foo.bar.baz) a
|
| 21 | 22 | In the expression:
|
| 1 | 1 | RepPolyDoBind.hs:26:3: error: [GHC-55287]
|
| 2 | - • The first argument of the rebindable syntax operator ‘(>>=)’
|
|
| 2 | + • The expression ‘undefined’
|
|
| 3 | 3 | arising from a do statement
|
| 4 | 4 | does not have a fixed runtime representation.
|
| 5 | 5 | Its type is:
|
| 1 | 1 | RepPolyDoBody1.hs:24:3: error: [GHC-55287]
|
| 2 | - • The first argument of the rebindable syntax operator ‘(>>)’
|
|
| 2 | + • The expression ‘undefined :: ma’
|
|
| 3 | 3 | arising from a do statement
|
| 4 | 4 | does not have a fixed runtime representation.
|
| 5 | 5 | Its type is:
|
| 1 | 1 | RepPolyDoBody2.hs:23:3: error: [GHC-55287]
|
| 2 | - • The first argument of the rebindable syntax operator ‘(>>)’
|
|
| 2 | + • The expression ‘return ()’
|
|
| 3 | 3 | arising from a do statement
|
| 4 | 4 | does not have a fixed runtime representation.
|
| 5 | 5 | Its type is:
|