projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21c6005) | patch
[project @ 2001-04-14 07:36:58 by lewie]
authorlewie <unknown>
Sat, 14 Apr 2001 07:36:58 +0000 (07:36 +0000)
committerlewie <unknown>
Sat, 14 Apr 2001 07:36:58 +0000 (07:36 +0000)
commit8166bb6c76b9a240c732ae3b20300123f0f0ad61
treef87f935fd58aa38dda8801171bcf5b9ff53128eftree | snapshot
parent21c60059fff93a95ab5bcec60dd4f2edb8f7b23fcommit | diff
[project @ 2001-04-14 07:36:58 by lewie]
Fix a couple of bugs affecting implicit params.  With implicit params, you
can have a rho type w/o being a forall type.
ghc/compiler/typecheck/TcType.lhs diff | blob | history
ghc/compiler/types/PprType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)