
<html><head></head><body><div>Hi!</div><div><br></div><div>I think I figured it out meanwhile: The linear types extension is enabled all the time.</div><div><br></div><div>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.</div><div><br></div><div>All the best,</div><div>Wolfgang</div><div><br></div><div>Am Montag, den 10.07.2017, 18:55 +0300 schrieb Wolfgang Jeltsch:</div><blockquote type="cite"><div>Hi!</div><div><br></div><div>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.</div><div><br></div><div>All the best,</div><div>Wolfgang</div><div><br></div><div>Am Mittwoch, den 05.07.2017, 16:20 +0000 schrieb Edvard Hübinette:</div><blockquote type="cite"><div dir="ltr">Hi Wolfgang, <div class="GmSign"></div><div><br></div><div>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: <a href="https://github.com/tweag/ghc/tree/linear-types">https://github.com/tweag/ghc/tree/linear-types</a>.<br><br>Hope this will help!<br><br>Cheers,</div><div>Edvard Hübinette</div></div><pre></pre></blockquote><pre>_______________________________________________

ghc-devs mailing list

<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>

<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>

</pre></blockquote></body></html>