ucsd-progsys/liquidhaskell — pull request #175 by nikivazou (2014-01-17 01:26:50+00:00)
Title: Type aliases

This is a fix for #121.

`expandRTypeSynonyms` should be performed "manually", at the previous definition could be used only for trivial types.

All basic tests pass and another bug of name clash is found at `test/todo/NameClash.hs`