-
chak@cse.unsw.edu.au. authored
- Pattern signatures must be identical to the type expected for the pattern; see Note [Pattern coercions] - We now signal an appropriate error if an equality coercion would be needed (instead of just generating Core that doesn't typecheck) MERGE TO 6.10
33770e2e