ucsd-progsys/liquidhaskell — pull request #170 by nikivazou (2014-01-07 22:11:31+00:00)
Title: check casted expressions

Fix for #168, all tests pass