projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1eb7a92) | patch
[project @ 1999-11-30 16:10:07 by lewie]
authorlewie <unknown>
Tue, 30 Nov 1999 16:10:26 +0000 (16:10 +0000)
committerlewie <unknown>
Tue, 30 Nov 1999 16:10:26 +0000 (16:10 +0000)
commite1e1d0204ff754def1b3675f539372fd4691d78d
tree4f1ccd832f6023af3584558a71b549d9d53f0b52tree | snapshot
parent1eb7a921a0b42885d3722fcc8ee4c491a74c6fbccommit | diff
[project @ 1999-11-30 16:10:07 by lewie]
First bits o' functional dependencies - just the syntax and related
datatypes, plus started moving some of the static checks from the
renamer (where we don't know about fundeps) to later in the typechecker.
15 files changed:
ghc/compiler/hsSyn/HsDecls.lhs diff | blob | history
ghc/compiler/main/Main.lhs diff | blob | history
ghc/compiler/main/MkIface.lhs diff | blob | history
ghc/compiler/parser/Parser.y diff | blob | history
ghc/compiler/parser/RdrHsSyn.lhs diff | blob | history
ghc/compiler/rename/ParseIface.y diff | blob | history
ghc/compiler/rename/Rename.lhs diff | blob | history
ghc/compiler/rename/RnIfaces.lhs diff | blob | history
ghc/compiler/rename/RnNames.lhs diff | blob | history
ghc/compiler/rename/RnSource.lhs diff | blob | history
ghc/compiler/typecheck/TcBinds.lhs diff | blob | history
ghc/compiler/typecheck/TcClassDcl.lhs diff | blob | history
ghc/compiler/typecheck/TcMonoType.lhs diff | blob | history
ghc/compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
ghc/compiler/types/Class.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)