projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f122ef) | patch
[project @ 2000-05-14 07:16:50 by lewie]
authorlewie <unknown>
Sun, 14 May 2000 07:16:50 +0000 (07:16 +0000)
committerlewie <unknown>
Sun, 14 May 2000 07:16:50 +0000 (07:16 +0000)
commit2558ec224e78bc95bcdde8f65c9ee25cdcb509d9
tree82bc1c7bec0be3f57736fda9f7b40c19fdb4f848tree | snapshot
parent6f122ef3930b51bca54bb96858fe9b8f1d85c461commit | diff
[project @ 2000-05-14 07:16:50 by lewie]
Wobble.  Fine tuning tcSimplifyAndCheck a bit further (wrt implicit params).
The key is that a method that doesn't constrain a local tyvar, but does has
implicit params, needs to be reduced further.
ghc/compiler/typecheck/Inst.lhs diff | blob | history
ghc/compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)