Re: Failing to get FXP to work in mlton

Matthew Fluet <[email protected]> Tue, 30 Oct 2018 06:30:28 -0400
Newsgroups gmane.comp.lang.ml.mlton.user
Message-ID <CAMrhFL7_QnjsVHSyDAqE6vHwtmzM_120C1u9C+xYPqDJRVBTDg@mail.gmail.com>
--===============4214653907712094563==
Content-Type: multipart/alternative; boundary="0000000000004d05b105796fad10"

--0000000000004d05b105796fad10
Content-Type: text/plain; charset="UTF-8"

Michael,
I couldn't recreate your type error with your fxp repo.  Compiling
`src/Apps/Copy/copy.mlb` succeeded without error.  That said, the error
that you quoted looks like a missing `sharing` or `where` constraint.
-Matthew

On Tue, Oct 30, 2018 at 5:45 AM Chris Cannam <[email protected]>
wrote:

>
>
> On Mon, 29 Oct 2018, at 22:58, [email protected] wrote:
> > That's great, thanks!  You have a better version of the underlying code
> > too (2.0 vs 1.4.5).
> >
> > As for my compilation error, I tried to create one .mlb file per
> > directory (more or less), whereas I see you put every core .sml file
> > into the one fxplib.mlb file.
>
> Although I made a few fixes locally, most of the changes are from Timothy
> Bourke's patches at http://www.tbrk.org/software/sml-fxp.html - I just
> couldn't find an existing repo that tracked them. (Although I did say this
> in the commit log, I should probably also update the README to mention
> it... and also to update the build instructions.)
>
>
> Chris
>
>
> _______________________________________________
> MLton-user mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-user
>

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

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:courier =
new,monospace;font-size:large">Michael,</div><div class=3D"gmail_default" s=
tyle=3D"font-family:courier new,monospace;font-size:large">I couldn&#39;t r=
ecreate your type error with your fxp repo.=C2=A0 Compiling `src/Apps/Copy/=
copy.mlb` succeeded without error.=C2=A0 That said, the error that you quot=
ed looks like a missing `sharing` or `where` constraint.</div><div class=3D=
"gmail_default" style=3D"font-family:courier new,monospace;font-size:large"=
>-Matthew</div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr">On Tue=
, Oct 30, 2018 at 5:45 AM Chris Cannam &lt;<a href=3D"mailto:cannam@all-day=
-breakfast.com">[email protected]</a>&gt; wrote:<br></div><block=
quote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc=
 solid;padding-left:1ex"><br>
<br>
On Mon, 29 Oct 2018, at 22:58, <a href=3D"mailto:[email protected]=
ro.au" target=3D"_blank">[email protected]</a> wrote:<br>
&gt; That&#39;s great, thanks!=C2=A0 You have a better version of the under=
lying code <br>
&gt; too (2.0 vs 1.4.5).<br>
&gt; <br>
&gt; As for my compilation error, I tried to create one .mlb file per <br>
&gt; directory (more or less), whereas I see you put every core .sml file <=
br>
&gt; into the one fxplib.mlb file.<br>
<br>
Although I made a few fixes locally, most of the changes are from Timothy B=
ourke&#39;s patches at <a href=3D"http://www.tbrk.org/software/sml-fxp.html=
" rel=3D"noreferrer" target=3D"_blank">http://www.tbrk.org/software/sml-fxp=
.html</a> - I just couldn&#39;t find an existing repo that tracked them. (A=
lthough I did say this in the commit log, I should probably also update the=
 README to mention it... and also to update the build instructions.)<br>
<br>
<br>
Chris<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>

--0000000000004d05b105796fad10--


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


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

--===============4214653907712094563==--