mlworks
mlworks copied to clipboard
MLWorks is a Standard ML compiler and development environment.
VECTOR_SLICE and VectorSlice were missing. Add an implmenentation; perhaps not particulary efficient, though. - basis/vector_slice.sml, basis/__vector_slice.sml: New files. - basis/array.sml, basis/__array.sml: Implement Array.vector. - basis.mlp, basis/require_all.sml, images/GNUmake: Mention new files.
Fixes issue #8. - basis/string.sml (concatWith): New. - basis/__string.sml (concatWith): Implement it. Perhaps a bit too naive.
Not stricly required, but [getpid](http://sml-family.org/Basis/posix-proc-env.html#SIG:POSIX_PROC_ENV.getpid:VAL) would be quite useful.
STRING should have a [concatWith](http://sml-family.org/Basis/string.html#SIG:STRING.concatWith:VAL) function.
There doesn't seem to be any CharVectorSlice in MLWorks, but it's required by the "standard": http://sml-family.org/Basis/mono-vector-slice.html#CharVectorSlice:STR:SPEC
[MONO_ARRAY.copy](http://sml-family.org/Basis/mono-array.html#CharArray:STR:SPEC) should have type `{src : array, dst : array, di : int} -> unit` but currently it has `{ src : array, si : int, len : int option,...
There's hardly a reason to invent another format for error locations. Using the GNU format has the advantage that Emacs and other tools support it out of the box. -...
On branch https://github.com/Ravenbrook/mlworks/tree/linux-boot, the runtime system currently fails to link statically with various unresolved symbols in X libraries. The symbols are actually in the libraries, so it might be a...