ucsd-progsys/liquid-fixpoint — pull request #14 by gridaphobe (2013-06-24 21:47:31+00:00)
Title: Use fully qualified names in fixpoint

This is crucial for being able to check modules that import datatypes with the same name as a locally defined type, e.g `Data.Text.Lazy.Internal.Text` vs `Data.Text.Internal.Text`. Th