OK, I've pushed the patch that Gabriel sent me for adding these operators. Thanks to everyone who contributed to the discussion!

(I decided not to worry for now about operator precedences. A few checks of medium-sized existing code bases showed everything still working fine.)

_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to