You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Certain operations (inadvertently) create fixed-size arrays, and others only work on sparse ones. A coherent decision should be made about the representation of PureScript arrays. Probably fixed-size and explicitly resize/relax would be most appropriate.
(They currently may be sparse because of the implementation of replicate, but shouldn't otherwise be so.)
The text was updated successfully, but these errors were encountered:
Certain operations (inadvertently) create fixed-size arrays, and others only work on sparse ones. A coherent decision should be made about the representation of PureScript arrays. Probably fixed-size and explicitly resize/relax would be most appropriate.
(They currently may be sparse because of the implementation of replicate, but shouldn't otherwise be so.)
The text was updated successfully, but these errors were encountered: