projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4dd1477) | patch
[project @ 1999-12-03 18:17:29 by lewie]
authorlewie <unknown>
Fri, 3 Dec 1999 18:17:33 +0000 (18:17 +0000)
committerlewie <unknown>
Fri, 3 Dec 1999 18:17:33 +0000 (18:17 +0000)
commitc2b053f3228a8e32cf4d4909c2e97b338e3ac3c1
treea769729b86cd079f1d72f89760ec6a4d26b24c30tree | snapshot
parent4dd14773ef7da94f1d58bdd67576bd9631881f09commit | diff
[project @ 1999-12-03 18:17:29 by lewie]
Extend getTyVarsToGen to take the closure of the set of tyvars
with respect to functional dependencies.  Really simple programs
using functional dependencies work now.  Also fixed a small glitch
where trivial (empty) FunDeps were being tossed into the context willy nilly.
ghc/compiler/typecheck/Inst.lhs diff | blob | history
ghc/compiler/typecheck/TcBinds.lhs diff | blob | history
ghc/compiler/typecheck/TcImprove.lhs diff | blob | history
ghc/compiler/types/FunDeps.lhs diff | blob | history
ghc/compiler/utils/UniqFM.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)