Re: Crossreferenced GHC 8.0.2

2017-06-30 Thread Robin Palotai
Hello Matthew, Please see inline 2017-06-30 11:57 GMT+02:00 Matthew Pickering : > Hi Robin, > > This looks really useful for developers. > > 1. Would it be possible to provide a script which allows developers to > build this index for themselves easily? > First,

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

2017-06-30 Thread Wolfgang Jeltsch
After entering my Git username and password, Git showed me the following error: > fatal: repository > 'https://github.com/tweag/arcanist-external-json-linter.git/' not found What exact command do I have to use to clone the repository? So far, I have used the following: > git clone --recursive

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

2017-06-30 Thread Simon Peyton Jones via ghc-devs
Wolfgang It'd be very interesting to know more about your use-case. Why do you want linear types? Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of | Wolfgang Jeltsch | Sent: 30 June 2017 14:49 | To: ghc-devs@haskell.org | Subject:

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

2017-06-30 Thread Simon Peyton Jones via ghc-devs
And, just to be clear, while I think the design is coming along nicely, we have not yet made a clear proposal to the ghc-devs community, via the ghc-proposals mechanism, for a change to GHC. Until we have an adopted propsoal we can't say "it'll be in GHC by date X". Simon | -Original

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

2017-06-30 Thread Wolfgang Jeltsch
Hmm, after entering various submodules into the configuration, Git asks me for a username for https://github.com. Why? Am Freitag, den 30.06.2017, 17:15 +0300 schrieb Wolfgang Jeltsch: > Hi! > > I am just reading the instructions for cloning GHC from Git under > >     

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

2017-06-30 Thread Wolfgang Jeltsch
Hi! I am just reading the instructions for cloning GHC from Git under      https://ghc.haskell.org/trac/ghc/wiki/Building/GettingTheSources#CloningfromGitHub Do these instructions also apply in an analogous way to cloning your GHC repository? All the best, Wolfgang Am Freitag, den 30.06.2017,

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

2017-06-30 Thread Boespflug, Mathieu
Yes, just make sure to checkout the linear-types branch, not the master branch. -- Mathieu Boespflug Founder at http://tweag.io. On 30 June 2017 at 16:09, Wolfgang Jeltsch wrote: > Hi, Mathieu! > > Thanks a lot for the quick reply. > > I am just cloning the Git

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

2017-06-30 Thread Wolfgang Jeltsch
Hi, Mathieu! Thanks a lot for the quick reply. I am just cloning the Git repository at https://github.com/tweag/ghc.git and want to build GHC from it. Is this still the right repository? Does it contain the same as the Docker image? All the best, Wolfgang Am Freitag, den 30.06.2017, 16:02

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

2017-06-30 Thread Boespflug, Mathieu
Hi Wolfgang, 8.4 is the next release after the (by now imminent) 8.2 release. But no support for linear types has of yet been merged into the master branch that will eventually form the basis of the 8.4 release. This support is under active development at the moment on a side branch. Some of us

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

2017-06-30 Thread Wolfgang Jeltsch
Hi! The blog post on http://blog.tweag.io/posts/2017-03-13-linear-types.html says, “We are targeting a merge by the time of the 8.4 release of GHC.” Does this mean that GHC 8.4 is expected to have support for linear types, or does it mean that the merge should happen after a GHC 8.4 branch has

Re: Crossreferenced GHC 8.0.2

2017-06-30 Thread Matthew Pickering
Hi Robin, This looks really useful for developers. 1. Would it be possible to provide a script which allows developers to build this index for themselves easily? 2. Is it possible to use this tool to detect dead code? Functions which are not used anywhere in the compiler. 3. How are you pretty

Re: Crossreferenced GHC 8.0.2

2017-06-30 Thread Niklas Hambüchen
Hey Robin, I find that super useful, thanks! I hope some day we'll get to the stage where for any Haskell code I can easily discover all inputs, like the Java world has in their IDEs for decades already. Niklas On 30/06/17 09:55, Robin Palotai wrote: > First, here you can click around [2] and

Crossreferenced GHC 8.0.2

2017-06-30 Thread Robin Palotai
Hello GHC devs, I ran haskell-indexer [1] on the GHC 8.0.2 tarball, partly because I find myself reading GHC source from time to time while working on the indexer, and partly since it's fun. First, here you can click around [2] and find where beloved functions are called from: