projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30e444e) | patch
[project @ 2001-05-03 08:13:25 by simonpj]
authorsimonpj <unknown>
Thu, 3 May 2001 08:13:25 +0000 (08:13 +0000)
committersimonpj <unknown>
Thu, 3 May 2001 08:13:25 +0000 (08:13 +0000)
commitcd7dc9b1d4277ead419f45264fead9ef02b65bcb
treeb476f4b6a629d7400aa543a011bff9eaebedba8ctree | snapshot
parent30e444ea34c78423b60e4ee250b516fc1cc2ae3acommit | diff
[project @ 2001-05-03 08:13:25 by simonpj]
**** MERGE WITH 5.00 BRANCH     ********

--------------------------------
Fix a bad implicit parameter bug
--------------------------------

TcSimplify.tcSimplifyIPs was just completely wrong; it wasn't
doing improvement properly nor binding values properly. Sigh.

To make this work nicely I added
Inst.instName :: Inst -> Name
ghc/compiler/typecheck/Inst.lhs diff | blob | history
ghc/compiler/typecheck/TcExpr.lhs diff | blob | history
ghc/compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)