search

bodil / purescript-sized-vectors

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

upgraded deps, fixed warning #16

Closed athanclark closed 5 years ago

athanclark commented 5 years ago

Hi again!

I just had to adjust the lower bound on some of the deps in this library to get it up-to-speed. Also, there was a warning in Data.Vec that's been around for some time; I hope you don't mind me editing it.

Thank you for this library, please let me know if you'd need anything else from me to get it pushed upstream!

athanclark commented 5 years ago

@bodil ping! I got the tests working; there wasn't any changes to the API - just a precedence issue with ::.

athanclark commented 5 years ago

@bodil Hey sorry for pestering, I just really need progress made on this end, because it's a prerequisite to purescript-arraybuffer; sized vectors are great for avoiding a size argument during serialization of binary data.

bodil commented 5 years ago

Tagging a release now, but as you can tell my maintainership of my PS stuff is spotty at best. If your work depends on this, would you like me to add you as a maintainer?

athanclark commented 5 years ago

@bodil Heck yeah! I'll take care of it :)

bodil commented 5 years ago

Done!