On Fri, Jan 13, 2017, at 07:35 PM, Joe M wrote: > > > > Don't you need GHC to compile Idris? > > http://docs.idris-lang.org/en/latest/faq/faq.html#when-will-idris-be-self-hosting > > I have the posix version of the rts working on 9front. The default C > backend generated code compiled and runs on 9front. I generated the c > code on linux though.
That's very nice to hear. > As a next step, I want to take it further and make the rts and backend > work with the 9front native C compiler/linker. I presume that this > will help make it easy to FFI with the native C libraries (bio, > thread, etc.) and stay closer to the plan 9 libraries' behaviour. > > > Afaik, there is no Plan 9 port of GHC. And GHC is self hosted. Perhaps > > one should approach it by creating a plan 9 binary from another OS and > > use that to compile GHC? > > That is a good idea. Native GHC on 9front seems to be a daunting task > as the GHC IO manager's behaviour might not be compatible with the > 9front syscall behaviour, imho. But, I have no clue of the GHC > internals, so, it might be an easy task. After reading your message, I tried compiling a simple program using the '-fviaC'. But it looks like, on newer GHC it is deprecated and is going to be removed soon. > Maybe, ghc can run with the linux-emu package? I will try that. Thanks. -- Ramakrishnan