Pete: thank you for this. Your proposal is a little heavier than Timothy's solution.
If the HTML structures are *not* required, then no patching of MLton is required and one can simply use this gist (https://gist.github.com/mclements/f9308974a3635a4f640283e1cfa02212). This adds to the Unsafe structure and comments out the HTML structures. The patch for more recent MLton libraries are small and only require changing the HTML/html-elements-fn.sml and HTML/html-attrs-fn.sml files for the non-standard Or-pattern. The revised patch is available from this gist (https://gist.github.com/mclements/c5f715ed149cf264f33e12d496cc79e5). These are specific working solutions - and my first SML code. Please note that the gists have *not* been extensively tested. I will offer them to Pete's SML repository if they prove to be useful. Kindly, Mark. On 07/30/2018 11:25 AM, Peter Gammie wrote: > Mark, > >> On 30 Jul 2018, at 19:12, Mark Clements <mark.cleme...@ki.se> wrote: >> >> This is my first post. I am trying to use poly_smlnj-lib.sml (with a >> plan to see whether mlnffigen can be ported from MLton to Poly/ML). >> Following instructions from >> http://www.tbrk.org/software/poly_smlnj-lib.html (see also >> https://github.com/standardml/smackage/blob/master/src/poly_smlnj-lib.sml), >> I called: >> >> $ poly >>> use "poly_mlyacc.sml"; (* ok *) >>> use "poly_smlnj-lib.sml"; >> with the latter giving an error: >> >> /usr/local/lib/mlton/sml/smlnj-lib/Util/bit-array.sml:781: error: >> Structure (Word8Array) has not been declared in structure Unsafe >> Found near Unsafe.Word8Array.create (Word8Array.length bits) >> >> I am using Poly/ML 5.7.1 Release and MLton 20180207. Any suggestions >> would be welcomed. > I’ve been assembling some random SML code here: > > https://github.com/peteg/SML > > There you will find a version of smlnj-lib that works with Poly/ML from git. > Note that there are some new structures since the time of Tim’s patch, and I > mostly didn’t bother to get them working. Note also you can use the smlnj-lib > included with mlton with mlton. There are some build scripts in my repo that > might help. I’m happy to accept PRs etc. that improve the situation. > > cheers, > peter > _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
