ucsd-progsys/liquidhaskell — pull request #74 by nikivazou (2013-05-15 20:48:18+00:00)
Title: error message for different number of arguments in TyCon

see issue #72