projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9242868) | patch
[project @ 2001-07-25 15:55:30 by simonpj]
authorsimonpj <unknown>
Wed, 25 Jul 2001 15:55:30 +0000 (15:55 +0000)
committersimonpj <unknown>
Wed, 25 Jul 2001 15:55:30 +0000 (15:55 +0000)
commit7fde87b3698ae84e1b6006a1c3ed0b2fd974b686
tree3e0e8fda942a00a91297691977c96d3da506bb11tree | snapshot
parent92428681b382c173a3d29bff6322e81bc9a7e403commit | diff
[project @ 2001-07-25 15:55:30 by simonpj]
-----------------------------------------
Fix a bug in the monomorphism restriction
------------------------------------------

Thanks for Koen for reporting this bug.

In tcSimplifyRestricted, I wrongly called tcSimpifyToDicts,
whereas actually we have to simplfy further than simply to
a dictionary.

The test for this is in typecheck/should_compile/tc132.hs
ghc/compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)