projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d200e94) | patch
[project @ 2005-07-08 15:05:15 by simonpj]
authorsimonpj <unknown>
Fri, 8 Jul 2005 15:05:16 +0000 (15:05 +0000)
committersimonpj <unknown>
Fri, 8 Jul 2005 15:05:16 +0000 (15:05 +0000)
commit428d8026a26575512aff9abc23a598ab005fa702
tree34ee44bcda9f382cdc13d3967b91138cd7536593tree | snapshot
parentd200e947960bd59db9713789e992eb1d7596d408commit | diff
[project @ 2005-07-08 15:05:15 by simonpj]
MERGE TO STABLE

Add a check for Haskell-98 mode, to check that there is no type
synonym in an instance declaration.

tcfail139 tests this case
ghc/compiler/typecheck/TcInstDcls.lhs diff | blob | history
ghc/compiler/typecheck/TcMType.lhs diff | blob | history
ghc/compiler/typecheck/TcType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)