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
1 changed file:
Changes:
| 1 | -T25266a.hs:10:41: error: [GHC-25897]
|
|
| 2 | - • Could not deduce ‘p1 ~ p2’
|
|
| 1 | +T25266a.hs:10:39: error: [GHC-25897]
|
|
| 2 | + • Could not deduce ‘p2 ~ p1’
|
|
| 3 | 3 | from the context: a ~ Int
|
| 4 | 4 | bound by a pattern with constructor: T1 :: T Int,
|
| 5 | 5 | in a case alternative
|
| 6 | 6 | at T25266a.hs:10:23-24
|
| 7 | - ‘p1’ is a rigid type variable bound by
|
|
| 7 | + ‘p2’ is a rigid type variable bound by
|
|
| 8 | 8 | the inferred type of f :: p1 -> p2 -> T a -> Int
|
| 9 | 9 | at T25266a.hs:(9,1)-(11,40)
|
| 10 | - ‘p2’ is a rigid type variable bound by
|
|
| 10 | + ‘p1’ is a rigid type variable bound by
|
|
| 11 | 11 | the inferred type of f :: p1 -> p2 -> T a -> Int
|
| 12 | 12 | at T25266a.hs:(9,1)-(11,40)
|
| 13 | - • In the expression: y
|
|
| 13 | + • In the expression: x
|
|
| 14 | 14 | In the first argument of ‘length’, namely ‘[x, y]’
|
| 15 | 15 | In the expression: length [x, y]
|
| 16 | 16 | • Relevant bindings include
|