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

author	lewie <unknown>
	Fri, 28 Jan 2000 20:52:46 +0000 (20:52 +0000)
committer	lewie <unknown>
	Fri, 28 Jan 2000 20:52:46 +0000 (20:52 +0000)
commit	266fadd93461d4317967df08cd641e965cd8769a
tree	459d27caad93a293a12fb7b4d4b3fe48d483b90f	tree \| snapshot
parent	c39373f1371fd1e46ea91be262f00c277b31f8e5	commit \| diff

[project @ 2000-01-28 20:52:37 by lewie]
First pass at implicit parameters.  Honest, I didn't really go in *intending*
to modify every file in the typechecker... ;-)  The breadth of the change
is partly due to generalizing contexts so that they are not hardwired to
be (Class, [Type]) pairs.  See types/Type.lhs for details (look for PredType).

47 files changed:

ghc/compiler/basicTypes/DataCon.lhs		diff \| blob \| history
ghc/compiler/basicTypes/MkId.lhs		diff \| blob \| history
ghc/compiler/basicTypes/Name.lhs		diff \| blob \| history
ghc/compiler/basicTypes/OccName.lhs		diff \| blob \| history
ghc/compiler/coreSyn/Subst.lhs		diff \| blob \| history
ghc/compiler/deSugar/DsExpr.lhs		diff \| blob \| history
ghc/compiler/hsSyn/HsDecls.lhs		diff \| blob \| history
ghc/compiler/hsSyn/HsExpr.lhs		diff \| blob \| history
ghc/compiler/hsSyn/HsTypes.lhs		diff \| blob \| history
ghc/compiler/main/MkIface.lhs		diff \| blob \| history
ghc/compiler/parser/Lex.lhs		diff \| blob \| history
ghc/compiler/parser/ParseUtil.lhs		diff \| blob \| history
ghc/compiler/parser/Parser.y		diff \| blob \| history
ghc/compiler/parser/RdrHsSyn.lhs		diff \| blob \| history
ghc/compiler/parser/ctypes.c		diff \| blob \| history
ghc/compiler/parser/ctypes.h		diff \| blob \| history
ghc/compiler/prelude/TysWiredIn.lhs		diff \| blob \| history
ghc/compiler/rename/ParseIface.y		diff \| blob \| history
ghc/compiler/rename/RnEnv.lhs		diff \| blob \| history
ghc/compiler/rename/RnExpr.lhs		diff \| blob \| history
ghc/compiler/rename/RnHsSyn.lhs		diff \| blob \| history
ghc/compiler/rename/RnMonad.lhs		diff \| blob \| history
ghc/compiler/rename/RnSource.lhs		diff \| blob \| history
ghc/compiler/specialise/Specialise.lhs		diff \| blob \| history
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/TcDeriv.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcExpr.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcHsSyn.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/TcMonad.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcMonoType.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcPat.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/types/Class.lhs		diff \| blob \| history
ghc/compiler/types/PprType.hi-boot		diff \| blob \| history
ghc/compiler/types/PprType.hi-boot-5		diff \| blob \| history
ghc/compiler/types/PprType.lhs		diff \| blob \| history
ghc/compiler/types/Type.lhs		diff \| blob \| history
ghc/compiler/types/TypeRep.lhs		diff \| blob \| history
ghc/compiler/usageSP/UsageSPUtils.lhs		diff \| blob \| history

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

RSS Atom