Re: [9fans] Porting Idris to 9front

[Joe M <joe9mail@gmail.com>]

>
> 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.

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.

Maybe, ghc can run with the linux-emu package?

Thanks