28 Aug
2012
28 Aug
'12
9:31 a.m.
On Tue, 28 Aug 2012, Simon Peyton-Jones wrote:
What should we do about this? There has been NO discussion of this API. Possibilities
· Adopt the package with a new name, like vector-prim or vector-internal, implying that it’s for people doing vector-stuff, rather than for end users. (And say that in the docs.)
+1
· Absorb it into the vector package, which is currently its only client (we think).
-1 because I think it could be useful for alternative packages (like storablevector, but it does not use 'primitive' currently)
· Absorb it into the base package. But we are generally trying to reduce base not increase it.
-1