Closed GoogleCodeExporter closed 8 years ago
Yeah, there are a couple of other symbols where this might make sense, but I've
made it a policy that the standard library never declares any constant symbols
as nonfix, since once a symbol is nonfix there's no going back. Thus a
programmer needs to declare the symbols nonfix himself if he wants to use them
in pattern-matching (see
http://docs.pure-lang.googlecode.com/hg/pure.html#constant-definitions).
Original comment by aggraef@gmail.com
on 4 Aug 2012 at 11:18
Original issue reported on code.google.com by
jiri.spitz@gmail.com
on 1 Aug 2012 at 9:33