Which stable GHC release is expected to have support for linear types?

Brandon Allbery 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...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170712/5eb18381/attachment.html>

More information about the ghc-devs mailing list