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

author	Manuel M T Chakravarty <chak@cse.unsw.edu.au>
	Mon, 14 May 2007 06:52:34 +0000 (06:52 +0000)
committer	Manuel M T Chakravarty <chak@cse.unsw.edu.au>
	Mon, 14 May 2007 06:52:34 +0000 (06:52 +0000)
commit	4899cc823373bd016a49cdb0dffd0e22150ec07e
tree	74985f4ceb57e7140f782129fb236ed4c844d66f	tree \| snapshot
parent	d81eedc942376d81428293a67e99a80676222e39	commit \| diff

Revised signature of tcLookupFamInst and lookupFamInstEnv
- This changes the signature of FamInstEnv.lookupFamInstEnv and
  FamInstEnv.lookupFamInstEnvUnify in a manner similar to SPJ's
  previous patch for InstEnv.llokupInstEnv
- tcLookupFamInst now permits the lookup of instances that are more
  general than the type instance requested.

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

RSS Atom

compiler/simplCore/LiberateCase.lhs		diff \| blob \| history
compiler/typecheck/FamInst.lhs		diff \| blob \| history
compiler/typecheck/TcDeriv.lhs		diff \| blob \| history
compiler/typecheck/TcEnv.lhs		diff \| blob \| history
compiler/types/FamInstEnv.lhs		diff \| blob \| history