Which stable GHC release is expected to have support for linear types?
allbery.b at gmail.com
Wed Jul 12 20:15:41 UTC 2017
On Wed, Jul 12, 2017 at 4:11 PM, Wolfgang Jeltsch <wolfgang-it at jeltsch.info>
> 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
brandon s allbery kf8nh sine nomine associates
allbery.b at gmail.com ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs