Skip to content

Instantly share code, notes, and snippets.

@nalbyuites

nalbyuites/manticore_build-fail_smlnj-110_84.txt

Last active November 28, 2018 04:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save nalbyuites/c85c82f6827a0e722e1a21613a70f010 to your computer and use it in GitHub Desktop.
Save nalbyuites/c85c82f6827a0e722e1a21613a70f010 to your computer and use it in GitHub Desktop.
Download ZIP
Manticore nix-build failure with smlnj 110.84
Raw
manticore_build-fail_smlnj-110_84.txt
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