Fat interface files?

[Simon Peyton Jones]

Thanks Mortiz

That wiki page is about extensible interface files in general. It says nothing about specifically putting Core terms into interface files.

For the Core part, since GHC already puts Core into unfoldings, the simple thing is just to expose all unfoldings, no?

Simon

From: ghc-devs <ghc-devs-bounces at haskell.org> On Behalf Of Moritz Angermann
Sent: 21 October 2020 10:36
To: Ben Gamari <ben at well-typed.com>
Cc: Edward Yang (ezyang at cs.stanford.edu) <ezyang at cs.stanford.edu>; ghc-devs at 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.
Josh has updated the Wiki page here https://gitlab.haskell.org/ghc/ghc/-/wikis/Extensible-Interface-Files<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitlab.haskell.org%2Fghc%2Fghc%2F-%2Fwikis%2FExtensible-Interface-Files&data=04%7C01%7Csimonpj%40microsoft.com%7C644d055c20ed4377753c08d875a4cfa1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637388698431720509%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=5xMRK5FF7OKifyceURAEkcNzo6naUzvLkRWnsCto7pc%3D&reserved=0>.

Cheers,
 Moritz

On Wed, Oct 21, 2020 at 12:06 AM Ben Gamari <ben at well-typed.com<mailto:ben at well-typed.com>> 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
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
interface file" work. Do you recall what the state of this work was? Do
you have a branch with last-known-good work? Do you recall any tricky
questions that remained outstanding?

Cheers,

- Ben
_______________________________________________
ghc-devs mailing list
ghc-devs at haskell.org<mailto:ghc-devs at haskell.org>
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs<https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-devs&data=04%7C01%7Csimonpj%40microsoft.com%7C644d055c20ed4377753c08d875a4cfa1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637388698431720509%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=ETWa%2BwN2LQyoi4NVDdNktv%2BUiQMfWvvj5rg5HdL24Tk%3D&reserved=0>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20201021/9555294c/attachment.html>