Ok, so things are not in such poor condition than I imagined after your first reply. Anyway I would be very thankful if anybody here would help me with a minimal example which compiles haskell sources to CoreSynType (or whatever core is encoded in) and then into binary - so I can inspect ghow core is generated and replace in the future by mu custom one :)<br><div><br></div><br><div class="gmail_quote">Wed Jan 28 2015 at 4:53:01 AM użytkownik David Feuer <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>> napisał:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I can't answer all those questions, but I believe CoreSynType is the<br>
AST representing Core.<br>
<br>
On Tue, Jan 27, 2015 at 10:12 PM, Wojciech Danilo<br>
<<a href="mailto:wojciech.danilo@gmail.com" target="_blank">wojciech.danilo@gmail.com</a>> wrote:<br>
> Hello David, thank you for your response! :)<br>
> I've got few questions regarding it:<br>
> 1) Does it mean there are no datatypes dedicated to "a core language" ?<br>
> 2) All passes are transforming AST -> AST? If so, what does the function<br>
> `compileToCoreModule` does?<br>
> 3) Additional - is there any subset of the AST that we can call "CORE" ?<br>
> 4) Do all the documentation (like this one:<br>
> <a href="https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/CoreSynType" target="_blank">https://ghc.haskell.org/trac/<u></u>ghc/wiki/Commentary/Compiler/<u></u>CoreSynType</a>)<br>
> should be considered obsolete?<br>
><br>
> All the best,<br>
> Wojciech<br>
><br>
> Wed Jan 28 2015 at 3:55:12 AM użytkownik David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>><br>
> napisał:<br>
><br>
>> There used to be an external representation of core intended to be<br>
>> used for such things. It was recently removed because it had gotten<br>
>> stale and no one wanted to take responsibility for maintaining it. So<br>
>> at the moment, Core is really just an AST, not a proper language, and<br>
>> you'll have to hack GHC if you want to inject it.<br>
>><br>
>> On Tue, Jan 27, 2015 at 6:10 PM, Wojciech Danilo<br>
>> <<a href="mailto:wojciech.danilo@gmail.com" target="_blank">wojciech.danilo@gmail.com</a>> wrote:<br>
>> > Hello All! :)<br>
>> > Recently I've came across a problem and hopefully you could help me with<br>
>> > it.<br>
>> > Basically I and some people here are running a startup and we have<br>
>> > created a<br>
>> > language for processing images. This language has 2 interchangeable<br>
>> > representations - textual and visual, dataflow one.<br>
>> ><br>
>> > Right now we are compiling it to haskell sources, but we want to move<br>
>> > over<br>
>> > GHC CORE. Getting into GHC has a high learning curve, as far as we see,<br>
>> > and<br>
>> > we would be very thankfull for any help with a minimal working example<br>
>> > of<br>
>> > compiling haskell sources to CORE and then CORE to binaries. I've posted<br>
>> > couple days ago a detailed question on StackOverflow, here:<br>
>> ><br>
>> ><br>
>> > <a href="http://stackoverflow.com/questions/28059669/using-ghc-api-to-compile-haskell-sources-to-core-and-core-to-binary" target="_blank">http://stackoverflow.com/<u></u>questions/28059669/using-ghc-<u></u>api-to-compile-haskell-<u></u>sources-to-core-and-core-to-<u></u>binary</a><br>
>> ><br>
>> ><br>
>> > I would be very thankful for any help or hints!<br>
>> > All the best,<br>
>> > Wojciech<br>
>> ><br>
>> > ______________________________<u></u>_________________<br>
>> > Haskell-Cafe mailing list<br>
>> > <a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
>> > <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
>> ><br>
</blockquote></div>