Would it be a problem for all types in class Elt to have a default or zero value?

[Ryan Newton]

>
>
> Why do you need default values in a *proper* permutation? (I.e., in that
> case, you shouldn't need the default.)
>

You don't!  But permute expects the default values argument argument
nevertheless, right?  If it were normal Haskell you could just put an
(error "...") there, but that won't work with the EDSL staged evaluation.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://projects.haskell.org/pipermail/accelerate/attachments/20120425/3959edd6/attachment.htm>