On 03/17/2014 11:43 PM, Timon Gehr wrote:
> No, it does not. The lexer does not need to change.
you're right, but at some distant  future I would like .. to be replaced
by :

Reply via email to