Dear all,
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.
Kindly, Mark.
Mark,
On 30 Jul 2018, at 19:12, Mark Clements <mark.clements at 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:
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
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.clements at 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:
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
-
mark.clements＠ki.se -
peteg42＠gmail.com