Simon Peyton Jones pushed to branch wip/T23162-spj at Glasgow Haskell Compiler / GHC Commits: 41c46970 by Simon Peyton Jones at 2025-10-27T11:00:31+00:00 Accept error message wibbles - - - - - 10 changed files: - testsuite/tests/count-deps/CountDepsAst.stdout - testsuite/tests/count-deps/CountDepsParser.stdout - testsuite/tests/parser/should_fail/RecordDotSyntaxFail10.stderr - testsuite/tests/parser/should_fail/RecordDotSyntaxFail13.stderr - testsuite/tests/partial-sigs/should_fail/T14584a.stderr - testsuite/tests/rep-poly/T13233.stderr - testsuite/tests/rep-poly/T14561b.stderr - testsuite/tests/rep-poly/T19709b.stderr - testsuite/tests/rep-poly/T23903.stderr - testsuite/tests/typecheck/should_compile/T25266a.stderr Changes: ===================================== testsuite/tests/count-deps/CountDepsAst.stdout ===================================== @@ -212,6 +212,7 @@ GHC.Utils.CliOption GHC.Utils.Constants GHC.Utils.Containers.Internal.BitUtil GHC.Utils.Containers.Internal.StrictPair +GHC.Utils.EndoOS GHC.Utils.Error GHC.Utils.Exception GHC.Utils.FV ===================================== testsuite/tests/count-deps/CountDepsParser.stdout ===================================== @@ -241,6 +241,7 @@ GHC.Utils.CliOption GHC.Utils.Constants GHC.Utils.Containers.Internal.BitUtil GHC.Utils.Containers.Internal.StrictPair +GHC.Utils.EndoOS GHC.Utils.Error GHC.Utils.Exception GHC.Utils.FV ===================================== testsuite/tests/parser/should_fail/RecordDotSyntaxFail10.stderr ===================================== @@ -1,5 +1,6 @@ RecordDotSyntaxFail10.hs:40:11: error: [GHC-39999] • No instance for ‘HasField "quux" Quux String’ + NB: ‘HasField’ is not the built-in ‘GHC.Internal.Records.HasField’ class. • 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: ===================================== testsuite/tests/parser/should_fail/RecordDotSyntaxFail13.stderr ===================================== @@ -1,7 +1,7 @@ RecordDotSyntaxFail13.hs:26:11: error: [GHC-39999] • No instance for ‘HasField "foo" Foo (Foo -> Int)’ arising from a record update - (maybe you haven't applied a function to enough arguments?) + NB: ‘HasField’ is not the built-in ‘GHC.Internal.Records.HasField’ class. • In the second argument of ‘($)’, namely ‘a {foo}’ In a stmt of a 'do' block: print $ a {foo} In the expression: ===================================== testsuite/tests/partial-sigs/should_fail/T14584a.stderr ===================================== @@ -1,4 +1,3 @@ - T14584a.hs:12:5: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] • Couldn't match expected type ‘()’ with actual type ‘m -> m’ • Probable cause: ‘id @m :: _’ is applied to too few arguments @@ -17,7 +16,7 @@ T14584a.hs:12:9: warning: [GHC-25897] [-Wdeferred-type-errors (in -Wdefault)] T14584a.hs:12:14: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)] • Found type wildcard ‘_’ standing for ‘m -> m’ - Where: ‘m’, ‘k’ are rigid type variables bound by + Where: ‘k’, ‘m’ are rigid type variables bound by the type signature for: f :: forall {k} (m :: k). () at T14584a.hs:11:1-17 @@ -44,3 +43,4 @@ T14584a.hs:16:8: warning: [GHC-83865] [-Wdeferred-type-errors (in -Wdefault)] In the expression: let h = id @m in h In an equation for ‘g’: g = let h = id @m in h • Relevant bindings include h :: m -> m (bound at T14584a.hs:15:9) + ===================================== testsuite/tests/rep-poly/T13233.stderr ===================================== @@ -2,20 +2,20 @@ T13233.hs:14:11: error: [GHC-55287] • • The first component of the unboxed tuple does not have a fixed runtime representation. Its type is: - a1 :: TYPE k2 + a1 :: TYPE k1 When unifying: • a1 -> b1 -> (# a1, b1 #) • a -> a -> (# a, a #) - Cannot unify ‘rep’ with the type variable ‘k2’ + Cannot unify ‘rep’ with the type variable ‘k1’ because the former is not a concrete ‘RuntimeRep’. • The second component of the unboxed tuple does not have a fixed runtime representation. Its type is: - b1 :: TYPE k1 + b1 :: TYPE k2 When unifying: • a1 -> b1 -> (# a1, b1 #) • a -> a -> (# a, a #) - Cannot unify ‘rep’ with the type variable ‘k1’ + Cannot unify ‘rep’ with the type variable ‘k2’ because the former is not a concrete ‘RuntimeRep’. • In the first argument of ‘bar’, namely ‘(#,#)’ In the expression: bar (#,#) ===================================== testsuite/tests/rep-poly/T14561b.stderr ===================================== @@ -2,9 +2,9 @@ T14561b.hs:12:9: error: [GHC-55287] • The first argument of ‘coerce’ does not have a fixed runtime representation. Its type is: - b0 :: TYPE k0 + a0 :: TYPE k0 When unifying: - • b0 -> b0 + • a0 -> b0 • a -> a Cannot unify ‘r’ with the type variable ‘k0’ because the former is not a concrete ‘RuntimeRep’. ===================================== testsuite/tests/rep-poly/T19709b.stderr ===================================== @@ -2,7 +2,7 @@ T19709b.hs:11:15: error: [GHC-55287] • The argument ‘(error @Any "e2")’ of ‘levfun’ does not have a fixed runtime representation. Its type is: - a1 :: TYPE c0 + a0 :: TYPE c0 Cannot unify ‘Any’ with the type variable ‘c0’ because the former is not a concrete ‘RuntimeRep’. • In the first argument of ‘levfun’, namely ‘(error @Any "e2")’ ===================================== testsuite/tests/rep-poly/T23903.stderr ===================================== @@ -2,7 +2,7 @@ T23903.hs:21:1: error: [GHC-55287] • The first pattern in the equation for ‘f’ does not have a fixed runtime representation. Its type is: - t0 :: TYPE c0 + Unbox a :: TYPE c0 Cannot unify ‘Rep a’ with the type variable ‘c0’ because the former is not a concrete ‘RuntimeRep’. • The equation for ‘f’ has one visible argument, ===================================== testsuite/tests/typecheck/should_compile/T25266a.stderr ===================================== @@ -1,4 +1,4 @@ -T25266a.hs:10:39: error: [GHC-25897] +T25266a.hs:10:41: error: [GHC-25897] • Could not deduce ‘p2 ~ p1’ from the context: a ~ Int bound by a pattern with constructor: T1 :: T Int, @@ -10,7 +10,7 @@ T25266a.hs:10:39: error: [GHC-25897] ‘p1’ is a rigid type variable bound by the inferred type of f :: p1 -> p2 -> T a -> Int at T25266a.hs:(9,1)-(11,40) - • In the expression: x + • In the expression: y In the first argument of ‘length’, namely ‘[x, y]’ In the expression: length [x, y] • Relevant bindings include View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/41c46970eb4c85a63ed87a6e432dfb3b... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/41c46970eb4c85a63ed87a6e432dfb3b... You're receiving this email because of your account on gitlab.haskell.org.