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@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs