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 <wolfgang...@jeltsch.info > > > > > 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 <wolfgang-it@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
