ucsd-progsys/liquidhaskell — pull request #93 by nikivazou (2013-07-19 00:32:21+00:00)
Title: Decrease info

Relate each decrease hint with the first variable (defined with a let expression) that comes AFTER it.
see tests/pos/fixme.hs for an example.