Re: [9fans] Porting Idris to 9front

2017-01-14 Thread Ramakrishnan Muthukrishnan
On Sun, Jan 15, 2017, at 01:48 AM, Ori Bernstein wrote: > On Sun, 15 Jan 2017 01:02:11 +0530, Ramakrishnan Muthukrishnan > wrote: > > > After reading your message, I tried compiling a simple program using the > > '-fviaC'. But it looks like, on newer GHC it is deprecated and

Re: [9fans] Porting Idris to 9front

2017-01-14 Thread Ori Bernstein
On Sun, 15 Jan 2017 01:02:11 +0530, Ramakrishnan Muthukrishnan wrote: > 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. Which may still be sufficient to

Re: [9fans] Porting Idris to 9front

2017-01-14 Thread Ramakrishnan Muthukrishnan
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

Re: [9fans] Porting Idris to 9front

2017-01-13 Thread Joe M
> > 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. > > > > Can you detail the process? > > I'd like to give it a try on Jehanne (which is built with gcc). I updated the

Re: [9fans] Porting Idris to 9front

2017-01-13 Thread Giacomo Tesio
2017-01-13 15:05 GMT+01:00 Joe M : > > > > 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

Re: [9fans] Porting Idris to 9front

2017-01-13 Thread Joe M
> > 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

Re: [9fans] Porting Idris to 9front

2017-01-13 Thread Joe M
Sorry for the confusion. I did not realize that there was an Idris OS. I am referring to http://www.idris-lang.org/ , Idris Language. Thanks Skip Tavakkolian wrote: > That is a reference to the Idris OS -- by Whitesmiths Ltd. (P.J. Plauger). > > For the record, David Stanhope did the port, and

Re: [9fans] Porting Idris to 9front

2017-01-12 Thread Sean Callanan
I think you may be confusing Idris the language and Idris the OS. http://www.dadhacker.com/blog/?p=1383 (See Mike Spooner's post on Skip Tavakkolian.) Sean iPadから送信 2017/01/12 19:29、Joe M のメッセージ: > Hello, > > I am looking to build a native (not using ape/posix) port of

Re: [9fans] Porting Idris to 9front

2017-01-12 Thread Ramakrishnan Muthukrishnan
On Fri, Jan 13, 2017, at 08:59 AM, Joe M wrote: > > I am looking to build a native (not using ape/posix) port of Idris on > 9front. > > This is the repo that I plan on using for the relevant > code. https://github.com/joe9/idris-9front-backend > > #cat-v mentioned that Skip ported Idris to