Simon Peyton Jones pushed to branch wip/T25440 at Glasgow Haskell Compiler / GHC Commits: 465d7e9a by Simon Peyton Jones at 2025-04-22T16:21:26+01:00 Wibble test output - - - - - 1 changed file: - testsuite/tests/typecheck/should_compile/T25266a.stderr Changes: ===================================== testsuite/tests/typecheck/should_compile/T25266a.stderr ===================================== @@ -1,16 +1,16 @@ -T25266a.hs:10:41: error: [GHC-25897] - • Could not deduce ‘p1 ~ p2’ +T25266a.hs:10:39: error: [GHC-25897] + • Could not deduce ‘p2 ~ p1’ from the context: a ~ Int bound by a pattern with constructor: T1 :: T Int, in a case alternative at T25266a.hs:10:23-24 - ‘p1’ is a rigid type variable bound by + ‘p2’ is a rigid type variable bound by the inferred type of f :: p1 -> p2 -> T a -> Int at T25266a.hs:(9,1)-(11,40) - ‘p2’ is a rigid type variable bound by + ‘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: y + • In the expression: x 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/465d7e9ad9990d4224729149add3a32e... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/465d7e9ad9990d4224729149add3a32e... You're receiving this email because of your account on gitlab.haskell.org.