Using GHC Core as a Language Target

[Ara Adkins]

That’s a brilliant resource! Thanks so much for the links. 

_ara

> On 29 Oct 2018, at 19:11, Csaba Hruska <csaba.hruska at gmail.com> wrote:
> 
> There is also a nice intro blog post about GHC internals with an example how to compile a custom constructed module AST.
> Dive into GHC: Pipeline
> Dive into GHC: Intermediate Forms
> Dive into GHC: Targeting Core
> Cheers,
> Csaba Hruska
> 
>> On Thu, Oct 25, 2018 at 8:51 PM Ara Adkins <me at ara.io> wrote:
>> Heya,
>> 
>> Those are exactly the kind of pointers I was hoping for. Thanks Iavor. 
>> 
>> I’m sure I’ll have more questions with time, but that’s a great starting point. 
>> 
>> _ara
>> 
>>> On 25 Oct 2018, at 19:20, Iavor Diatchki <iavor.diatchki at gmail.com> wrote:
>>> 
>>> Hello,
>>> 
>>> I have not done what you are asking, but here is how I'd approach the problem.   
>>> 
>>> 1. Assuming you already have some Core, you'd have to figure out how to include it with the rest of the GHC pipeline:
>>>     * A lot of the code that glues everything together is in `compiler/main`. Modules of interest seem to be `DriverPipeline`, `HscMain`, and `PipelineMoand`
>>>     * A quick looks suggests that maybe you want to call `hscGenHardCode` in `HscMain`, with your core program inside the `CgGuts` argument.
>>>     * Exactly how you setup things probably depends on how much of the rest of the Haskell ecosystem you are trying to integrate with (separate compilation, avoiding recompilation, support for packages, etc.)
>>> 
>>> 2. The syntax for Core is in `compiler/coreSyn`, with the basic AST being in module `CoreSyn`.   Module `MkCore` has a lot of helpers for working with core syntax.
>>> 
>>> 3. The "desugarer" (in `compiler/deSugar`) is the GHC phase that translates the front end syntax (hsSyn) into core, so that should have lots of examples of how to generate core.
>>> 
>>> Cheers,
>>> -Iavor
>>> 
>>> 
>>> 
>>> 
>>> 
>>> 
>>> 
>>>> On Mon, Oct 22, 2018 at 1:46 AM Ara Adkins <me at ara.io> wrote:
>>>> Hey All,
>>>> 
>>>> I was chatting to SPJ about the possibility of using GHC Core + the rest of the GHC compilation pipeline as a target for a functional language, and he mentioned that asking here would likely be more productive when it comes to the GHC API.
>>>> 
>>>> I'm wondering where the best place would be for me to look in the API for building core expressions, and also whether it is possible to trigger the GHC code-generation pipeline from the core stage onwards.
>>>> 
>>>> Best,
>>>> Ara
>>>> _______________________________________________
>>>> ghc-devs mailing list
>>>> ghc-devs at haskell.org
>>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20181029/27f073d6/attachment.html>