30 Jul
2018
30 Jul
'18
10:12 a.m.
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.