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

[Manuel M T Chakravarty]

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.

Right — laziness is useful after all! ;)

Ok, I don't mind. Let's add a "zero" default value to Elt. Until we figure out how to make Accelerate work with arbitrary user-defined type that will not be a problem and, if we ever get to user-defined types, we'll re-evaluate.

Are you going to add it?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://projects.haskell.org/pipermail/accelerate/attachments/20120426/607db3db/attachment.htm>