git.megacz.com Git - ghc-hetmet.git/commit - compiler/deSugar/DsMeta.hs

author	Manuel M T Chakravarty <chak@cse.unsw.edu.au>
	Thu, 28 Dec 2006 01:03:48 +0000 (01:03 +0000)
committer	Manuel M T Chakravarty <chak@cse.unsw.edu.au>
	Thu, 28 Dec 2006 01:03:48 +0000 (01:03 +0000)
commit	654a1ba16e47d3ddabeb74b809ee6097c0770d35
tree	770e472fc1dbe386a5ee0c122192f8f42f5d218c	tree \| snapshot
parent	ae52214482136fdeaaf9d741cf1211cf3cdce5c6	commit \| diff

Parse and desugar equational constraints
- With -findexed-types, equational constraints can appear in contexts
wherever class predicates are allowed.
- The two argument types need to be boxed and rank 0.

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

RSS Atom

compiler/deSugar/DsMeta.hs		diff \| blob \| history
compiler/hsSyn/HsTypes.lhs		diff \| blob \| history
compiler/parser/Parser.y.pp		diff \| blob \| history
compiler/parser/RdrHsSyn.lhs		diff \| blob \| history
compiler/rename/RnHsSyn.lhs		diff \| blob \| history
compiler/rename/RnTypes.lhs		diff \| blob \| history
compiler/typecheck/TcHsType.lhs		diff \| blob \| history
compiler/typecheck/TcMType.lhs		diff \| blob \| history
compiler/typecheck/TcType.lhs		diff \| blob \| history