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

[Brandon Allbery]

On Sat, Jul 15, 2017 at 4:57 AM, Bardur Arantsson <spam at scientician.net>
wrote:

> Maybe, but it seems a bit fragile to me...
>
> What about -*? At least there's no ambiguity there.
>

As previously stated: "Alternatives for “-o” I can think of are “~>”, “-:”,
and “-*”, the latter resembling the magic wand operators in the logic of
bunched implications and in separation logic, which are similar to the
lollipop in linear logic."

-- 
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/20170715/3de96950/attachment.html>