Re: Failing to get FXP to work in mlton
<[email protected]> Tue, 30 Oct 2018 11:13:23 +0000
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <[email protected]> |
--===============5348123121782050155== Content-Language: en-US Content-Type: multipart/alternative; boundary="_000_0537C6C0E612431CB90AAA76326FB5F2data61csiroau_" --_000_0537C6C0E612431CB90AAA76326FB5F2data61csiroau_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Ha, it=E2=80=99s possible you saw my fork of Chris=E2=80=99s repo rather th= an my original (I just dumped what wasn=E2=80=99t working and switched to h= is in the same place). I=E2=80=99ve put the breaking repo at https://github.com/mn200/fxp145 if you=E2=80=99re interested. I was disturbed by the fact that the =E2=80=9Csame=E2=80=9D sequence of fil= es fed to Poly/ML didn=E2=80=99t lead to any complaints. Best, Michael From: Matthew Fluet <[email protected]> Reply-To: "[email protected]" <[email protected]> Date: Tuesday, 30 October 2018 at 21:31 To: MLton users <[email protected]> Cc: "[email protected]" <[email protected]> Subject: Re: [MLton-user] Failing to get FXP to work in mlton Michael, I couldn't recreate your type error with your fxp repo. Compiling `src/App= s/Copy/copy.mlb` succeeded without error. That said, the error that you qu= oted looks like a missing `sharing` or `where` constraint. -Matthew On Tue, Oct 30, 2018 at 5:45 AM Chris Cannam <[email protected]<= mailto:[email protected]>> wrote: On Mon, 29 Oct 2018, at 22:58, [email protected]<mailto:Micha= [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 B= ourke's patches at http://www.tbrk.org/software/sml-fxp.html - I just could= n't find an existing repo that tracked them. (Although I did say this in th= e 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]<mailto:[email protected]>; = [email protected]<mailto:[email protected]> https://lists.sourceforge.net/lists/listinfo/mlton-user --=20 You received this message because you are subscribed to the Google Groups "= MLton-user" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to [email protected]. --_000_0537C6C0E612431CB90AAA76326FB5F2data61csiroau_ Content-Type: text/html; charset="UTF-8" Content-ID: <[email protected]> Content-Transfer-Encoding: quoted-printable <html xmlns:o=3D"urn:schemas-microsoft-com:office:office" xmlns:w=3D"urn:sc= hemas-microsoft-com:office:word" xmlns:m=3D"http://schemas.microsoft.com/of= fice/2004/12/omml" xmlns=3D"http://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dutf-8"> <meta name=3D"Generator" content=3D"Microsoft Word 15 (filtered medium)"> <style><!-- /* Font Definitions */ @font-face {font-family:"Cambria Math"; panose-1:2 4 5 3 5 4 6 3 2 4;} @font-face {font-family:Calibri; panose-1:2 15 5 2 2 2 4 3 2 4;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {margin:0cm; margin-bottom:.0001pt; font-size:11.0pt; font-family:"Calibri",sans-serif;} a:link, span.MsoHyperlink {mso-style-priority:99; color:blue; text-decoration:underline;} a:visited, span.MsoHyperlinkFollowed {mso-style-priority:99; color:purple; text-decoration:underline;} p.msonormal0, li.msonormal0, div.msonormal0 {mso-style-name:msonormal; mso-margin-top-alt:auto; margin-right:0cm; mso-margin-bottom-alt:auto; margin-left:0cm; font-size:11.0pt; font-family:"Calibri",sans-serif;} span.EmailStyle18 {mso-style-type:personal-reply; font-family:"Calibri",sans-serif; color:windowtext;} .MsoChpDefault {mso-style-type:export-only; font-size:10.0pt;} @page WordSection1 {size:612.0pt 792.0pt; margin:72.0pt 72.0pt 72.0pt 72.0pt;} div.WordSection1 {page:WordSection1;} --></style> </head> <body lang=3D"EN-AU" link=3D"blue" vlink=3D"purple"> <div class=3D"WordSection1"> <p class=3D"MsoNormal"><span lang=3D"EN-GB">Ha, it=E2=80=99s possible you s= aw my fork of Chris=E2=80=99s repo rather than my original (I just dumped w= hat wasn=E2=80=99t working and switched to his in the same place). I= =E2=80=99ve put the breaking repo at<o:p></o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p> </o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"> https://github.com/mn200= /fxp145<o:p></o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p> </o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">if you=E2=80=99re interested. <= o:p></o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p> </o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">I was disturbed by the fact tha= t the =E2=80=9Csame=E2=80=9D sequence of files fed to Poly/ML didn=E2=80=99= t lead to any complaints.<o:p></o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p> </o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">Best,<o:p></o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB">Michael<o:p></o:p></span></p> <p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p> </o:p></span></p> <div style=3D"border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0cm = 0cm 0cm"> <p class=3D"MsoNormal"><b><span style=3D"font-size:12.0pt;color:black">From= : </span></b><span style=3D"font-size:12.0pt;color:black">Matthew Fluet <= ;[email protected]><br> <b>Reply-To: </b>"[email protected]" <[email protected]&= gt;<br> <b>Date: </b>Tuesday, 30 October 2018 at 21:31<br> <b>To: </b>MLton users <[email protected]><br> <b>Cc: </b>"[email protected]" <mlton-user@list= s.sourceforge.net><br> <b>Subject: </b>Re: [MLton-user] Failing to get FXP to work in mlton<o:p></= o:p></span></p> </div> <div> <p class=3D"MsoNormal"><o:p> </o:p></p> </div> <div> <div> <p class=3D"MsoNormal"><span style=3D"font-size:18.0pt;font-family:"Co= urier New"">Michael,<o:p></o:p></span></p> </div> <div> <p class=3D"MsoNormal"><span style=3D"font-size:18.0pt;font-family:"Co= urier New"">I couldn't recreate your type error with your fxp repo.&nb= sp; Compiling `src/Apps/Copy/copy.mlb` succeeded without error. That = said, the error that you quoted looks like a missing `sharing` or `where` constraint.<o:p></o:p></span></p> </div> <div> <p class=3D"MsoNormal"><span style=3D"font-size:18.0pt;font-family:"Co= urier New"">-Matthew<o:p></o:p></span></p> </div> </div> <p class=3D"MsoNormal"><o:p> </o:p></p> <div> <div> <p class=3D"MsoNormal">On Tue, Oct 30, 2018 at 5:45 AM Chris Cannam <<a = href=3D"mailto:[email protected]">[email protected]</= a>> wrote:<o:p></o:p></p> </div> <blockquote style=3D"border:none;border-left:solid #CCCCCC 1.0pt;padding:0c= m 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm"> <p class=3D"MsoNormal"><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> > That's great, thanks! You have a better version of the underlyin= g code <br> > too (2.0 vs 1.4.5).<br> > <br> > As for my compilation error, I tried to create one .mlb file per <br> > directory (more or less), whereas I see you put every core .sml file <= br> > into the one fxplib.mlb file.<br> <br> Although I made a few fixes locally, most of the changes are from Timothy B= ourke's patches at <a href=3D"http://www.tbrk.org/software/sml-fxp.html" target=3D"_blank">htt= p://www.tbrk.org/software/sml-fxp.html</a> - I just couldn't find an existi= ng repo that tracked them. (Although I did say this in the commit log, I sh= ould 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]" target=3D"_blank">mlton-user@mlton.= org</a><br> <a href=3D"https://lists.sourceforge.net/lists/listinfo/mlton-user" target= =3D"_blank">https://lists.sourceforge.net/lists/listinfo/mlton-user</a><o:p= ></o:p></p> </blockquote> </div> </div> </body> </html> <p></p> -- <br /> You received this message because you are subscribed to the Google Groups &= quot;MLton-user" group.<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 /> --_000_0537C6C0E612431CB90AAA76326FB5F2data61csiroau_-- --===============5348123121782050155== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============5348123121782050155== 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 --===============5348123121782050155==--