search

ucsd-progsys / liquidhaskell

Liquid Types For Haskell
BSD 3-Clause "New" or "Revised" License
1.2k stars 139 forks source link

Check well formedness of type constructors. #438

Open nikivazou opened 9 years ago

nikivazou commented 9 years ago

There is no check of well formedness on type constructors. See the following BadArguments.hs

where List is given 2 arguments instead of 1 without LiquidHaskell giving any error.

spinda commented 9 years ago

This check is supposed to handle that:

https://github.com/ucsd-progsys/liquidhaskell/blob/master/src/Language/Haskell/Liquid/Bare/OfType.hs#L224

spinda commented 9 years ago

Ah, of course, it's only checking for synonyms. Should be expanded to normal tycons as well.

nikivazou commented 9 years ago

I see! Yes, let's expand it to normal ty cons! On Aug 28, 2015 5:32 PM, "Michael Smith" notifications@github.com wrote:

Ah, of course, it's only checking for synonyms. Should be expanded to normal tycons as well.

— Reply to this email directly or view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/438#issuecomment-135921452 .