On 2014-04-03, Benedikt Ritter wrote: > 2014-04-03 12:05 GMT+02:00 Stefan Bodewig <[email protected]>:
>> On 2014-04-03, Benedikt Ritter wrote: >>> I didn't now that '_' is a valid identifier at all. >> That's a different point. :-) >> _ is used as an identifier in many funtional languages to mean "any >> argument, I don't care for it anyway" > How about changing the name to "ignored" then? yes, that or "unused" would be my second choice. But no need to change anything anymore, I can easily live with Emmanuel's change, I was just curious. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
