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". Luke
