Last active
November 28, 2018 04:25
-
-
Save nalbyuites/c85c82f6827a0e722e1a21613a70f010 to your computer and use it in GitHub Desktop.
Manticore nix-build failure with smlnj 110.84
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
unpacking sources | |
unpacking source archive /nix/store/mk55llc0065xlbmqim4n9vgc2qssrdd7-source | |
patching sources | |
patching script interpreter paths in . | |
./src/tools/mc/test/ray-tracer-server/build.sh: interpreter directive changed from "/bin/bash" to "/nix/store/r47p5pzx52m3n34vdgqpk5rvqgm0m24m-bash-4.4-p23/bin/bash" | |
./src/regression-tests/bin/run-tests: interpreter directive changed from " /bin/sh" to "/nix/store/r47p5pzx52m3n34vdgqpk5rvqgm0m24m-bash-4.4-p23/bin/sh" | |
./src/regression-tests/bash-scripts/run-seq.bsh: interpreter directive changed from "/bin/bash" to "/nix/store/r47p5pzx52m3n34vdgqpk5rvqgm0m24m-bash-4.4-p23/bin/bash" | |
./src/regression-tests/bash-scripts/run-par.bsh: interpreter directive changed from "/bin/bash" to "/nix/store/r47p5pzx52m3n34vdgqpk5rvqgm0m24m-bash-4.4-p23/bin/bash" | |
./config/make-file-cache.sh: interpreter directive changed from "/bin/sh" to "/nix/store/r47p5pzx52m3n34vdgqpk5rvqgm0m24m-bash-4.4-p23/bin/sh" | |
./config/gen-runtime-consts.sh: interpreter directive changed from "/bin/bash" to "/nix/store/r47p5pzx52m3n34vdgqpk5rvqgm0m24m-bash-4.4-p23/bin/bash" | |
autoreconfPhase | |
autoreconf: Entering directory `.' | |
autoreconf: configure.ac: not using Gettext | |
autoreconf: running: aclocal -I config --force | |
config/check_smlnj.m4:19: warning: underquoted definition of CHECK_SMLNJ | |
config/check_smlnj.m4:19: run info Automake 'Extending aclocal' | |
config/check_smlnj.m4:19: or see https://www.gnu.org/software/automake/manual/automake.html#Extending-aclocal | |
autoreconf: configure.ac: tracing | |
autoreconf: configure.ac: not using Libtool | |
autoreconf: running: /nix/store/w9a2xf2z7rg6xvyril64q8w6ia2iq288-autoconf-2.69/bin/autoconf --include=config --force | |
autoreconf: running: /nix/store/w9a2xf2z7rg6xvyril64q8w6ia2iq288-autoconf-2.69/bin/autoheader --include=config --force | |
autoreconf: configure.ac: not using Automake | |
autoreconf: Leaving directory `.' | |
configuring | |
configure flags: --prefix=/nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22 | |
checking build system type... x86_64-unknown-linux-gnu | |
checking host system type... x86_64-unknown-linux-gnu | |
checking target system type... x86_64-unknown-linux-gnu | |
checking whether the C compiler works... yes | |
checking for C compiler default output file name... a.out | |
checking for suffix of executables... | |
checking whether we are cross compiling... no | |
checking for suffix of object files... o | |
checking whether we are using the GNU C compiler... yes | |
checking whether gcc accepts -g... yes | |
checking for gcc option to accept ISO C89... none needed | |
checking for gcc option to accept ISO C99... none needed | |
checking whether we are using the GNU C++ compiler... yes | |
checking whether g++ accepts -g... yes | |
checking how to run the C preprocessor... gcc -E | |
checking for grep that handles long lines and -e... /nix/store/a7pnidn0y95axmhhkpm3vh7ws54qa324-gnugrep-3.1/bin/grep | |
checking for egrep... /nix/store/a7pnidn0y95axmhhkpm3vh7ws54qa324-gnugrep-3.1/bin/grep -E | |
checking for ANSI C header files... yes | |
checking for sys/types.h... yes | |
checking for sys/stat.h... yes | |
checking for stdlib.h... yes | |
checking for string.h... yes | |
checking for memory.h... yes | |
checking for strings.h... yes | |
checking for inttypes.h... yes | |
checking for stdint.h... yes | |
checking for unistd.h... yes | |
checking minix/config.h usability... no | |
checking minix/config.h presence... no | |
checking for minix/config.h... no | |
checking whether it is safe to define __EXTENSIONS__... yes | |
checking for ar... ar | |
checking for ranlib... ranlib | |
checking for a BSD-compatible install... /nix/store/dzvbhkzfgwkq97ljkcvi4gs7vmflh6a0-coreutils-8.30/bin/install -c | |
checking whether make sets $(MAKE)... yes | |
checking Checking for -Wl,-no_pie... no | |
checking for cpp-4.2... no | |
checking for cpp-4.0... no | |
checking for cpp... /nix/store/10yq7kwlvbc6h658izmrlsspry1g9f3c-gcc-wrapper-7.3.0/bin/cpp | |
checking for the pthreads library -lpthreads... no | |
checking whether pthreads work without any flags... no | |
checking whether pthreads work with -Kthread... no | |
checking whether pthreads work with -kthread... no | |
checking for the pthreads library -llthread... no | |
checking whether pthreads work with -pthread... yes | |
checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE | |
checking if more special flags are required for pthreads... no | |
checking for posix_memalign... yes | |
checking for mach_absolute_time... no | |
checking for struct timespec... yes | |
checking for clock_gettime... yes | |
checking for pthread_getcpuclockid... yes | |
checking for sigtimedwait... yes | |
checking for nanosleep... yes | |
checking for sched_setaffinity... yes | |
checking for pthread_setaffinity_np... yes | |
checking for numa_available in -lnuma... no | |
checking for /proc/cpuinfo... yes | |
checking for aio_return... yes | |
checking for sml-cm... no | |
checking for sml... /nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/sml | |
checking version of SML/NJ... 110.84 | |
checking for ml-makedepend... checking for ml-makedepend... /nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/ml-makedepend | |
/nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/ml-makedepend | |
checking for ml-build... /nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/ml-build | |
checking for nm... /nix/store/vcc4svb8gy29g4pam2zja6llkbcwsyiq-binutils-2.30/bin/nm | |
checking for leading underscore in global names... no | |
checking for builtin atomic operations... yes | |
checking whether byte ordering is bigendian... no | |
checking for inline... inline | |
checking whether char is unsigned... no | |
checking for long double with more range or precision than double... yes | |
checking size of char *... 8 | |
checking size of char... 1 | |
checking size of short... 2 | |
checking size of int... 4 | |
checking size of unsigned int... 4 | |
checking size of long... 8 | |
checking size of unsigned long... 8 | |
checking size of long long... 8 | |
checking size of float... 4 | |
checking size of double... 8 | |
checking size of long double... 16 | |
checking for mlton... none | |
configure: WARNING: unable to find mlton | |
configure: creating ./config.status | |
config.status: creating Makefile | |
config.status: creating src/Makefile | |
config.status: creating src/gen/log-gen/Makefile | |
config.status: creating src/lib/parallel-rt/build/Makefile | |
config.status: creating src/lib/parallel-rt/build/config/Makefile | |
config.status: creating src/lib/parallel-rt/build/mk/common.gmk | |
config.status: creating src/tools/log-dump/Makefile | |
config.status: creating src/tools/log-work-stealing/Makefile | |
config.status: creating src/tools/log-view/build/Makefile | |
config.status: creating src/tools/mc/Makefile | |
config.status: creating src/gen/log-gen/main.sml | |
config.status: creating src/tools/mc/common/run-cpp.sml | |
config.status: creating src/tools/mc/common/load-paths.sml | |
config.status: creating src/tools/mc/driver/build-executable.sml | |
config.status: creating src/tools/mc/driver/version-fn.sml | |
config.status: creating src/tools/mc/codegen/group.cm | |
config.status: creating src/tools/mc/codegen/wrapper.cm | |
config.status: creating src/tools/log-common/default-log-paths.h | |
config.status: creating bin/install-sml-wrapper.sh | |
config.status: creating src/lib/parallel-rt/build/mcrt/Makefile | |
config.status: creating src/lib/parallel-rt/build/mcrt-debug/Makefile | |
config.status: creating src/lib/parallel-rt/build/mcrt-log/Makefile | |
config.status: creating src/lib/parallel-rt/build/mcrt-log-debug/Makefile | |
config.status: creating src/lib/parallel-rt/build/mcrt-stats/Makefile | |
config.status: creating src/lib/parallel-rt/build/mcrt-perf/Makefile | |
config.status: creating src/include/manticore-config.h | |
config.status: linking src/lib/parallel-rt/x86_64 to src/lib/parallel-rt/machine | |
config.status: linking src/lib/parallel-rt/include/x86_64 to src/lib/parallel-rt/include/machine | |
config.status: executing runtime-consts commands | |
touch .depend | |
/nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/ml-makedepend -n -f .depend sources.cm log-gen.x86-linux | |
Standard ML of New Jersey v110.84 [built: Fri Nov 16 10:41:39 2018] | |
[opening 3201-mlscript.sml] | |
[autoloading] | |
[library $smlnj/cm/cm.cm is stable] | |
[library $smlnj/internal/cm-sig-lib.cm is stable] | |
[library $/pgraph.cm is stable] | |
[library $smlnj/internal/srcpath-lib.cm is stable] | |
[library $SMLNJ-BASIS/basis.cm is stable] | |
[library $SMLNJ-BASIS/(basis.cm):basis-common.cm is stable] | |
[autoloading done] | |
[scanning sources.cm] | |
[library $/json-lib.cm is stable] | |
[library $/regexp-lib.cm is stable] | |
[parsing (sources.cm):event-sig.sml] | |
[creating directory .cm/SKEL] | |
[parsing (sources.cm):generator-fn.sml] | |
[parsing (sources.cm):generator-sig.sml] | |
[parsing (sources.cm):load-file.sml] | |
[parsing (sources.cm):main.sml] | |
[parsing (sources.cm):gen-event-log-h.sml] | |
[parsing (sources.cm):gen-inline-log-h.sml] | |
[parsing (sources.cm):gen-log-events-def.sml] | |
[parsing (sources.cm):gen-log-events-h.sml] | |
[parsing (sources.cm):gen-logging-pml.sml] | |
[parsing (sources.cm):gen-event-log-format-h.sml] | |
[parsing (sources.cm):gen-event-types-hs.sml] | |
[parsing (sources.cm):gen-events-hs.sml] | |
[parsing (sources.cm):gen-event-logging-pml.sml] | |
[parsing (sources.cm):gen-event-log-c.sml] | |
[parsing (sources.cm):gen-view-colours-hs.sml] | |
[parsing (sources.cm):gen-hec-hs.sml] | |
[parsing (sources.cm):gen-key-view-hs.sml] | |
[library $SMLNJ-LIB/Util/smlnj-lib.cm is stable] | |
/nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/ml-build sources.cm Main.main log-gen | |
Standard ML of New Jersey v110.84 [built: Fri Nov 16 10:41:39 2018] | |
[scanning sources.cm] | |
[library $/json-lib.cm is stable] | |
[library $/regexp-lib.cm is stable] | |
[library $SMLNJ-BASIS/basis.cm is stable] | |
[library $SMLNJ-BASIS/(basis.cm):basis-common.cm is stable] | |
[library $SMLNJ-LIB/Util/smlnj-lib.cm is stable] | |
[compiling (sources.cm):event-sig.sml] | |
[creating directory .cm/GUID] | |
[creating directory .cm/x86-unix] | |
[code: 7287, data: 499, env: 4340 bytes] | |
[compiling (sources.cm):load-file.sml] | |
load-file.sml:227.7-232.121 Warning: match nonexhaustive | |
NONE => ... | |
SOME (STRING color) => ... | |
[code: 16969, data: 1625, env: 3505 bytes] | |
[compiling (sources.cm):generator-sig.sml] | |
[code: 60, env: 374 bytes] | |
[compiling (sources.cm):gen-inline-log-h.sml] | |
[code: 11878, data: 1258, env: 61 bytes] | |
[compiling (sources.cm):generator-fn.sml] | |
[code: 4788, data: 344, env: 2833 bytes] | |
[compiling (sources.cm):gen-log-events-def.sml] | |
[code: 1815, data: 203, env: 63 bytes] | |
[compiling (sources.cm):gen-log-events-h.sml] | |
[code: 4779, data: 423, env: 61 bytes] | |
[compiling (sources.cm):gen-logging-pml.sml] | |
[code: 23582, data: 2242, env: 61 bytes] | |
[compiling (sources.cm):gen-event-log-h.sml] | |
[code: 13386, data: 1162, env: 60 bytes] | |
[compiling (sources.cm):gen-event-logging-pml.sml] | |
[code: 26371, data: 2075, env: 66 bytes] | |
[compiling (sources.cm):gen-events-hs.sml] | |
[code: 12880, data: 952, env: 59 bytes] | |
[compiling (sources.cm):gen-event-log-format-h.sml] | |
[code: 5298, data: 490, env: 66 bytes] | |
[compiling (sources.cm):gen-event-types-hs.sml] | |
[code: 7528, data: 924, env: 63 bytes] | |
[compiling (sources.cm):gen-event-log-c.sml] | |
[code: 12887, data: 1151, env: 60 bytes] | |
[compiling (sources.cm):gen-view-colours-hs.sml] | |
[code: 4566, data: 454, env: 64 bytes] | |
[compiling (sources.cm):gen-hec-hs.sml] | |
[code: 4512, data: 436, env: 56 bytes] | |
[compiling (sources.cm):gen-key-view-hs.sml] | |
[code: 3943, data: 435, env: 60 bytes] | |
[compiling (sources.cm):main.sml] | |
[code: 8767, data: 655, env: 243 bytes] | |
[scanning 3220-export.cm] | |
[scanning (3220-export.cm):sources.cm] | |
[parsing (3220-export.cm):3220-export.sml] | |
[compiling (3220-export.cm):3220-export.sml] | |
[code: 220, data: 36, env: 39 bytes] | |
[library $/ml-lpt-lib.cm is stable] | |
touch log-gen.x86-linux | |
/nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/bin/install-sml-wrapper.sh log-gen /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/bin | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/lib/parallel-rt/include/inline-log.h from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/inline-log_h.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/lib/basis/include/log-events.def from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/log-events_def.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/include/log-events.h from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/log-events_h.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/lib/basis/misc/logging.pml from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/logging_pml.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/lib/parallel-rt/include/event-log.h from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/event-log_h.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/lib/basis/misc/event-logging.pml from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/event_logging_pml.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/tools/event-parser/GHC/RTS/Events.hs from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/Events_hs.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/tools/event-parser/GHC/RTS/EventLogFormat.h from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/EventLogFormat_h.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/tools/event-parser/GHC/RTS/EventTypes.hs from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/EventTypes_hs.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/lib/parallel-rt/misc/event-log.c from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/event-log_c.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/tools/threadscope/GUI/ViewerColours.hs from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/ViewerColours_hs.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/tools/threadscope/GUI/Timeline/HEC.hs from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/HEC_hs.in | |
generating /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/tools/threadscope/GUI/KeyView.hs from /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/gen/log-gen/templates/KeyView_hs.in | |
gcc -I. -I../../include -I../../../../include -DTARGET_LINUX -DTARGET_X86_64 -DNDEBUG -DNO_GC_STATS -g -O2 -D_GNU_SOURCE -pedantic -m64 -pthread -O2 -lm -o gen-runtime-constants ../../config/gen-runtime-constants.c ../../config/crc.c | |
src/lib/parallel-rt/build/config/gen-runtime-constants > src/tools/mc/driver/runtime-constants.sml | |
gcc -I. -I../../include -I../../../../include -DTARGET_LINUX -DTARGET_X86_64 -DNDEBUG -DNO_GC_STATS -g -O2 -D_GNU_SOURCE -pedantic -m64 -pthread -O2 -o gen-basis-offsets ../../config/gen-basis-offsets.c ../../config/crc.c | |
src/lib/parallel-rt/build/config/gen-basis-offsets > src/lib/basis/include/runtime-offsets.def | |
building | |
build flags: SHELL=/nix/store/r47p5pzx52m3n34vdgqpk5rvqgm0m24m-bash-4.4-p23/bin/bash | |
This Makefile supports the following targets: | |
help -- print this message. | |
build -- build Manticore tools and libraries for x86_64-linux-gnu. | |
install -- install Manticore tools and libraries in /nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22. | |
local-install -- install Manticore tools and libraries in | |
/nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout. | |
clean -- remove intermediate files generated during building | |
distclean -- remove files generated during configuration | |
and building; the resulting tree has the same | |
files as the distribution. | |
The following additional targets are primarily for developers: | |
doc -- regenerate documentation from sources | |
devclean -- remove everything that is not part of the CVS | |
repository. | |
installing | |
install flags: SHELL=/nix/store/r47p5pzx52m3n34vdgqpk5rvqgm0m24m-bash-4.4-p23/bin/bash install | |
(cd src && make build) | |
make[1]: Entering directory '/nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src' | |
for dir in tools/mc lib/parallel-rt/build; do \ | |
(cd $dir && make build) || exit $?; \ | |
done | |
make[2]: Entering directory '/nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/tools/mc' | |
touch .depend | |
/nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/ml-makedepend -n -f .depend driver/x86_64-linux.cm pmlc.x86-linux | |
Standard ML of New Jersey v110.84 [built: Fri Nov 16 10:41:39 2018] | |
[opening 3357-mlscript.sml] | |
[autoloading] | |
[library $smlnj/cm/cm.cm is stable] | |
[library $smlnj/internal/cm-sig-lib.cm is stable] | |
[library $/pgraph.cm is stable] | |
[library $smlnj/internal/srcpath-lib.cm is stable] | |
[library $SMLNJ-BASIS/basis.cm is stable] | |
[library $SMLNJ-BASIS/(basis.cm):basis-common.cm is stable] | |
[autoloading done] | |
[scanning driver/x86_64-linux.cm] | |
[scanning driver/(x86_64-linux.cm):../codegen/sources.cm] | |
[scanning driver/(x86_64-linux.cm):../codegen/(sources.cm):wrapper.cm] | |
[scanning driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):group.cm] | |
[library $/controls-lib.cm is stable] | |
[library $/pp-lib.cm is stable] | |
[library $SMLNJ-MLRISC/Control.cm is stable] | |
[library $SMLNJ-MLRISC/Lib.cm is stable] | |
[library $SMLNJ-MLRISC/MLRISC.cm is stable] | |
[library $SMLNJ-MLRISC/Graphs.cm is stable] | |
[library $SMLNJ-MLRISC/MLTREE.cm is stable] | |
[library $SMLNJ-MLRISC/RA.cm is stable] | |
[library $SMLNJ-MLRISC/Visual.cm is stable] | |
[library $SMLNJ-MLRISC/Peephole.cm is stable] | |
[library $SMLNJ-MLRISC/AMD64.cm is stable] | |
[library $SMLNJ-MLRISC/AMD64-Peephole.cm is stable] | |
[library $SMLNJ-MLRISC/StagedAlloc.cm is stable] | |
[library $SMLNJ-MLRISC/CCall.cm is stable] | |
[library $SMLNJ-MLRISC/CCall-x86-64.cm is stable] | |
[scanning driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/sources.cm] | |
[library $/ml-lpt-lib.cm is stable] | |
[library $SMLNJ-LIB/Util/smlnj-lib.cm is stable] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):basic-control.sml] | |
[creating directory common/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):expansion-opts.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):c-functions.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):check-var-counts-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):const-arith.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):error.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):exn-name.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):float-lit.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):integer-lit.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):literal.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):prog-point.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):raw-types.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):run-cpp.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):load-paths.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):runtime-constants-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):stamp.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):stats.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):target-spec-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):var-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):var-rep.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):basis-names.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):memo.sml] | |
[library $SMLNJ-LIB/Controls/controls-lib.cm is stable] | |
[scanning driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../prim/sources.cm] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../prim/(sources.cm):cond-util.sml] | |
[creating directory prim/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../prim/(sources.cm):make-prim-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../prim/(sources.cm):prim.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../prim/(sources.cm):prim-ty-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../prim/(sources.cm):prim-util.sml] | |
[scanning driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/sources.cm] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/(sources.cm):cfg.sml] | |
[creating directory cfg/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/(sources.cm):cfg-ty.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/(sources.cm):cfg-ty-util.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/(sources.cm):cfg-util.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/(sources.cm):check-cfg.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/(sources.cm):print-cfg.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):alloc-sig.sml] | |
[creating directory codegen/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):alloc64-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):arch-types-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):atomic-ops-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):backend-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):codegen-controls.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):codegen-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):codegen-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):copy-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):gen-clusters.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):heap-transfer-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):label-code-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):label-code-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):literal-tbl-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-frame-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-frame-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-frame.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-pseudo-ops-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-pseudo-ops-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-region.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-regs-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):mlrisc-types-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):prim-gen-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):runtime-labels.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):spill-loc-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):spill-loc-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):transfer-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):var-def-sig.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):var-def-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):vproc-ops-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):header-tbl-struct.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):header-tbl-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-atomic-ops-fn.sml] | |
[creating directory codegen/amd64/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-comp-ext-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-const.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-copy-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-extension.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-frame.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-gen-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-heap-transfer-fn.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-mltree.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-regs.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-types.sml] | |
[parsing driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-linux-pseudo-ops-fn.sml] | |
[scanning driver/(x86_64-linux.cm):sources.cm] | |
[library $smlnj-tdp/plugins.cm is stable] | |
[library $smlnj-tdp/back-trace.cm is stable] | |
[library $smlnj-tdp/coverage.cm is stable] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../parse-tree/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../parse-tree/(sources.cm):bom-parse-tree-fn.sml] | |
[creating directory parse-tree/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../parse-tree/(sources.cm):pml-parse-tree-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../parse-tree/(sources.cm):prog-parse-tree.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../parse-tree/(sources.cm):print-pt.sml] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../parser/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../parser/(sources.cm):keywords.sml] | |
[creating directory parser/.cm/SKEL] | |
[attempting to load plugin $/ml-ulex-tool.cm] | |
[library $/ml-ulex-tool.cm is stable] | |
[library $smlnj/cm/tools.cm is stable] | |
[library $smlnj/internal/cm-lib.cm is stable] | |
[plugin $/ml-ulex-tool.cm loaded successfully] | |
["/nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/ml-ulex" "manticore.lex"] | |
[ml-ulex: parsing] | |
[ml-ulex: DFA gen] | |
119 states in full DFA | |
[ml-ulex: SML gen] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../parser/(sources.cm):manticore.lex.sml] | |
[attempting to load plugin $/ml-antlr-tool.cm] | |
[library $/ml-antlr-tool.cm is stable] | |
[plugin $/ml-antlr-tool.cm loaded successfully] | |
["/nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/ml-antlr" "manticore.grm"] | |
[ml-antlr: parsing manticore.grm] | |
[ml-antlr: checking grammar] | |
[ml-antlr: parsing sml.grm] | |
[ml-antlr: parsing bom.grm] | |
170 nonterminals | |
322 productions | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../parser/(sources.cm):manticore.grm.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../parser/(sources.cm):parser.sml] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../ast-opt/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):bom.sml] | |
[creating directory bom/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):bom-ty.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):bom-tycon.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):bom-ty-util.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):bom-util.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):census.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):cfa-bom.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):check-bom.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):hlop.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):rewrites.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):print-bom.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/(sources.cm):print-bom-debug.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):ast.sml] | |
[creating directory ast/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):ast-util.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):basis.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):data-con.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):exn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):meta-var.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):print-ast.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):print-types.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):ty-con.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):ty-var.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):types.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):type-class.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):type-of.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):type-util.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):var.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):var-subst.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):subst-var.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):subst-ty.sml] | |
[library $SMLNJ-LIB/PP/pp-lib.cm is stable] | |
[library $html-lib.cm(=$SMLNJ-LIB/HTML)/html-lib.cm is stable] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../env/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../env/(sources.cm):basis-env.sml] | |
[creating directory env/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../env/(sources.cm):binding-env.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../env/(sources.cm):qualified-id.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../env/(sources.cm):hlop-env.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../env/(sources.cm):module-env.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../env/(sources.cm):delayed-basis.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):ast-opt.sml] | |
[creating directory ast-opt/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):ast-opt-controls.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):completion-bitstring.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):derived-forms.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):flat-par-tup.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):fresh-var.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):pval-to-future.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):elaborate.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):hash.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):nester.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):rope.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):test-utils.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):translate-pcase.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):translate-pcomp.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):translate-ptup.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):translate-range.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):unpar.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):future1.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):parr-lit-to-rope.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):lookup-infix-ops.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):jfp-translate-pcase.sml] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../binding/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../binding/(sources.cm):binding.sml] | |
[creating directory binding/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../binding/(sources.cm):error-stream.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../binding/(sources.cm):bound-variable-check.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../binding/(sources.cm):bom-bound-variable-check.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../binding/(sources.cm):used-vars.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../binding/(sources.cm):bom-used-vars.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../binding/(sources.cm):tree-shake.sml] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../bom-opt/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):bom-opt-controls.sml] | |
[creating directory bom-opt/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):bom-opt-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):case-simplify.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):cond-contract.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):contract.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):dead-funs.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):expand-hlops.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):flatten.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):inline.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):group-funs.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):let-float.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):literal-case-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):prim-contract.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):remove-atomics.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):rewrite-hlops.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):sizes.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../bom-opt/(sources.cm):uncurry.sml] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):add-alloc-checks-fn.sml] | |
[creating directory cfg-opt/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):census.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):cfa-cfg.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):cfg-opt-controls.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):cfg-opt-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):contract.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):feedback-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):implement-calls-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):specialize-calls.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):alloc-c-calls-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):add-alloc-vec-checks-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):unroll-loops.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/(sources.cm):print-dot.sml] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../closure/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps/(sources.cm):cfa-cps.sml] | |
[creating directory cps/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps/(sources.cm):check-cps.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps/(sources.cm):cps.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps/(sources.cm):cps-ty.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps/(sources.cm):cps-ty-util.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps/(sources.cm):cps-util.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps/(sources.cm):print-cps.sml] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):arity-raising.sml] | |
[creating directory cps-opt/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):census.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):classify-conts.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):common-subexpression-elimination.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):contract.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):copy-propagation.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):cps-opt-controls.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):cps-opt-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):dead-branch-elim.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):elim-uncalled.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):eta-expand.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):free-vars.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):inline.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):reflow.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):sizes.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/(sources.cm):function-hoisting.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):closure-fn.sml] | |
[creating directory closure/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):closure-controls.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):flat-closure-with-cfa.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):eff-sfs-closure-fn.sml] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../convert/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../convert/(sources.cm):convert-controls.sml] | |
[creating directory convert/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../convert/(sources.cm):convert.sml] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../match-comp/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../match-comp/(sources.cm):match-compile.sml] | |
[creating directory match-comp/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../match-comp/(sources.cm):match-comp-env.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../match-comp/(sources.cm):match-controls.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../match-comp/(sources.cm):match-dfa-sig.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../match-comp/(sources.cm):match-dfa.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../match-comp/(sources.cm):match-errors.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../match-comp/(sources.cm):match-to-dfa.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../match-comp/(sources.cm):match-util.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../match-comp/(sources.cm):match-check.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../match-comp/(sources.cm):test-match-check.sml] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../mlb/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../mlb/(sources.cm):mlb-controls.sml] | |
[creating directory mlb/.cm/SKEL] | |
["/nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/ml-ulex" "mlb.lex"] | |
[ml-ulex: parsing] | |
[ml-ulex: DFA gen] | |
25 states in full DFA | |
[ml-ulex: SML gen] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../mlb/(sources.cm):mlb.lex.sml] | |
["/nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/ml-antlr" "mlb.grm"] | |
[ml-antlr: parsing mlb.grm] | |
[ml-antlr: checking grammar] | |
11 nonterminals | |
19 productions | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../mlb/(sources.cm):mlb.grm.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../mlb/(sources.cm):mlb.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../mlb/(sources.cm):mlb-parse-tree.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../mlb/(sources.cm):mlb-parser.sml] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../translate/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/sources.cm] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/(sources.cm):error-stream.sml] | |
[creating directory typechecker/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/(sources.cm):chk-ty.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/(sources.cm):chk-exp.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/(sources.cm):chk-module.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/(sources.cm):chk-program.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/(sources.cm):match-sig.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/(sources.cm):overload.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/(sources.cm):tc-controls.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/(sources.cm):unify.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/(sources.cm):match-ty.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/(sources.cm):copy-sig.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):cache-fn.sml] | |
[creating directory translate/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):equality.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):flatten-rep.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):list-map-maker.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):rope-map-maker.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):translate.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):translate-controls.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):translate-env.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):translate-parr.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):translate-pval-cilk5.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):translate-ptup.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):translate-types.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):translate-prim.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):build-executable.sml] | |
[creating directory driver/.cm/SKEL] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):initial-basis.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):main-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):target-spec-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):version-fn.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):header-tbl-print.sml] | |
[parsing driver/(x86_64-linux.cm):(sources.cm):header-tbl-print-debug.sml] | |
[parsing driver/(x86_64-linux.cm):runtime-constants.sml] | |
[parsing driver/(x86_64-linux.cm):x86_64-linux.sml] | |
/nix/store/hk4asg6yqfa94c86bmd988jgf2yqkqvf-smlnj-110.84/bin/ml-build driver/x86_64-linux.cm Main.main pmlc | |
Standard ML of New Jersey v110.84 [built: Fri Nov 16 10:41:39 2018] | |
[scanning driver/x86_64-linux.cm] | |
[scanning driver/(x86_64-linux.cm):../codegen/sources.cm] | |
[scanning driver/(x86_64-linux.cm):../codegen/(sources.cm):wrapper.cm] | |
[scanning driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):group.cm] | |
[library $/controls-lib.cm is stable] | |
[library $/pp-lib.cm is stable] | |
[library $SMLNJ-MLRISC/Control.cm is stable] | |
[library $SMLNJ-MLRISC/Lib.cm is stable] | |
[library $SMLNJ-MLRISC/MLRISC.cm is stable] | |
[library $SMLNJ-MLRISC/Graphs.cm is stable] | |
[library $SMLNJ-MLRISC/MLTREE.cm is stable] | |
[library $SMLNJ-MLRISC/RA.cm is stable] | |
[library $SMLNJ-MLRISC/Visual.cm is stable] | |
[library $SMLNJ-MLRISC/Peephole.cm is stable] | |
[library $SMLNJ-MLRISC/AMD64.cm is stable] | |
[library $SMLNJ-MLRISC/AMD64-Peephole.cm is stable] | |
[library $SMLNJ-MLRISC/StagedAlloc.cm is stable] | |
[library $SMLNJ-MLRISC/CCall.cm is stable] | |
[library $SMLNJ-MLRISC/CCall-x86-64.cm is stable] | |
[scanning driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/sources.cm] | |
[library $/ml-lpt-lib.cm is stable] | |
[library $SMLNJ-LIB/Util/smlnj-lib.cm is stable] | |
[library $SMLNJ-BASIS/basis.cm is stable] | |
[library $SMLNJ-BASIS/(basis.cm):basis-common.cm is stable] | |
[library $SMLNJ-LIB/Controls/controls-lib.cm is stable] | |
[scanning driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../prim/sources.cm] | |
[scanning driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/sources.cm] | |
[scanning driver/(x86_64-linux.cm):sources.cm] | |
[library $smlnj-tdp/plugins.cm is stable] | |
[library $smlnj-tdp/back-trace.cm is stable] | |
[library $smlnj-tdp/coverage.cm is stable] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../parse-tree/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../parser/sources.cm] | |
[attempting to load plugin $/ml-ulex-tool.cm] | |
[library $/ml-ulex-tool.cm is stable] | |
[library $smlnj/cm/tools.cm is stable] | |
[library $smlnj/internal/cm-lib.cm is stable] | |
[plugin $/ml-ulex-tool.cm loaded successfully] | |
[attempting to load plugin $/ml-antlr-tool.cm] | |
[library $/ml-antlr-tool.cm is stable] | |
[plugin $/ml-antlr-tool.cm loaded successfully] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../ast-opt/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../ast/(sources.cm):../bom/sources.cm] | |
[library $SMLNJ-LIB/PP/pp-lib.cm is stable] | |
[library $html-lib.cm(=$SMLNJ-LIB/HTML)/html-lib.cm is stable] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../ast-opt/(sources.cm):../env/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../binding/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../bom-opt/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../cfg-opt/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../closure/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../closure/(sources.cm):../cps-opt/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../convert/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../match-comp/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../mlb/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../translate/sources.cm] | |
[scanning driver/(x86_64-linux.cm):(sources.cm):../translate/(sources.cm):../typechecker/sources.cm] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):runtime-constants-sig.sml] | |
[creating directory common/.cm/GUID] | |
[creating directory common/.cm/x86-unix] | |
[code: 76, env: 553 bytes] | |
[compiling driver/(x86_64-linux.cm):runtime-constants.sml] | |
[creating directory driver/.cm/GUID] | |
[creating directory driver/.cm/x86-unix] | |
[code: 2864, env: 113 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):integer-lit.sml] | |
[code: 2262, data: 30, env: 465 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):target-spec-sig.sml] | |
[code: 68, env: 437 bytes] | |
[compiling driver/(x86_64-linux.cm):(sources.cm):target-spec-fn.sml] | |
[code: 440, env: 398 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-frame.sml] | |
[creating directory codegen/.cm/GUID] | |
[creating directory codegen/.cm/x86-unix] | |
[code: 3585, data: 209, env: 834 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-frame-sig.sml] | |
[code: 76, env: 396 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-frame-fn.sml] | |
[code: 1850, data: 250, env: 507 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-frame.sml] | |
[creating directory codegen/amd64/.cm/GUID] | |
[creating directory codegen/amd64/.cm/x86-unix] | |
[code: 436, env: 1270 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-const.sml] | |
[code: 757, data: 29, env: 522 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-region.sml] | |
[code: 205, data: 29, env: 147 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-extension.sml] | |
[code: 92, env: 265 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-linux-pseudo-ops-fn.sml] | |
[code: 100, env: 2124 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-mltree.sml] | |
[code: 11949, data: 1301, env: 16701 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):float-lit.sml] | |
[code: 7089, data: 345, env: 701 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-pseudo-ops-sig.sml] | |
[code: 80, env: 1543 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-pseudo-ops-fn.sml] | |
[code: 3631, data: 239, env: 1401 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-comp-ext-fn.sml] | |
[code: 2819, data: 319, env: 26233 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):manticore-regs-sig.sml] | |
[code: 72, env: 585 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-regs.sml] | |
[code: 2748, env: 194 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):raw-types.sml] | |
[code: 532, data: 92, env: 409 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):c-functions.sml] | |
[code: 5346, data: 222, env: 1401 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/(sources.cm):cfg-ty.sml] | |
[creating directory cfg/.cm/GUID] | |
[creating directory cfg/.cm/x86-unix] | |
[code: 132, env: 1434 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/(sources.cm):cfg-ty-util.sml] | |
cfg/cfg-ty-util.sml:159.6-179.20 Warning: match nonexhaustive | |
T_Any => ... | |
T_Enum w => ... | |
T_Raw ty => ... | |
T_Tuple (false,tys) => ... | |
T_Tuple (true,tys) => ... | |
T_OpenTuple tys => ... | |
T_Addr ty => ... | |
T_CFun proto => ... | |
T_VProc => ... | |
T_Deque => ... | |
T_StdFun {args=args,clos=clos,exh=exh,ret=ret} => ... | |
T_StdCont {args=args,clos=clos} => ... | |
T_KnownFunc {args=args,clos=clos} => ... | |
cfg/cfg-ty-util.sml:73.63 Warning: calling polyEqual | |
cfg/cfg-ty-util.sml:50.9-61.48 Warning: match nonexhaustive | |
T_Any => ... | |
T_Enum _ => ... | |
T_Raw _ => ... | |
T_Tuple _ => ... | |
T_OpenTuple _ => ... | |
T_Addr _ => ... | |
T_CFun _ => ... | |
T_VProc => ... | |
T_Deque => ... | |
T_StdFun _ => ... | |
T_StdCont _ => ... | |
T_KnownFunc _ => ... | |
[code: 17821, data: 721, env: 430 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../prim/(sources.cm):prim.sml] | |
[creating directory prim/.cm/GUID] | |
[creating directory prim/.cm/x86-unix] | |
[code: 72, env: 5500 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):stamp.sml] | |
[code: 1911, data: 51, env: 4975 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):var-rep.sml] | |
[code: 576, env: 474 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):literal.sml] | |
[code: 7628, data: 264, env: 2452 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):var-fn.sml] | |
[code: 4670, data: 30, env: 7014 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/(sources.cm):cfg.sml] | |
[code: 9212, data: 192, env: 10469 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):spill-loc-fn.sml] | |
[code: 1645, data: 29, env: 996 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../common/(sources.cm):basic-control.sml] | |
[code: 18219, data: 943, env: 1240 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):codegen-controls.sml] | |
[code: 405, data: 65, env: 133 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):mlrisc-types-fn.sml] | |
[code: 3878, data: 150, env: 10573 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):label-code-sig.sml] | |
[code: 68, env: 364 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):label-code-fn.sml] | |
[code: 2825, data: 125, env: 352 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):arch-types-sig.sml] | |
[code: 68, env: 165 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-types.sml] | |
[code: 1735, data: 127, env: 263 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):atomic-ops-sig.sml] | |
[code: 68, env: 654 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-atomic-ops-fn.sml] | |
codegen/amd64/amd64-atomic-ops-fn.sml:73.16-75.36 Warning: match nonexhaustive | |
32 => ... | |
64 => ... | |
codegen/amd64/amd64-atomic-ops-fn.sml:59.16-61.35 Warning: match nonexhaustive | |
32 => ... | |
64 => ... | |
codegen/amd64/amd64-atomic-ops-fn.sml:41.19-43.43 Warning: match nonexhaustive | |
32 => ... | |
64 => ... | |
codegen/amd64/amd64-atomic-ops-fn.sml:28.16-30.51 Warning: match nonexhaustive | |
32 => ... | |
64 => ... | |
[code: 5522, data: 266, env: 20050 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):copy-sig.sml] | |
[code: 64, env: 260 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-copy-fn.sml] | |
[code: 9924, data: 312, env: 1211 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):var-def-sig.sml] | |
[code: 68, env: 874 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):var-def-fn.sml] | |
[code: 14103, data: 527, env: 1697 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):spill-loc-sig.sml] | |
[code: 68, env: 647 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):runtime-labels.sml] | |
[code: 1558, data: 218, env: 305 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-heap-transfer-fn.sml] | |
[code: 680, env: 633 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):vproc-ops-fn.sml] | |
[code: 2664, env: 1988 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):header-tbl-fn.sml] | |
[code: 1601, data: 41, env: 1300 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):header-tbl-struct.sml] | |
[code: 773, data: 61, env: 895 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):alloc-sig.sml] | |
[code: 64, env: 700 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):alloc64-fn.sml] | |
codegen/alloc64-fn.sml:334.12-334.51 Warning: binding not exhaustive | |
EXP (_,hostVP) = ... | |
codegen/alloc64-fn.sml:311.11-311.50 Warning: binding not exhaustive | |
EXP (_,hostVP) = ... | |
codegen/alloc64-fn.sml:285.11-285.50 Warning: binding not exhaustive | |
EXP (_,hostVP) = ... | |
codegen/alloc64-fn.sml:259.7-259.98 Warning: binding not exhaustive | |
EXP (_,gap) = ... | |
codegen/alloc64-fn.sml:253.7-253.46 Warning: binding not exhaustive | |
EXP (_,hostVP) = ... | |
codegen/alloc64-fn.sml:205.11-205.50 Warning: binding not exhaustive | |
EXP (_,hostVP) = ... | |
codegen/alloc64-fn.sml:68.6-70.78 Warning: match nonexhaustive | |
K_FLOAT => ... | |
K_INT => ... | |
[code: 26207, data: 903, env: 1404 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):transfer-sig.sml] | |
[code: 68, env: 2166 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):heap-transfer-fn.sml] | |
codegen/heap-transfer-fn.sml:689.7-719.10 Warning: match nonexhaustive | |
(varDefTbl, | |
(lab,conv as StdFunc {clos=<pat>,exh=<pat>,ret=<pat>}, | |
blk as BLK {args=<pat>,body=<pat>,exit=<pat>,lab=<pat>})) => ... | |
(varDefTbl, | |
(lab,conv as StdCont {clos=<pat>}, | |
blk as BLK {args=<pat>,body=<pat>,exit=<pat>,lab=<pat>})) => ... | |
(varDefTbl, | |
(lab,conv as KnownFunc {clos=<pat>}, | |
blk as BLK {args=<pat>,body=<pat>,exit=<pat>,lab=<pat>})) => ... | |
codegen/heap-transfer-fn.sml:651.31-667.14 Warning: match nonexhaustive | |
(GPR (ty,r),K_GPR) => ... | |
(FPR (ty,r),K_FPR) => ... | |
(EXP (ty,offset),K_GPR) => ... | |
(EXP (ty,offset),K_FPR) => ... | |
codegen/heap-transfer-fn.sml:551.30-552.27 Warning: match nonexhaustive | |
GPR e => ... | |
codegen/heap-transfer-fn.sml:228.42-228.66 Warning: match nonexhaustive | |
GPReg (_,r) => ... | |
codegen/heap-transfer-fn.sml:182.11-193.30 Warning: match nonexhaustive | |
BLOCK_OFFSET (_,_,off) => ... | |
REG (_,K_GPR,r) => ... | |
REG (_,K_FPR,r) => ... | |
NARROW (REG (_,K_GPR,r),_,k) => ... | |
NARROW (REG (_,K_FPR,r),_,K_FPR) => ... | |
codegen/heap-transfer-fn.sml:74.6-74.45 Warning: binding not exhaustive | |
EXP (_,hostVP) = ... | |
codegen/heap-transfer-fn.sml:66.10-68.59 Warning: match nonexhaustive | |
K_INT => ... | |
K_FLOAT => ... | |
[code: 49569, data: 1469, env: 7383 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):backend-sig.sml] | |
[code: 68, env: 21189 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../prim/(sources.cm):prim-util.sml] | |
prim/prim-util.sml:229.22-233.78 Warning: match nonexhaustive | |
nil => ... | |
x :: nil => ... | |
x :: y :: nil => ... | |
x :: y :: z :: nil => ... | |
[code: 73454, data: 6650, env: 414 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../prim/(sources.cm):cond-util.sml] | |
prim/cond-util.sml:100.22-103.78 Warning: match nonexhaustive | |
x :: nil => ... | |
x :: y :: nil => ... | |
x :: y :: z :: nil => ... | |
[code: 33719, data: 2575, env: 414 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):../cfg/(sources.cm):cfg-util.sml] | |
[code: 14300, env: 654 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):gen-clusters.sml] | |
[code: 6808, data: 92, env: 165 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):prim-gen-fn.sml] | |
[code: 43513, data: 213, env: 1037 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):literal-tbl-fn.sml] | |
[code: 1773, data: 41, env: 1150 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):codegen-sig.sml] | |
[code: 68, env: 165 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):codegen-fn.sml] | |
codegen/codegen-fn.sml:373.10-373.60 Warning: binding not exhaustive | |
entryFunc as FUNC {body=_,entry=_,lab=entryLab,start=_} :: _ = ... | |
codegen/codegen-fn.sml:277.7-365.25 Warning: match nonexhaustive | |
E_Var (lhs,rhs) => ... | |
E_Const (lhs,lit,_) => ... | |
E_Label (lhs,l) => ... | |
E_Select (lhs,i,v) => ... | |
E_Update (i,lhs,rhs) => ... | |
E_AddrOf (lhs,i,v) => ... | |
E_Alloc (lhs,T_Tuple (isMut,tys),vs) => ... | |
E_GAlloc (lhs,T_Tuple (isMut,tys),vs) => ... | |
E_Promote (lhs,v) => ... | |
E_Prim0 p => ... | |
E_Prim (lhs,p) => ... | |
E_CCall (lhs,f,args) => ... | |
E_Cast (lhs,_,v) => ... | |
E_HostVProc lhs => ... | |
E_VPLoad (lhs,offset,vproc) => ... | |
E_VPStore (offset,vproc,v) => ... | |
E_VPAddr (lhs,offset,vproc) => ... | |
codegen/codegen-fn.sml:243.9-243.51 Warning: binding not exhaustive | |
EXP (_,hostVP) = ... | |
codegen/codegen-fn.sml:133.8-154.6 Warning: match nonexhaustive | |
(ty,Enum c) => ... | |
(ty,StateVal n) => ... | |
(ty,Tag t) => ... | |
(ty,Int i) => ... | |
(fty,Float f) => ... | |
(_,Char c) => ... | |
(_,String s) => ... | |
[code: 50574, data: 1074, env: 2467 bytes] | |
[compiling driver/(x86_64-linux.cm):../codegen/(sources.cm):(wrapper.cm):(group.cm):amd64/amd64-gen-fn.sml] | |
codegen/amd64/amd64-gen-fn.sml:110.33-118.7 Error: value type in structure doesn't match signature spec | |
name: signBit | |
spec: int -> AMD64MLTree.rexp | |
actual: int -> Label.label | |
codegen/amd64/amd64-gen-fn.sml:110.33-118.7 Error: value type in structure doesn't match signature spec | |
name: negateSignBit | |
spec: int -> AMD64MLTree.rexp | |
actual: int -> Label.label | |
Error: Compiler bug: ModuleUtil: getStr: bad entity | |
Compilation failed. | |
make[2]: *** [Makefile:83: pmlc.x86-linux] Error 1 | |
make[2]: Leaving directory '/nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src/tools/mc' | |
make[1]: *** [Makefile:39: build] Error 2 | |
make[1]: Leaving directory '/nix/store/5zy5w8jjm8vzaqjhhqpn9z7mpncmk01m-manticore-2017.08.22/repo_checkout/src' | |
make: *** [Makefile:58: build] Error 2 | |
builder for '/nix/store/g21hjshf6pha15fdqmg6k34id718gijn-manticore-2017.08.22.drv' failed with exit code 2 | |
error: build of '/nix/store/g21hjshf6pha15fdqmg6k34id718gijn-manticore-2017.08.22.drv' failed |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment