Re: Crossreferenced GHC 8.0.2

[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, build and install the `ghc_kythe_wrapper` (instructions at
https://github.com/google/haskell-indexer).

Then build GHC with `make`, and capture the build log. Here's the hacky
script I used:
https://gist.github.com/robinp/222cf3a39cc19178ec8691522056d7fe

It filters the log and replaces GHC calls to call the wrapper, which emits
Kythe entries.

Finally run `serve.sh` of the repo to postprocess and serve the entries
through HTTP.

This is all pretty new, so feedback or questions welcome. If the method
distills, could try to write a more formal guide.


> 2. Is it possible to use this tool to detect dead code? Functions
> which are not used anywhere in the compiler.
>

We'll get there eventually, but for now the emitted data is not
fine-grained enough. The main missing piece is recording what are exported
entities of a module (Kythe schema discussion in progress). Without this,
unused locals (which anyway surface with -Wall) would be presented and
noisy.

Also, one would probably need to postprocess the data a bit for this, like
loading into a graph database or other ways.

Did you see https://github.com/ndmitchell/weeder by the way? Might work.


> 3. How are you pretty printing the output whilst retaining the source
> formatting? I had a quick look at the source but I couldn't see where
> the output was being produced.
>
>
The haskell-indexer-frontend-kythe emits Kythe (http://kythe.io) schema
data. We just export the source offsets, and it's the Kythe postprocessing
/ serving pipeline that does all the formatting.


> Cheers,
>
> Matt
>
> On Fri, Jun 30, 2017 at 8:55 AM, Robin Palotai 
> wrote:
> > 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:
> > http://stuff.codereview.me/#ghc/compiler/hsSyn/HsBinds.hs?
> corpus
> > (scroll down a bit, imports are not linked yet).
> >
> > Second, the way I indexed was pretty simple. I took the output of `make`,
> > replaced the ghc used with the ghc_kythe_wrapper, and filtered the lines
> > which included '-c', since I noticed that those duplicate previous large
> > compile lines. This only indexes the stage1 compilation AFAIU.
> >
> > Feel free to suggest a better way to tap into the compilations to get
> > everything properly indexed (and possibly only once).
> >
> > Any comments welcome!
> > Robin
> >
> > [1]: https://github.com/google/haskell-indexer
> >
> > [2]: TLDR UI quirks:
> >   - Click the :: in top-left to navigate file tree
> >   - Ctrl-Click (on linux) to go directly to definition (otherwise click
> > stuff from bottom pane)
> >   - Bottom pane often hides content, close it if stuck.
> >
> > ___
> > ghc-devs mailing list
> > ghc-devs@haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> >
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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

[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 https://github.com/tweag/ghc.git

All the best,
Wolfgang

Am Freitag, den 30.06.2017, 17:23 +0300 schrieb 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
> > 
> >     https://ghc.haskell.org/trac/ghc/wiki/Building/GettingTheSources
> > #C
> > loningfromGitHub
> > 
> > Do these instructions also apply in an analogous way to cloning your
> > GHC repository?
> > 
> > All the best,
> > Wolfgang
> > 
> > Am Freitag, den 30.06.2017, 16:11 +0200 schrieb 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  > > fo
> > > > 
> > > > 
> > > wrote:
> > > > 
> > > > 
> > > > 
> > > > Hi, Mathieu!
> > > > 
> > > > Thanks a lot for the quick reply.
> > > > 
> > > > I am just cloning the Git repository at https://github.com/tweag
> > > > /g
> > > > hc
> > > > .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 +0200 schrieb 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 are giving ourselves the 8.4 release as a
> > > > > *tentative*
> > > > > target, so don't count on it. It may well end up happening
> > > > > much
> > > > > further in the future. It's a research effort at this point
> > > > > and
> > > > > the
> > > > > design is likely to change a bunch.
> > > > > 
> > > > > In the meantime, you can play around with this Docker image:
> > > > > 
> > > > > https://hub.docker.com/r/tweag/linear-types/
> > > > > 
> > > > > It contains a pre-built fork of GHC with the current state of
> > > > > the
> > > > > linear types implementation. You can see the development as
> > > > > it's
> > > > > happening here:
> > > > > 
> > > > > https://github.com/tweag/ghc/tree/linear-types
> > > > > 
> > > > > Best,
> > > > > --
> > > > > Mathieu Boespflug
> > > > > Founder at http://tweag.io.
> > > > > 
> > > > > 
> > > > > On 30 June 2017 at 15:49, Wolfgang Jeltsch  > > > > h.
> > > > > in
> > > > > fo>
> > > > > wrote:
> > > > > > 
> > > > > > 
> > > > > > 
> > > > > > 
> > > > > > Hi!
> > > > > > 
> > > > > > The blog post on http://blog.tweag.io/posts/2017-03-13-linea
> > > > > > r-
> > > > > > ty
> > > > > > pes.
> > > > > > 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 been forked off from the HEAD branch, so that
> > > > > > only
> > > > > > GHC
> > > > > > 8.6
> > > > > > will have support for linear types?
> > > > > > 
> > > > > > All the best,
> > > > > > Wolfgang
> > > > > > ___
> > > > > > ghc-devs mailing list
> > > > > > ghc-devs@haskell.org
> > > > > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> > > > ___
> > > > ghc-devs mailing list
> > > > ghc-devs@haskell.org
> > > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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

[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: Which stable GHC release is expected to have support for
|  linear types?
|  
|  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 been forked off from the HEAD branch, so that only GHC 8.6
|  will have support for linear types?
|  
|  All the best,
|  Wolfgang
|  ___
|  ghc-devs mailing list
|  ghc-devs@haskell.org
|  http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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

[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 Message-
|  From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of
|  Boespflug, Mathieu
|  Sent: 30 June 2017 15:02
|  To: Wolfgang Jeltsch 
|  Cc: Arnaud Spiwack ; ghc-devs 
|  Subject: Re: Which stable GHC release is expected to have support for
|  linear types?
|  
|  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 are giving ourselves the 8.4 release as a *tentative*
|  target, so don't count on it. It may well end up happening much
|  further in the future. It's a research effort at this point and the
|  design is likely to change a bunch.
|  
|  In the meantime, you can play around with this Docker image:
|  
|  https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fhub.d
|  ocker.com%2Fr%2Ftweag%2Flinear-
|  types%2F=02%7C01%7Csimonpj%40microsoft.com%7C0f0fa7d2181b498882bd
|  08d4bfc0b5c1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636344281789
|  392239=aWCyABYfJdvkxZAVk4wD5IuErCPTYGvdFO22nbT8gYw%3D=0
|  
|  It contains a pre-built fork of GHC with the current state of the
|  linear types implementation. You can see the development as it's
|  happening here:
|  
|  https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithu
|  b.com%2Ftweag%2Fghc%2Ftree%2Flinear-
|  types=02%7C01%7Csimonpj%40microsoft.com%7C0f0fa7d2181b498882bd08d
|  4bfc0b5c1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636344281789392
|  239=IGDxDD1q%2BxTRK%2FFwS0C%2BsDEpwFzbzHja4sF3twlF55c%3D
|  d=0
|  
|  Best,
|  --
|  Mathieu Boespflug
|  Founder at
|  https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Ftweag.
|  io=02%7C01%7Csimonpj%40microsoft.com%7C0f0fa7d2181b498882bd08d4bf
|  c0b5c1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636344281789392239
|  =qXdzC81GzESKMHKCykOyM75XrPRbFL8edpsxKKv5VVQ%3D=0.
|  
|  
|  On 30 June 2017 at 15:49, Wolfgang Jeltsch 
|  wrote:
|  > Hi!
|  >
|  > The blog post on
|  >
|  https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fblog.t
|  > weag.io%2Fposts%2F2017-03-13-linear-
|  types.html=02%7C01%7Csimonpj%
|  >
|  40microsoft.com%7C0f0fa7d2181b498882bd08d4bfc0b5c1%7C72f988bf86f141af9
|  >
|  1ab2d7cd011db47%7C1%7C0%7C636344281789392239=i8wFqX5an5LyuBKQ5Jk
|  > 2q8jUQdb62l72wOj9OX1OoK0%3D=0
|  > 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 been forked off from the HEAD branch, so that only GHC
|  8.6
|  > will have support for linear types?
|  >
|  > All the best,
|  > Wolfgang
|  > ___
|  > ghc-devs mailing list
|  > ghc-devs@haskell.org
|  >
|  https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.h
|  > askell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-
|  devs=02%7C01%7Csi
|  >
|  monpj%40microsoft.com%7C0f0fa7d2181b498882bd08d4bfc0b5c1%7C72f988bf86f
|  >
|  141af91ab2d7cd011db47%7C1%7C0%7C636344281789392239=5MKuM59nRrrjm
|  > MPMY9%2BPvsR1%2BBAPHDExiCbU%2FlckuGg%3D=0
|  ___
|  ghc-devs mailing list
|  ghc-devs@haskell.org
|  https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.h
|  askell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-
|  devs=02%7C01%7Csimonpj%40microsoft.com%7C0f0fa7d2181b498882bd08d4
|  bfc0b5c1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6363442817893922
|  39=5MKuM59nRrrjmMPMY9%2BPvsR1%2BBAPHDExiCbU%2FlckuGg%3D
|  =0
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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

[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
> 
>     https://ghc.haskell.org/trac/ghc/wiki/Building/GettingTheSources#C
> loningfromGitHub
> 
> Do these instructions also apply in an analogous way to cloning your
> GHC repository?
> 
> All the best,
> Wolfgang
> 
> Am Freitag, den 30.06.2017, 16:11 +0200 schrieb 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 repository at https://github.com/tweag/g
> > > hc
> > > .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 +0200 schrieb 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 are giving ourselves the 8.4 release as a *tentative*
> > > > target, so don't count on it. It may well end up happening much
> > > > further in the future. It's a research effort at this point and
> > > > the
> > > > design is likely to change a bunch.
> > > > 
> > > > In the meantime, you can play around with this Docker image:
> > > > 
> > > > https://hub.docker.com/r/tweag/linear-types/
> > > > 
> > > > It contains a pre-built fork of GHC with the current state of
> > > > the
> > > > linear types implementation. You can see the development as it's
> > > > happening here:
> > > > 
> > > > https://github.com/tweag/ghc/tree/linear-types
> > > > 
> > > > Best,
> > > > --
> > > > Mathieu Boespflug
> > > > Founder at http://tweag.io.
> > > > 
> > > > 
> > > > On 30 June 2017 at 15:49, Wolfgang Jeltsch  > > > in
> > > > fo>
> > > > wrote:
> > > > > 
> > > > > 
> > > > > 
> > > > > Hi!
> > > > > 
> > > > > The blog post on http://blog.tweag.io/posts/2017-03-13-linear-
> > > > > ty
> > > > > pes.
> > > > > 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 been forked off from the HEAD branch, so that only
> > > > > GHC
> > > > > 8.6
> > > > > will have support for linear types?
> > > > > 
> > > > > All the best,
> > > > > Wolfgang
> > > > > ___
> > > > > ghc-devs mailing list
> > > > > ghc-devs@haskell.org
> > > > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> > > ___
> > > ghc-devs mailing list
> > > ghc-devs@haskell.org
> > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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

[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, 16:11 +0200 schrieb 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 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 +0200 schrieb 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 are giving ourselves the 8.4 release as a *tentative*
> > > target, so don't count on it. It may well end up happening much
> > > further in the future. It's a research effort at this point and
> > > the
> > > design is likely to change a bunch.
> > > 
> > > In the meantime, you can play around with this Docker image:
> > > 
> > > https://hub.docker.com/r/tweag/linear-types/
> > > 
> > > It contains a pre-built fork of GHC with the current state of the
> > > linear types implementation. You can see the development as it's
> > > happening here:
> > > 
> > > https://github.com/tweag/ghc/tree/linear-types
> > > 
> > > Best,
> > > --
> > > Mathieu Boespflug
> > > Founder at http://tweag.io.
> > > 
> > > 
> > > On 30 June 2017 at 15:49, Wolfgang Jeltsch  > > fo>
> > > wrote:
> > > > 
> > > > 
> > > > Hi!
> > > > 
> > > > The blog post on http://blog.tweag.io/posts/2017-03-13-linear-ty
> > > > pes.
> > > > 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 been forked off from the HEAD branch, so that only
> > > > GHC
> > > > 8.6
> > > > will have support for linear types?
> > > > 
> > > > All the best,
> > > > Wolfgang
> > > > ___
> > > > ghc-devs mailing list
> > > > ghc-devs@haskell.org
> > > > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> > ___
> > ghc-devs mailing list
> > ghc-devs@haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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

[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 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 +0200 schrieb 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 are giving ourselves the 8.4 release as a *tentative*
>> target, so don't count on it. It may well end up happening much
>> further in the future. It's a research effort at this point and the
>> design is likely to change a bunch.
>>
>> In the meantime, you can play around with this Docker image:
>>
>> https://hub.docker.com/r/tweag/linear-types/
>>
>> It contains a pre-built fork of GHC with the current state of the
>> linear types implementation. You can see the development as it's
>> happening here:
>>
>> https://github.com/tweag/ghc/tree/linear-types
>>
>> Best,
>> --
>> Mathieu Boespflug
>> Founder at http://tweag.io.
>>
>>
>> On 30 June 2017 at 15:49, Wolfgang Jeltsch 
>> wrote:
>> >
>> > 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 been forked off from the HEAD branch, so that only GHC
>> > 8.6
>> > will have support for linear types?
>> >
>> > All the best,
>> > Wolfgang
>> > ___
>> > ghc-devs mailing list
>> > ghc-devs@haskell.org
>> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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

[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 +0200 schrieb 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 are giving ourselves the 8.4 release as a *tentative*
> target, so don't count on it. It may well end up happening much
> further in the future. It's a research effort at this point and the
> design is likely to change a bunch.
> 
> In the meantime, you can play around with this Docker image:
> 
> https://hub.docker.com/r/tweag/linear-types/
> 
> It contains a pre-built fork of GHC with the current state of the
> linear types implementation. You can see the development as it's
> happening here:
> 
> https://github.com/tweag/ghc/tree/linear-types
> 
> Best,
> --
> Mathieu Boespflug
> Founder at http://tweag.io.
> 
> 
> On 30 June 2017 at 15:49, Wolfgang Jeltsch 
> wrote:
> > 
> > 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 been forked off from the HEAD branch, so that only GHC
> > 8.6
> > will have support for linear types?
> > 
> > All the best,
> > Wolfgang
> > ___
> > ghc-devs mailing list
> > ghc-devs@haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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

[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 are giving ourselves the 8.4 release as a *tentative*
target, so don't count on it. It may well end up happening much
further in the future. It's a research effort at this point and the
design is likely to change a bunch.

In the meantime, you can play around with this Docker image:

https://hub.docker.com/r/tweag/linear-types/

It contains a pre-built fork of GHC with the current state of the
linear types implementation. You can see the development as it's
happening here:

https://github.com/tweag/ghc/tree/linear-types

Best,
--
Mathieu Boespflug
Founder at http://tweag.io.


On 30 June 2017 at 15:49, Wolfgang Jeltsch  wrote:
> 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 been forked off from the HEAD branch, so that only GHC 8.6
> will have support for linear types?
>
> All the best,
> Wolfgang
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

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

[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 been forked off from the HEAD branch, so that only GHC 8.6
will have support for linear types?

All the best,
Wolfgang
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Crossreferenced GHC 8.0.2

[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 printing the output whilst retaining the source
formatting? I had a quick look at the source but I couldn't see where
the output was being produced.

Cheers,

Matt

On Fri, Jun 30, 2017 at 8:55 AM, Robin Palotai  wrote:
> 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:
> http://stuff.codereview.me/#ghc/compiler/hsSyn/HsBinds.hs?corpus
> (scroll down a bit, imports are not linked yet).
>
> Second, the way I indexed was pretty simple. I took the output of `make`,
> replaced the ghc used with the ghc_kythe_wrapper, and filtered the lines
> which included '-c', since I noticed that those duplicate previous large
> compile lines. This only indexes the stage1 compilation AFAIU.
>
> Feel free to suggest a better way to tap into the compilations to get
> everything properly indexed (and possibly only once).
>
> Any comments welcome!
> Robin
>
> [1]: https://github.com/google/haskell-indexer
>
> [2]: TLDR UI quirks:
>   - Click the :: in top-left to navigate file tree
>   - Ctrl-Click (on linux) to go directly to definition (otherwise click
> stuff from bottom pane)
>   - Bottom pane often hides content, close it if stuck.
>
> ___
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Crossreferenced GHC 8.0.2

[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 find where beloved functions
> are called from
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Crossreferenced GHC 8.0.2

[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:
http://stuff.codereview.me/#ghc/compiler/hsSyn/HsBinds.hs?corpus
(scroll down a bit, imports are not linked yet).

Second, the way I indexed was pretty simple. I took the output of `make`,
replaced the ghc used with the ghc_kythe_wrapper, and filtered the lines
which included '-c', since I noticed that those duplicate previous large
compile lines. This only indexes the stage1 compilation AFAIU.

Feel free to suggest a better way to tap into the compilations to get
everything properly indexed (and possibly only once).

Any comments welcome!
Robin

[1]: https://github.com/google/haskell-indexer

[2]: TLDR UI quirks:
  - Click the :: in top-left to navigate file tree
  - Ctrl-Click (on linux) to go directly to definition (otherwise click
stuff from bottom pane)
  - Bottom pane often hides content, close it if stuck.
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs