search

bodil / purescript-sized-vectors

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

Swap all uses of `toInt (undefined :: s)` to `toInt' (Proxy :: Proxy s)` #28

Closed athanclark closed 4 years ago

athanclark commented 4 years ago

It would just make me feel better

artemisSystem commented 4 years ago

why are you adding the invalid label?

athanclark commented 4 years ago

"invalid" in the sense of "the current code is invalid" - this issue doesn't declare a bug, but rather declares that the code isn't valid. There isn't an issue with the behavior, but rather the design.