Re: GSOC Idea: Bytecode serialization and/or Fat Interface files

2021-03-13 Thread Ben Gamari
John Ericson writes: > Yes, see > https://gitlab.haskell.org/ghc/ghc/-/wikis/Plan-for-increased-parallelism-and-more-detailed-intermediate-output > > where we (Obsidian) and IOHK have been planning together. > > I must saw, I am a bit skeptical about a GSOC being able to take this on >

Re: GSOC Idea: Bytecode serialization and/or Fat Interface files

2021-03-12 Thread Moritz Angermann
ce it's also super useful for >> prototyping whole-program ghc backends, where one can just read all >> the CgGuts from the .hi files, and get all codegen-related Core for >> free. >> >> Cheers, >> Cheng >> >> On Fri, Mar 12, 2021 at 10:32 PM Zubin

Re: GSOC Idea: Bytecode serialization and/or Fat Interface files

2021-03-12 Thread John Ericson
in Duggal mailto:zubin.dug...@gmail.com>> wrote: > > Hi all, > > This is following up on this recent discussion on the list concerning fat > interface files: https://mail.haskell.org/pipermail/ghc-devs/2020-October/019324.html <https://mail.haskell.or

Re: GSOC Idea: Bytecode serialization and/or Fat Interface files

2021-03-12 Thread Moritz Angermann
> > > Hi all, > > > > This is following up on this recent discussion on the list concerning fat > > interface files: > https://mail.haskell.org/pipermail/ghc-devs/2020-October/019324.html > > > > Now that we have been accepted as a GSOC organisation, I think >

Re: GSOC Idea: Bytecode serialization and/or Fat Interface files

2021-03-12 Thread Cheng Shao
. Cheers, Cheng On Fri, Mar 12, 2021 at 10:32 PM Zubin Duggal wrote: > > Hi all, > > This is following up on this recent discussion on the list concerning fat > interface files: > https://mail.haskell.org/pipermail/ghc-devs/2020-October/019324.html > > Now that we have

GSOC Idea: Bytecode serialization and/or Fat Interface files

2021-03-12 Thread Zubin Duggal
Hi all, This is following up on this recent discussion on the list concerning fat interface files: https://mail.haskell.org/pipermail/ghc-devs/2020-October/019324.html Now that we have been accepted as a GSOC organisation, I think it would be a good project idea for a sufficiently motivated

Re: Fat interface files?

2020-12-21 Thread Edward Z. Yang
Hi Ben, sorry about the late response. It looks like you've found https://gitlab.haskell.org/ghc/ghc/-/issues/10871 which I think pretty comprehensively discusses the issue as it is. Given the elapsed time it would probably make sense to reimplement from scratch; I don't recall this being too

Re: Fat interface files?

2020-10-21 Thread Zubin Duggal
*From:* ghc-devs *On Behalf Of *Moritz Angermann *Sent:* 21 October 2020 10:36 *To:* Ben Gamari *Cc:* Edward Yang (ezy...@cs.stanford.edu) ; ghc-devs@haskell.org *Subject:* Re: Fat interface files? Just to make sure we are aware of all the ongoing efforts. We've been working on ebedding Core

Re: Fat interface files?

2020-10-21 Thread Zubin Duggal
I found the branch here: https://github.com/ezyang/ghc/commit/13615ca4e4bf759f323de22a3d182b06c4050f38 On 20/10/20 12:06, Ben Gamari wrote: Hi Edward, While chatting with the ghc-ide folks recently I realized that it would be useful to be able to preserve Core such that compilation can be

Re: Fat interface files?

2020-10-21 Thread Moritz Angermann
all unfoldings, no? > > > > Simon > > > > *From:* ghc-devs *On Behalf Of *Moritz > Angermann > *Sent:* 21 October 2020 10:36 > *To:* Ben Gamari > *Cc:* Edward Yang (ezy...@cs.stanford.edu) ; > ghc-devs@haskell.org > *Subject:* Re: Fat interface files? &g

RE: Fat interface files?

2020-10-21 Thread Simon Peyton Jones via ghc-devs
On Behalf Of Moritz Angermann Sent: 21 October 2020 10:36 To: Ben Gamari Cc: Edward Yang (ezy...@cs.stanford.edu) ; ghc-devs@haskell.org Subject: Re: Fat interface files? Just to make sure we are aware of all the ongoing efforts. We've been working on ebedding Core into interface files as well

Re: Fat interface files?

2020-10-21 Thread Moritz Angermann
Just to make sure we are aware of all the ongoing efforts. We've been working on ebedding Core into interface files as well. Josh has updated the Wiki page here https://gitlab.haskell.org/ghc/ghc/-/wikis/Extensible-Interface-Files. Cheers, Moritz On Wed, Oct 21, 2020 at 12:06 AM Ben Gamari

Fat interface files?

2020-10-20 Thread Ben Gamari
Hi Edward, While chatting with the ghc-ide folks recently I realized that it would be useful to be able to preserve Core such that compilation can be restarted (e.g. to be pushed down the bytecode pipeline to evaluate TH splices). As I recall this is precisely what you implemented in your "fat