<div dir="ltr">Yo Carter,<div style>I worked with Stephen Blackheath earlier this year to help get his awesome iOS patches for Cabal and GHC into mainline and am also super keen to see TH support for cross compiling (which I think he is as well). So thanks for raising the issue, and just want to say that I&#39;d be pumped to assemble and be a part of a team to work on this.</div>

<div style><br></div><div style>Cheers</div><div style>Luke</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jun 13, 2013 at 11:59 PM, Carter Schonwald <span dir="ltr">&lt;<a href="mailto:carter.schonwald@gmail.com" target="_blank">carter.schonwald@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><br></div>Which raises the question then: what would be needed to make this happen by 7.10, if not sooner?<div>

<br><div>naively, I&#39;d imagine one part of the challenge is that Template haskell induces needing a ghc that can build libraries for *BOTH* host and target, because we have arbitrary execution at Template Haskell time, right? </div>





<div><br></div><div>So does that mean fixing up GHC&#39;s architecture so that it can be built with support for more than 1 target? (or at least running libs on *host* in GHCI but otherwise compiling them for target? )</div>





<div><br></div><div>What would be needed in the restricted case of &quot;We just want TH for our cross compiler&quot; rather than &quot;general multi target goodness&quot;? </div><div><br></div><div>Because If I squint, it sort of sounds like the cross compiler would need to be Stage 2, and that the UNsound but simplest approach would then be to take the various &quot;libways&quot;, and produce both host and target variants as appropriate (or that &quot;build HOST Way&quot; has to explicitly flagged).  I&quot;m not sure what implications this or another approach would have on all the various build tooling needed etc etc.</div>




<div><br></div><div>
This is me just  thinking out loud / trying to understand *why* and whats needed, and how complex the work would be to do it well, or at least decently in a way that *improves* (or doesn&#39;t complicate much more) the associated parts that would need to be fixed up.</div>




<div><br></div><div><br></div><div>Basically: whats needed to make cross compiler  GHC first class haskell wrt TH support? (I imagine that its not worth working on till the new TH work lands / stabilizes, but id like to understand what work has to be done to lead up to it). <br>



</div><div><br></div><div>(if I can figure out ways I can directly or indirectly support such work happening, subject to having the time and/or resources over the next year, i&#39;d like to try and do so)</div><span class="HOEnZb"><font color="#888888"><div>



<br></div><div>-Carter</div></font></span><div class="im"><div><br></div><div><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jun 13, 2013 at 8:28 PM, Manuel M T Chakravarty <span dir="ltr">&lt;<a href="mailto:chak@cse.unsw.edu.au" target="_blank">chak@cse.unsw.edu.au</a>&gt;</span> wrote:<br>





<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Carter,<br>
<br>
As you can imagine, I would be extremely happy about cross-compilation support for TH. However, I don&#39;t know of anybody working on it at the moment, unfortunately.<br>
<br>
Manuel<br>
<br>
Carter Schonwald &lt;<a href="mailto:carter.schonwald@gmail.com" target="_blank">carter.schonwald@gmail.com</a>&gt;:<br>
<div><div>&gt; Hey All,<br>
&gt; Whats the story planned for template haskell + cross compiler support come ghc 7.8?<br>
&gt; I understand theres a lot of Template Haskell design underway, some of which will help support tools like Manuel&#39;s Inline-Objective-C work. Does this mean that factored out within this reorganization is a better story for cross compilation?<br>






&gt;<br>
&gt; Especially since one kill &quot;app&quot; for the Inline-Objective-C template haskell work would be writing IOS applications. Though I guess that also touches on the need to sort out supporting &quot;FAT&quot; ARM binaries too, right?<br>






&gt;<br>
&gt; This intersects with a few different large subsets of tickets, so i&#39;m not sure if any single ticket is the right fora for this question.<br>
&gt;<br>
&gt; thanks!<br>
&gt; -Carter<br>
</div></div>&gt; _______________________________________________<br>
&gt; ghc-devs mailing list<br>
&gt; <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
&gt; <a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
<br>
</blockquote></div><br></div></div></div></div></div>
<br>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br></div>