Which stable GHC release is expected to have support for linear types?
wolfgang-it at jeltsch.info
Wed Jul 12 20:11:02 UTC 2017
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,
Am Montag, den 10.07.2017, 18:55 +0300 schrieb Wolfgang Jeltsch:
> 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
> All the best,
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs