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 :