search

bodil / purescript-sized-vectors

Idris style sized vectors in PureScript
18 stars 12 forks source link

drop redundant constraints #5

Closed matthewleon closed 7 years ago

matthewleon commented 7 years ago

It seems to me that these signatures are easier to read without the noise of constraints that are already implied by others.

matthewleon commented 7 years ago

I recognize that's a very subjective judgement, of course :)

bodil commented 7 years ago

No, I agree - iirc they (or at least some of them) used to be there because the type checker couldn't keep up otherwise, but it seems it got better.