iPad=E3=81=8B=E3=82=89=E9=80=81=E4=BF=A1

2017/01/12 19:29=E3=80=81Joe M <joe9mail@gmail.com> =E3=81=AE=E3=83=A1=E3=83=83=E3=82=BB=E3=83= =BC=E3=82=B8:

Hello,

I am looking to build a native (not using ape/po= six) port of Idris on
9front.

This is the repo that I plan on using for the relevant
co= de. https://github.= com/joe9/idris-9front-backend

#cat-v me= ntioned that Skip ported Idris to atari st.

Just want to check if there are any experiences or advice or code that
I can reuse.

Thanks
<= span>Joe

= --Apple-Mail-61AE8CAF-222B-4AEC-8479-092C1EC578BD-- From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 References: <20170113032910.GA13350@master> In-Reply-To: <20170113032910.GA13350@master> From: Skip Tavakkolian Date: Fri, 13 Jan 2017 08:50:48 +0000 Message-ID: To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Content-Type: multipart/alternative; boundary=001a114aace2c00b1a0545f5ee97 Subject: Re: [9fans] Porting Idris to 9front Topicbox-Message-UUID: b1866e4a-ead9-11e9-9d60-3106f5b1d025 --001a114aace2c00b1a0545f5ee97 Content-Type: text/plain; charset=UTF-8 That is a reference to the Idris OS -- by Whitesmiths Ltd. (P.J. Plauger). For the record, David Stanhope did the port, and created the boot ROMs and the cartridge to boot Idris. He also designed and built an Ethernet card for the ST. I was a novice programmer/sysadm lucky enough to have one the best hardware and software engineers I've ever met as a mentor. My contributions to the project can be characterized as logistical support (documentation, support, etc.). -Skip On Thu, Jan 12, 2017 at 7:29 PM Joe M wrote: > Hello, > > 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 atari st. > > Just want to check if there are any experiences or advice or code that > I can reuse. > > Thanks > Joe > > --001a114aace2c00b1a0545f5ee97 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

That is a reference to the Idris OS -- by Whitesmiths Ltd.= (P.J. Plauger).

For the record, David Stanhope did the = port, and created the boot ROMs and the cartridge to boot Idris.=C2=A0 He a= lso designed and built an Ethernet card for the ST.=C2=A0 I was a novice pr= ogrammer/sysadm lucky enough to have one the best hardware and software eng= ineers I've ever met as a mentor.=C2=A0 My contributions to the project= can be characterized as logistical support (documentation, support, etc.).=

-Skip

On Thu, Jan 12, 2017 at 7:29 PM Joe M <joe9mail@gmail.com> wrote:

<= blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px= #ccc solid;padding-left:1ex">Hello,

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

Just want to check if there are any experiences or advice or code that
I can reuse.

Thanks
Joe

--001a114aace2c00b1a0545f5ee97-- From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Fri, 13 Jan 2017 06:47:13 -0700 From: Joe M To: 9fans@9fans.net Message-ID: <20170113134713.GA24399@master> References: <20170113032910.GA13350@master> Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Subject: Re: [9fans] Porting Idris to 9front Topicbox-Message-UUID: b1958c54-ead9-11e9-9d60-3106f5b1d025 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 created the boot ROMs and > the cartridge to boot Idris. He also designed and built an Ethernet card > for the ST. I was a novice programmer/sysadm lucky enough to have one the > best hardware and software engineers I've ever met as a mentor. My > contributions to the project can be characterized as logistical support > (documentation, support, etc.). > > -Skip > > On Thu, Jan 12, 2017 at 7:29 PM Joe M wrote: > > > Hello, > > > > 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 atari st. > > > > Just want to check if there are any experiences or advice or code that > > I can reuse. > > > > Thanks > > Joe > > > > From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Fri, 13 Jan 2017 07:05:25 -0700 From: Joe M To: 9fans@9fans.net Message-ID: <20170113140525.GB24399@master> References: <20170113032910.GA13350@master> <1484286924.1672885.846353336.21E2AFA2@webmail.messagingengine.com> Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1484286924.1672885.846353336.21E2AFA2@webmail.messagingengine.com> Subject: Re: [9fans] Porting Idris to 9front Topicbox-Message-UUID: b19b6dae-ead9-11e9-9d60-3106f5b1d025 > > 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 From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 In-Reply-To: <20170113140525.GB24399@master> References: <20170113032910.GA13350@master> <1484286924.1672885.846353336.21E2AFA2@webmail.messagingengine.com> <20170113140525.GB24399@master> From: Giacomo Tesio Date: Fri, 13 Jan 2017 15:56:07 +0100 Message-ID: To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Content-Type: multipart/alternative; boundary=001a114c9bceaeda090545fb08ca Subject: Re: [9fans] Porting Idris to 9front Topicbox-Message-UUID: b1a12a46-ead9-11e9-9d60-3106f5b1d025 --001a114c9bceaeda090545fb08ca Content-Type: text/plain; charset=UTF-8 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 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). Giacomo --001a114c9bceaeda090545fb08ca Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

2017-01-13 15:05 GMT+01:00 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-hos= ting

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.

=C2=A0

Can you det= ail the process?

I'd like to give it a try on Jehanne= (which is built with gcc).

Giacomo

--001a114c9bceaeda090545fb08ca-- From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Fri, 13 Jan 2017 09:54:51 -0700 From: Joe M To: 9fans@9fans.net Message-ID: <20170113165451.GA5092@master> References: <20170113032910.GA13350@master> <1484286924.1672885.846353336.21E2AFA2@webmail.messagingengine.com> <20170113140525.GB24399@master> Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Subject: Re: [9fans] Porting Idris to 9front Topicbox-Message-UUID: b1a6f7be-ead9-11e9-9d60-3106f5b1d025 > > 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 README with the usage instructions https://github.com/joe9/idris-9front-backend . Please let me know if that does not help. Basically, generate the .c file using Idris on linux (or, another platform that Idris runs on). Compile the rts and this generated .c file using ape on 9front. A caveat, I tested with simple Hello World code. Not sure how well it works for something more complicated though. Thanks From mboxrd@z Thu Jan 1 00:00:00 1970 Message-Id: <1484422331.1503949.847799976.412906D2@webmail.messagingengine.com> From: Ramakrishnan Muthukrishnan To: 9fans@9fans.net MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" References: <20170113032910.GA13350@master> <1484286924.1672885.846353336.21E2AFA2@webmail.messagingengine.com> <20170113140525.GB24399@master> In-Reply-To: <20170113140525.GB24399@master> Date: Sun, 15 Jan 2017 01:02:11 +0530 Subject: Re: [9fans] Porting Idris to 9front Topicbox-Message-UUID: b1b68da0-ead9-11e9-9d60-3106f5b1d025 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 From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Sat, 14 Jan 2017 12:18:05 -0800 From: Ori Bernstein To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Message-Id: <20170114121805.61ec97254f57dba81ea72bdc@eigenstate.org> In-Reply-To: <1484422331.1503949.847799976.412906D2@webmail.messagingengine.com> References: <20170113032910.GA13350@master> <1484286924.1672885.846353336.21E2AFA2@webmail.messagingengine.com> <20170113140525.GB24399@master> <1484422331.1503949.847799976.412906D2@webmail.messagingengine.com> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [9fans] Porting Idris to 9front Topicbox-Message-UUID: b1bcd084-ead9-11e9-9d60-3106f5b1d025 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 produce a bootstrap binary for -fasm, if you're willing to put in the effort to get a native port. -- Ori Bernstein From mboxrd@z Thu Jan 1 00:00:00 1970 Message-Id: <1484446352.151002.847995808.270A8206@webmail.messagingengine.com> From: Ramakrishnan Muthukrishnan To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" In-Reply-To: <20170114121805.61ec97254f57dba81ea72bdc@eigenstate.org> References: <20170113032910.GA13350@master> <1484286924.1672885.846353336.21E2AFA2@webmail.messagingengine.com> <20170113140525.GB24399@master> <1484422331.1503949.847799976.412906D2@webmail.messagingengine.com> <20170114121805.61ec97254f57dba81ea72bdc@eigenstate.org> Date: Sun, 15 Jan 2017 07:42:32 +0530 Subject: Re: [9fans] Porting Idris to 9front Topicbox-Message-UUID: b1c2c840-ead9-11e9-9d60-3106f5b1d025 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 is going > > to be removed soon. > > Which may still be sufficient to produce a bootstrap binary for -fasm, if > you're willing to put in the effort to get a native port. It seems like -fviaC does not do *anything* at all in the current version of GHC. I am yet to try my luck with an older version of GHC. There has been some effort to bootstrap GHC using hugs and nhc98, which I am following with interest: -- Ramakrishnan