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. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
