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 rep poly test case error messages - - - - - 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: ===================================== testsuite/tests/parser/should_fail/RecordDotSyntaxFail10.stderr ===================================== @@ -1,9 +1,14 @@ - RecordDotSyntaxFail10.hs:40:11: error: [GHC-18872] • Couldn't match type ‘Int’ with ‘[Char]’ + arising from a functional dependency between: + constraint ‘HasField "quux" Quux String’ + arising from a record update + instance ‘HasField "quux" Quux Int’ + at RecordDotSyntaxFail10.hs:34:10-33 • In the second argument of ‘($)’, namely ‘a {foo.bar.baz.quux}’ In a stmt of a 'do' block: print $ a {foo.bar.baz.quux} In the expression: do let a = ... let quux = "Expecto patronum!" print $ a {foo.bar.baz.quux} + ===================================== testsuite/tests/parser/should_fail/RecordDotSyntaxFail11.stderr ===================================== @@ -16,6 +16,7 @@ RecordDotSyntaxFail11.hs:8:3: error: [GHC-39999] RecordDotSyntaxFail11.hs:8:11: error: [GHC-39999] • No instance for ‘GHC.Internal.Records.HasField "baz" Int a0’ + arising from the expression (.foo.bar.baz) • In the second argument of ‘($)’, namely ‘(.foo.bar.baz) a’ In a stmt of a 'do' block: print $ (.foo.bar.baz) a In the expression: ===================================== testsuite/tests/rep-poly/RepPolyDoBind.stderr ===================================== @@ -1,5 +1,5 @@ RepPolyDoBind.hs:26:3: error: [GHC-55287] - • The first argument of the rebindable syntax operator ‘(>>=)’ + • The expression ‘undefined’ arising from a do statement does not have a fixed runtime representation. Its type is: ===================================== testsuite/tests/rep-poly/RepPolyDoBody1.stderr ===================================== @@ -1,5 +1,5 @@ RepPolyDoBody1.hs:24:3: error: [GHC-55287] - • The first argument of the rebindable syntax operator ‘(>>)’ + • The expression ‘undefined :: ma’ arising from a do statement does not have a fixed runtime representation. Its type is: ===================================== testsuite/tests/rep-poly/RepPolyDoBody2.stderr ===================================== @@ -1,5 +1,5 @@ RepPolyDoBody2.hs:23:3: error: [GHC-55287] - • The first argument of the rebindable syntax operator ‘(>>)’ + • The expression ‘return ()’ arising from a do statement does not have a fixed runtime representation. Its type is: View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ef50688837d5bf60008ed9ede2f0d712... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ef50688837d5bf60008ed9ede2f0d712... You're receiving this email because of your account on gitlab.haskell.org.