ucsd-progsys/liquidhaskell — pull request #174 by nikivazou (2014-01-15 00:46:32+00:00)
Title: Measure sort - Transformationa

Fix for

#132 : typechecking the body of defined measures

#122 : make transformations in the following order

- RecTransformation (make inner recursive functions polymorphic)
- AnfTransformation
- ScopeTransformation (in data (like (x, y)) open fields from left to right (first x then y) )

If Rec happens after ANF we can get `argExpr` error