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