12 Jul
2017
12 Jul
'17
4:15 p.m.
On Wed, Jul 12, 2017 at 4:11 PM, Wolfgang Jeltsch
I had thought about this possibility already, but then concluded that this was not the case, since types of the form a -o b were not supported. However, when looking at the diffs, I discovered that at the moment, only the Unicode syntax a ⊸ b is understood.
"-o" is going to give the lexer fits. Come up with a purely symbolic version. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net