projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8bdc5d4) | patch
[project @ 2004-04-02 12:38:33 by simonpj]
authorsimonpj <unknown>
Fri, 2 Apr 2004 12:38:35 +0000 (12:38 +0000)
committersimonpj <unknown>
Fri, 2 Apr 2004 12:38:35 +0000 (12:38 +0000)
commitbc7bd6e3afa5d5d97d8eda26b79ac18cef0a0b42
tree3a67334d1dc03eaf2387e353ec1ce8ad1b56b9b3tree | snapshot
parent8bdc5d40deeef0b6ef532122083642d029f56c8dcommit | diff
[project @ 2004-04-02 12:38:33 by simonpj]
A preliminary step towards being able to identify existential
type variables separately.  That in turn helps when resolving
overloading; I think we want to resolve overloading without
worrying about what these type variables might instantiate to.
ghc/compiler/typecheck/Inst.lhs diff | blob | history
ghc/compiler/typecheck/TcExpr.lhs diff | blob | history
ghc/compiler/typecheck/TcPat.lhs diff | blob | history
ghc/compiler/typecheck/TcType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)