Re: ARM and Real

--===============4419476772008073286==
Content-Type: multipart/alternative; boundary="0000000000009c8f2005960e555f"

--0000000000009c8f2005960e555f
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

I'm afraid that I don't have access to an ARM machine (for any OS).  I know
that some Linux distributions have ARM packages for MLton.

On Mon, Oct 28, 2019 at 10:41 AM Kostirya <[email protected]> wrote:

> ...
> Oh. I have got error on FreeBSD ARM: segmentation fault.
>
> =D0=BF=D0=BD, 28 =D0=BE=D0=BA=D1=82. 2019 =D0=B3. =D0=B2 16:24, Kostirya =
<[email protected]>:
> >
> > Hello.
> > I try use MLton on FreeBSD ARM.
> > I have a request. Please, Run a simple program with SML Real types on
> > Linux ARM (I have not Linux).
> > For example:
> > val x =3D 2.5 * 2.5
> > val _ =3D print (Real.toString x ^ "\n")
> >
> > I build this code by help cross-compiling:
> > mlton -target armv7-freebsd12-eabi -codegen c  -default-type word32
> > -default-type int32 -default-type real32 f.sml
> >
> > Thanks.
>
> --
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
>
>
>
> _______________________________________________
> MLton-user mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-user
>

--=20
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to [email protected].

--0000000000009c8f2005960e555f
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div class=3D"gmail_default" style=3D"fon=
t-family:courier new,monospace;font-size:large">I&#39;m afraid that I don&#=
39;t have access to an ARM machine (for any OS).=C2=A0 I know that some Lin=
ux distributions have ARM packages for MLton.</div></div><br><div class=3D"=
gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Mon, Oct 28, 2019 at =
10:41 AM Kostirya &lt;<a href=3D"mailto:[email protected]">kostirya@gmail.=
com</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"marg=
in:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1e=
x">...<br>
Oh. I have got error on FreeBSD ARM: segmentation fault.<br>
<br>
=D0=BF=D0=BD, 28 =D0=BE=D0=BA=D1=82. 2019 =D0=B3. =D0=B2 16:24, Kostirya &l=
t;<a href=3D"mailto:[email protected]" target=3D"_blank">[email protected]=
m</a>&gt;:<br>
&gt;<br>
&gt; Hello.<br>
&gt; I try use MLton on FreeBSD ARM.<br>
&gt; I have a request. Please, Run a simple program with SML Real types on<=
br>
&gt; Linux ARM (I have not Linux).<br>
&gt; For example:<br>
&gt; val x =3D 2.5 * 2.5<br>
&gt; val _ =3D print (Real.toString x ^ &quot;\n&quot;)<br>
&gt;<br>
&gt; I build this code by help cross-compiling:<br>
&gt; mlton -target armv7-freebsd12-eabi -codegen c=C2=A0 -default-type word=
32<br>
&gt; -default-type int32 -default-type real32 f.sml<br>
&gt;<br>
&gt; Thanks.<br>
<br>
-- <br>
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:mlton-user%[email protected]" target=3D"_bl=
ank">[email protected]</a>.<br>
<br>
<br>
<br>
_______________________________________________<br>
MLton-user mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">MLton=
[email protected]</a>; <a href=3D"mailto:[email protected]" ta=
rget=3D"_blank">[email protected]</a><br>
<a href=3D"https://lists.sourceforge.net/lists/listinfo/mlton-user" rel=3D"=
noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/listinfo/=
mlton-user</a><br>
</blockquote></div></div>

<p></p>

-- <br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:[email protected]">mlton-user+unsu=
[email protected]</a>.<br />

--0000000000009c8f2005960e555f--


--===============4419476772008073286==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============4419476772008073286==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
MLton-user mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-user

--===============4419476772008073286==--