On 9/22/05, Carl Mäsak <[EMAIL PROTECTED]> wrote:
> FWIW, to me it looks fairly intuitive. undef here means "don't alias
> the element, just throw it away"... gaal joked about using _ instead
> of undef. :)

Joked?  Every other language that has pattern matching signatures that
I know of (that is, ML family and Prolog) uses _.  Why should we break
that?  IMO, it's immediately obvious what it means.

Something tells me that in signature unification, "undef" means "this
has to be undef", much like "1" means "this has to be 1".


Reply via email to