ucsd-progsys/liquidhaskell — pull request #42 by nikivazou (2013-03-12 07:08:34+00:00)
Title: Printing

* create a global ppEnv in RefType.hs to wrap printing parameters.
once set to ppEnvPrintPreds predicates are printed

* parse predica arguments as predicates, not as types,
ie (see tests/pos/ListISort.hs) we can have
type IncrList a = [a]<{\fld v -> v <= fld}>

this change affects the parser, not the internal representation