projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e9a9af) | patch
[project @ 1999-12-03 00:03:06 by lewie]
authorlewie <unknown>
Fri, 3 Dec 1999 00:03:10 +0000 (00:03 +0000)
committerlewie <unknown>
Fri, 3 Dec 1999 00:03:10 +0000 (00:03 +0000)
commit297f714906efa8a76378c6fa6db3cd592f896749
tree983d63bd6bd086bdbf53fe8e872d8a42f16bfcb5tree | snapshot
parent0e9a9af906266a131ede746ed860a381a6b0eabccommit | diff
[project @ 1999-12-03 00:03:06 by lewie]
Basic functional dependency implementation.  Most notable change to be
aware of is that the datatype `Inst' now has a new constructor `FunDep'
used to track functional dependencies.  The FunDep predicates are filtered
out in tcSimplify* so that they don't escape.
ghc/compiler/typecheck/Inst.lhs diff | blob | history
ghc/compiler/typecheck/TcBinds.lhs diff | blob | history
ghc/compiler/typecheck/TcImprove.lhs [new file with mode: 0644] blob
ghc/compiler/typecheck/TcSimplify.lhs diff | blob | history
ghc/compiler/types/FunDeps.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)