projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 444c625) | patch
Proper error message for unsupported pattern signatures
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 1 Oct 2008 14:43:39 +0000 (14:43 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 1 Oct 2008 14:43:39 +0000 (14:43 +0000)
commit33770e2e376005ff14a1d16b89f32b0d474425e2
treec60080dbd399ff1f6c7b76f0775fca7778cdff9btree | snapshot
parent444c62505e1e9790db08322fea8625dedd81d446commit | diff
Proper error message for unsupported pattern signatures
- 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
compiler/typecheck/TcHsType.lhs diff | blob | history
compiler/typecheck/TcPat.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)