projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7edaba2) | patch
Fix corner case of useless constraint in SPECIALISE pragma
authorsimonpj@microsoft.com <unknown>
Sun, 22 Apr 2007 21:29:11 +0000 (21:29 +0000)
committersimonpj@microsoft.com <unknown>
Sun, 22 Apr 2007 21:29:11 +0000 (21:29 +0000)
commite5ca7e6e5137a2e6081717e5e90ca52a30840f68
tree46e51dafff1ab7289fe875c8b3c379a13c8d33d6tree | snapshot
parent7edaba2692e2c3c47e24d5746b5cf16233bca6e5commit | diff
Fix corner case of useless constraint in SPECIALISE pragma

MERGE TO STABLE

This patch fixes Trac #1287.

The problem is described in Note [Unused spec binders] in DsBinds.

At the same time I realised that the error messages in DsBinds.dsPrag
were being given the location of the *binding* not the *pragma*.
So I've fixed that too.
compiler/deSugar/Desugar.lhs diff | blob | history
compiler/deSugar/DsBinds.lhs diff | blob | history
compiler/typecheck/TcBinds.lhs diff | blob | history
compiler/typecheck/TcHsSyn.lhs diff | blob | history
compiler/typecheck/TcInstDcls.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)