git.megacz.com Git - ghc-hetmet.git/commit

[project @ 2000-10-12 12:32:11 by simonpj]
Simons work, mainly on the type checker

24 files changed:

ghc/compiler/typecheck/Inst.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcBinds.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcClassDcl.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcDefaults.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcDeriv.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcEnv.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcExpr.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcForeign.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcHsSyn.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcIfaceSig.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcImprove.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcInstDcls.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcInstUtil.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcMatches.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcModule.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcMonad.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcMonoType.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcPat.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcRules.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcSimplify.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcTyClsDecls.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcTyDecls.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcType.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcUnify.lhs		diff \| blob \| history

Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)