ucsd-progsys/liquidhaskell — pull request #179 by gridaphobe (2014-02-27 04:16:25+00:00)
Title: Fix type-holes

This branch fixes the type-holes to infer types in the proper environment (i.e. not just the top-level...). It lets us use them in conjunction with termination expressions for very nice results (e.g. ByteString.small.hs at the top of the diff).