persistent-vector icon indicating copy to clipboard operation
persistent-vector copied to clipboard

Remove local Array implementation

Open travitch opened this issue 4 years ago • 1 comments

Data.Vector.Persistent.Array was taken from unordered-containers. I don't recall why - perhaps primitive was not mature enough at the time. It seems like it should be possible to just use Array (or SmallArray as in #15) from primitive and delete the local copy.

travitch avatar Oct 17 '20 05:10 travitch

I know that @tibbe had trouble getting enough things sufficiently specialized and inlined with primitive, which is why he stuck with a local version in unordered-containers. It may well be that GHC has improved in that regard, but if we make that change, we'll need to audit the Core rather carefully. I strongly suspect the current primitive maintainers (of which I am one) would be open to exporting ST-only modules that avoid any risk in that department. See the master branch of primitive-unlifted to see what that would look like.

treeowl avatar Oct 17 '20 22:10 treeowl