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

Wolfgang Jeltsch wolfgang-it at jeltsch.info
Wed Jul 12 20:11:02 UTC 2017


Hi!
I think I figured it out meanwhile: The linear types extension is
enabled all the time.
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.
All the best,
Wolfgang
Am Montag, den 10.07.2017, 18:55 +0300 schrieb Wolfgang Jeltsch:
> Hi!
> 
> I was finally able to get GHC with the linear types extension running.
> There is one bit missing though: How do I enable this extension?
> Apparently there is no extension whose name starts with “Linear”, and
> when quickly skimming through the list of extensions available for
> auto-completion in GHCi, I could not find anything related to linear
> types.
> 
> All the best,
> Wolfgang
> 
> Am Mittwoch, den 05.07.2017, 16:20 +0000 schrieb Edvard Hübinette:
> > Hi Wolfgang, 
> > 
> > I've put together a small README for getting this up and running
> > (both for using stack with pre-built Docker images, and from
> > source). It can be found in the repository here: https://github.com/
> > tweag/ghc/tree/linear-types.
> > 
> > Hope this will help!
> > 
> > Cheers,
> > Edvard Hübinette
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170712/481ebb11/attachment.html>


More information about the ghc-devs mailing list