Compile MLton with MLKit

[melsman]

This issue tracks overall problems with compiling MLton with MLKit.

Related issues:

• Increase maximum string size #100
• Serialisation of static environments is slow for large functorised programs #102 (compilation of MLton now takes 19m42s)
• Problematic unification of RT_BOT-typed region variables  #101
• Internal compiler error "Impossible: LambdaStatSem.APP.argument type not arrow" when compiling MLton with MLKit #97
• Rename bound exception constructors when inlining #104

Until #101 is solved, we need to pass --no_gc to mlkit, which is done by changing the target $(MLTON_OUTPUT)-mlkit in Makefile. I have forked the mlton github repository, made some changes, and have successfully compiled MLton with MLKit, which took about 44 minutes on my Macbook Pro (2016 version), achieved using mlkit's `-j' feature for parallel compilation.

$ git clone https://github.com/melsman/mlton.git
$ cd mlton/mlton
$ make mlkit-mlton

(You probably need to alter the Makefile.config file to refer to a proper new version (> 4.6.1) of the MLKit)

For the compilation to succeed, I had to modify the sources slightly; in particular, I have hand-unfolded the functor applications in the main/compile.fun source file, so that the different parts of the compiler are compiled in isolation (this change also benefits the parallel compilation scheme).

The file mlkit-mlton-mael.mlb makes use of basis identifiers to structure the compilation and to specify the dependency graph - a more tight specification would benefit compilation time (decreased serialisation and deserialisation time) and parallel compilation.

Here is part of the output from the compilation (the pretty printing is slightly ugly due to the parallel compilation):

bash-3.2$ make clean-mael
/Library/Developer/CommandLineTools/usr/bin/make clean
"/Users/mael/gits/mlton/bin/clean" 
find .. -name 'MLB' | xargs rm -rf
bash-3.2$ time make mlkit-mlton 
(									\
		echo 'local';							\
		echo '../lib/stubs/mlkit/basis/sources.mlb';			\
		mlbdeps() { if [ -e "$1" ]; then mlton -stop f "$1"; else echo "$1"; fi; } && mlbdeps mlton.mlb | grep -v 'mlb$' | grep 'mlyacc'; 	\
		echo '../lib/stubs/mlkit/mlton/sources.mlb';			\
		mlbdeps() { if [ -e "$1" ]; then mlton -stop f "$1"; else echo "$1"; fi; } && mlbdeps ../lib/stubs/mlton-stubs/sources.mlb |		\
			grep -v 'mlb$' | 					\
			grep 'mlton-stubs';					\
		mlbdeps() { if [ -e "$1" ]; then mlton -stop f "$1"; else echo "$1"; fi; } && mlbdeps mlton.mlb |						\
			grep -v 'mlb$' |					\
			grep -v 'sml/basis' | 				\
			grep -v 'targets' |					\
			grep -v 'mlton-stubs' |				\
			grep -v 'mlyacc' |					\
			grep -v 'call-main.sml';				\
		echo 'in';							\
		echo 'call-main.sml';						\
		echo 'end';							\
	) > mlton-mlkit.mlb
rm -rf front-end/ml.lex.sml
cp -fpR front-end/ml.lex.sml.boot front-end/ml.lex.sml
chmod -w front-end/ml.lex.sml
rm -rf front-end/ml.grm.sig
cp -fpR front-end/ml.grm.sig.boot front-end/ml.grm.sig
chmod -w front-end/ml.grm.sig
rm -rf front-end/ml.grm.sml
cp -fpR front-end/ml.grm.sml.boot front-end/ml.grm.sml
chmod -w front-end/ml.grm.sml
rm -rf front-end/mlb.lex.sml
cp -fpR front-end/mlb.lex.sml.boot front-end/mlb.lex.sml
chmod -w front-end/mlb.lex.sml
rm -rf front-end/mlb.grm.sig
cp -fpR front-end/mlb.grm.sig.boot front-end/mlb.grm.sig
chmod -w front-end/mlb.grm.sig
rm -rf front-end/mlb.grm.sml
cp -fpR front-end/mlb.grm.sml.boot front-end/mlb.grm.sml
chmod -w front-end/mlb.grm.sml
sed -e "s/MLTON_NAME/MLton/" -e "s/MLTON_VERSION/20220112.205541-gb39a1205a-dirty/" < control/version_sml.src > control/version.sml
(cat control/version_sml.src; echo 'MLton' '20220112.205541-gb39a1205a-dirty'; cat control/version.sml) | openssl sha1 | sed 's/.*\([a-z0-9]\{40\}\).*/\1/' > control/version_sml.chk
SML_LIB=~/gits/mlkit ~/gits/mlkit/bin/mlkit -no_gc -o mlton-compile-mlkit -j 8 mlton-mlkit-mael.mlb
[reading source file:	../lib/stubs/mlkit/basis/../../common/basis/IEEE-real.sig[reading source file:	../lib/stubs/mlkit/mlton/../../common/mlton/process-via-fork-exec.sml]]
[reading source file:	../lib/stubs/mlkit/basis/../../common/basis/IEEE-real-dummy.sml
[wrote X64 code file:	../lib/stubs/mlkit/mlton/../../common/mlton/MLB/RI/process-via-fork-exec.sml.s]
][reading source file:	../lib/stubs/mlkit/mlton/mlton.sml
][wrote X64 code file:	../lib/stubs/mlkit/basis/../../common/basis/MLB/RI/IEEE-real-dummy.sml.s]
[reading source file:	../lib/stubs/mlkit/basis/../../common/basis/real.sig
[wrote X64 code file:	../lib/stubs/mlkit/mlton/MLB/RI/mlton.sml.s]
]
[reading source file:	../lib/stubs/mlkit/basis/real.sml]
[wrote X64 code file:	../lib/stubs/mlkit/basis/MLB/RI/real.sml.s]
[reading source file:	../lib/stubs/mlkit/basis/../../common/basis/real32-via-real.sml]
[reading source file:	../lib/stubs/mlkit/basis/../../common/basis/real64-via-real.sml]
[reading source file:	../lib/stubs/mlkit/basis/../../common/basis/pack-real32-dummy.sml]
[wrote X64 code file:	../lib/stubs/mlkit/basis/../../common/basis/MLB/RI/pack-real32-dummy.sml.s]
[reading source file:	../lib/stubs/mlkit/basis/../../common/basis/pack-real64-dummy.sml]
[wrote X64 code file:	../lib/stubs/mlkit/basis/../../common/basis/MLB/RI/pack-real64-dummy.sml.s]
[reading source file:	../lib/stubs/mlkit/basis/../../common/basis/pack-word64-dummy.sml]
[wrote X64 code file:	../lib/stubs/mlkit/basis/../../common/basis/MLB/RI/pack-word64-dummy.sml.s]
[reading source file:	../lib/stubs/mlkit/basis/timer.sml]
[wrote X64 code file:	../lib/stubs/mlkit/basis/MLB/RI/timer.sml.s]
[reading source file:	../lib/stubs/mlkit/basis/../../common/basis/unsafe.sig]
[reading source file:	../lib/stubs/mlkit/basis/../../common/basis/unsafe.sml]
[reading source file:	../lib/mlyacc-lib/base.sig[reading source file:	../lib/stubs/mlton-stubs/pre-mlton.sml]]

[wrote X64 code file:	../lib/stubs/mlton-stubs/MLB/RI/pre-mlton.sml.s]
[reading source file:	../lib/mlyacc-lib/join.sml[reading source file:	../lib/stubs/mlton-stubs/io.sig]]

[reading source file:	../lib/stubs/mlton-stubs/array.sig]
[reading source file:	../lib/stubs/mlton-stubs/exn.sig][reading source file:	../lib/mlyacc-lib/lrtable.sml
[reading source file:	../lib/stubs/mlton-stubs/gc.sig]]

[reading source file:	../lib/stubs/mlton-stubs/process.sig[wrote X64 code file:	../lib/mlyacc-lib/MLB/RI/lrtable.sml.s]
][reading source file:	../lib/mlyacc-lib/stream.sml
[reading source file:	../lib/stubs/mlton-stubs/profile.sig]]
[wrote X64 code file:	../lib/mlyacc-lib/MLB/RI/stream.sml.s]

[reading source file:	../lib/stubs/mlton-stubs/rusage.sig[reading source file:	../lib/mlyacc-lib/parser2.sml]]
[reading source file:	../lib/stubs/mlton-stubs/text-io.sig
]
[reading source file:	../lib/stubs/mlton-stubs/vector.sig]
[reading source file:	../lib/stubs/mlton-stubs/platform.sig]
[wrote X64 code file:	../lib/mlyacc-lib/MLB/RI/parser2.sml.s]
[reading source file:	../lib/stubs/mlton-stubs/platform.sml]
[wrote X64 code file:	../lib/stubs/mlton-stubs/MLB/RI/platform.sml.s]
[reading source file:	../lib/stubs/mlton-stubs/random.sig]
[reading source file:	../lib/stubs/mlton-stubs/random.sml]
[wrote X64 code file:	../lib/stubs/mlton-stubs/MLB/RI/random.sml.s]
[reading source file:	../lib/stubs/mlton-stubs/mlton-root.sig]
[reading source file:	../lib/stubs/mlton-stubs/mlton.sig]
[reading source file:	../lib/stubs/mlton-stubs/mlton.sml]
[compiling body of functor MkIO (from source mlton-mlkit-mael.mlb->mlton.sml) begin]
[wrote X64 code file:	../lib/stubs/mlton-stubs/MLB/RI/mlton.sml.code2.s]
[compiling body of functor MkIO end]
[wrote X64 code file:	../lib/stubs/mlton-stubs/MLB/RI/mlton.sml.code1.s]
[wrote X64 code file:	../lib/stubs/mlton-stubs/MLB/RI/mlton.sml.code3.s]
[reading source file:	../lib/mlton/pervasive/pervasive.sml]
[wrote X64 code file:	../lib/mlton/pervasive/MLB/RI/pervasive.sml.s]
[reading source file:	../lib/mlton/basic/error.sig]
[reading source file:	../lib/mlton/basic/error.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/error.sml.s]
[reading source file:	../lib/mlton/basic/assert.sig]
[reading source file:	../lib/mlton/basic/assert.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/assert.sml.s]
[reading source file:	../lib/mlton/basic/escape.sig]
[reading source file:	../lib/mlton/basic/escape.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/escape.sml.s]
[reading source file:	../lib/mlton/basic/fixed-point.sig]
[reading source file:	../lib/mlton/basic/fixed-point.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/fixed-point.sml.s]
[reading source file:	../lib/mlton/basic/exn0.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/exn0.sml.s]
[reading source file:	../lib/mlton/basic/outstream0.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/outstream0.sml.s]
[reading source file:	../lib/mlton/basic/relation0.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/relation0.sml.s]
[reading source file:	../lib/mlton/basic/char0.sig]
[reading source file:	../lib/mlton/basic/char0.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/char0.sml.s]
[reading source file:	../lib/mlton/basic/string0.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/string0.sml.s]
[reading source file:	../lib/mlton/basic/layout.sig]
[reading source file:	../lib/mlton/basic/layout.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/layout.sml.s]
[reading source file:	../lib/mlton/basic/function.sig]
[reading source file:	../lib/mlton/basic/function.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/function.sml.s]
[reading source file:	../lib/mlton/basic/t.sig]
[reading source file:	../lib/mlton/basic/relation.sig]
[reading source file:	../lib/mlton/basic/relation.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/relation.sml.s]
[reading source file:	../lib/mlton/basic/order0.sig]
[reading source file:	../lib/mlton/basic/order.sig]
[reading source file:	../lib/mlton/basic/unit.sig]
[reading source file:	../lib/mlton/basic/unit.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/unit.sml.s]
[reading source file:	../lib/mlton/basic/bool.sig]
[reading source file:	../lib/mlton/basic/bool.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/bool.sml.s]
[reading source file:	../lib/mlton/basic/exn.sig]
[reading source file:	../lib/mlton/basic/exn.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/exn.sml.s]
[reading source file:	../lib/mlton/basic/ref.sig]
[reading source file:	../lib/mlton/basic/ref.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/ref.sml.s]
[reading source file:	../lib/mlton/basic/option.sig]
[reading source file:	../lib/mlton/basic/option.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/option.sml.s]
[reading source file:	../lib/mlton/basic/result.sig]
[reading source file:	../lib/mlton/basic/result.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/result.sml.s]
[reading source file:	../lib/mlton/basic/promise.sig]
[reading source file:	../lib/mlton/basic/promise.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/promise.sml.s]
[reading source file:	../lib/mlton/basic/clearable-promise.sig]
[reading source file:	../lib/mlton/basic/clearable-promise.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/clearable-promise.sml.s]
[reading source file:	../lib/mlton/basic/list.sig]
[reading source file:	../lib/mlton/basic/fold.sig]
[reading source file:	../lib/mlton/basic/fold.fun]
[reading source file:	../lib/mlton/basic/list.sml]
[compiling body of functor Fold (from source mlton-mlkit-mael.mlb->fold.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/list.sml.code3.s]
[compiling body of functor Fold end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/list.sml.code1.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/list.sml.code4.s]
[reading source file:	../lib/mlton/basic/control.sig]
[reading source file:	../lib/mlton/basic/control.fun]
[reading source file:	../lib/mlton/basic/max-pow-2-that-divides.fun]
[reading source file:	../lib/mlton/basic/fix-word.fun]
[reading source file:	../lib/mlton/basic/word.sig]
[reading source file:	../lib/mlton/basic/word8.sml]
[compiling body of functor FixWord (from source mlton-mlkit-mael.mlb->fix-word.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/word8.sml.code2.s]
[compiling body of functor FixWord end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/word8.sml.code3.s]
[reading source file:	../lib/mlton/basic/word.sml]
[compiling body of functor FixWord (from source mlton-mlkit-mael.mlb->fix-word.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/word.sml.code2.s]
[compiling body of functor FixWord end]
[compiling body of functor MaxPow2ThatDivides (from source mlton-mlkit-mael.mlb->max-pow-2-that-divides.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/word.sml.code4.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/word.sml.code6.s]
[compiling body of functor MaxPow2ThatDivides end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/word.sml.code3.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/word.sml.code7.s]
[reading source file:	../lib/mlton/basic/string1.sml]
[compiling body of functor Fold (from source mlton-mlkit-mael.mlb->fold.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/string1.sml.code2.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/string1.sml.code3.s]
[compiling body of functor Fold end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/string1.sml.code4.s]
[reading source file:	../lib/mlton/basic/substring.sig]
[reading source file:	../lib/mlton/basic/substring.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/substring.sml.s]
[reading source file:	../lib/mlton/basic/outstream.sig]
[reading source file:	../lib/mlton/basic/outstream.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/outstream.sml.s]
[reading source file:	../lib/mlton/basic/time.sig]
[reading source file:	../lib/mlton/basic/time.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/time.sml.s]
[reading source file:	../lib/mlton/basic/date.sig]
[reading source file:	../lib/mlton/basic/date.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/date.sml.s]
[reading source file:	../lib/mlton/basic/instream0.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/instream0.sml.s]
[reading source file:	../lib/mlton/basic/computation.sig]
[reading source file:	../lib/mlton/basic/intermediate-computation.sig]
[reading source file:	../lib/mlton/basic/intermediate-computation.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/intermediate-computation.sml.s]
[reading source file:	../lib/mlton/basic/string-map.sig]
[reading source file:	../lib/mlton/basic/string-map.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/string-map.sml.s]
[reading source file:	../lib/mlton/basic/pid.sig]
[reading source file:	../lib/mlton/basic/pid.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/pid.sml.s]
[reading source file:	../lib/mlton/basic/trace.sig]
[reading source file:	../lib/mlton/basic/trace.sml]
[compiling body of functor TraceControl (from source mlton-mlkit-mael.mlb->trace.sml) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/trace.sml.code2.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/trace.sml.code4.s]
[compiling body of functor TraceControl end]
[compiling body of functor TraceControl (from source mlton-mlkit-mael.mlb->trace.sml) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/trace.sml.code5.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/trace.sml.code7.s]
[compiling body of functor TraceControl end]
[compiling body of functor TraceControl (from source mlton-mlkit-mael.mlb->trace.sml) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/trace.sml.code9.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/trace.sml.code11.s]
[compiling body of functor TraceControl end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/trace.sml.code1.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/trace.sml.code8.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/trace.sml.code12.s]
[reading source file:	../lib/mlton/basic/stream.sig]
[reading source file:	../lib/mlton/basic/stream.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/stream.sml.s]
[reading source file:	../lib/mlton/basic/ring.sig]
[reading source file:	../lib/mlton/basic/ring.fun]
[reading source file:	../lib/mlton/basic/ring-with-identity.sig]
[reading source file:	../lib/mlton/basic/power.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/power.sml.s]
[reading source file:	../lib/mlton/basic/ring-with-identity.fun]
[reading source file:	../lib/mlton/basic/euclidean-ring.sig]
[reading source file:	../lib/mlton/basic/euclidean-ring.fun]
[reading source file:	../lib/mlton/basic/ordered-ring.sig]
[reading source file:	../lib/mlton/basic/ordered-ring.fun]
[reading source file:	../lib/mlton/basic/integer.sig]
[reading source file:	../lib/mlton/basic/integer.fun]
[reading source file:	../lib/mlton/basic/int.sml]
[compiling body of functor Integer (from source mlton-mlkit-mael.mlb->integer.fun) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code4.s]
[compiling body of functor Ring end]
[compiling body of functor RingWithIdentity (from source mlton-mlkit-mael.mlb->ring-with-identity.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code5.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code6.s]
[compiling body of functor RingWithIdentity end]
[compiling body of functor OrderedRing (from source mlton-mlkit-mael.mlb->ordered-ring.fun) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code9.s]
[compiling body of functor Ring end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code7.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code10.s]
[compiling body of functor OrderedRing end]
[compiling body of functor EuclideanRing (from source mlton-mlkit-mael.mlb->euclidean-ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code12.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code13.s]
[compiling body of functor EuclideanRing end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code2.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code3.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code11.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code14.s]
[compiling body of functor Integer end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int.sml.code15.s]
[reading source file:	../lib/mlton/basic/int-inf.sig]
[reading source file:	../lib/mlton/basic/int-inf.sml]
[compiling body of functor Integer (from source mlton-mlkit-mael.mlb->integer.fun) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code3.s]
[compiling body of functor Ring end]
[compiling body of functor RingWithIdentity (from source mlton-mlkit-mael.mlb->ring-with-identity.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code4.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code5.s]
[compiling body of functor RingWithIdentity end]
[compiling body of functor OrderedRing (from source mlton-mlkit-mael.mlb->ordered-ring.fun) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code8.s]
[compiling body of functor Ring end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code6.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code9.s]
[compiling body of functor OrderedRing end]
[compiling body of functor EuclideanRing (from source mlton-mlkit-mael.mlb->euclidean-ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code11.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code12.s]
[compiling body of functor EuclideanRing end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code1.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code2.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code10.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code13.s]
[compiling body of functor Integer end]
[compiling body of functor MaxPow2ThatDivides (from source mlton-mlkit-mael.mlb->max-pow-2-that-divides.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code15.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code17.s]
[compiling body of functor MaxPow2ThatDivides end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/int-inf.sml.code14.s]
[reading source file:	../lib/mlton/basic/counter.sig]
[reading source file:	../lib/mlton/basic/counter.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/counter.sml.s]
[reading source file:	../lib/mlton/basic/field.sig]
[reading source file:	../lib/mlton/basic/field.fun]
[reading source file:	../lib/mlton/basic/ordered-field.sig]
[reading source file:	../lib/mlton/basic/ordered-field.fun]
[reading source file:	../lib/mlton/basic/real.sig]
[reading source file:	../lib/mlton/basic/real.sml]
[compiling body of functor Real (from source mlton-mlkit-mael.mlb->real.sml) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code3.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code4.s]
[compiling body of functor Ring end]
[compiling body of functor RingWithIdentity (from source mlton-mlkit-mael.mlb->ring-with-identity.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code6.s]
[compiling body of functor RingWithIdentity end]
[compiling body of functor OrderedRing (from source mlton-mlkit-mael.mlb->ordered-ring.fun) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code9.s]
[compiling body of functor Ring end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code7.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code10.s]
[compiling body of functor OrderedRing end]
[compiling body of functor OrderedField (from source mlton-mlkit-mael.mlb->ordered-field.fun) begin]
[compiling body of functor Field (from source mlton-mlkit-mael.mlb->field.fun) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code12.s]
[compiling body of functor Ring end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code13.s]
[compiling body of functor Field end]
[compiling body of functor OrderedRing (from source mlton-mlkit-mael.mlb->ordered-ring.fun) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code15.s]
[compiling body of functor Ring end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code16.s]
[compiling body of functor OrderedRing end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code11.s]
[compiling body of functor OrderedField end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code1.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code18.s]
[compiling body of functor Real end]
[compiling body of functor Real (from source mlton-mlkit-mael.mlb->real.sml) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code22.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code23.s]
[compiling body of functor Ring end]
[compiling body of functor RingWithIdentity (from source mlton-mlkit-mael.mlb->ring-with-identity.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code25.s]
[compiling body of functor RingWithIdentity end]
[compiling body of functor OrderedRing (from source mlton-mlkit-mael.mlb->ordered-ring.fun) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code28.s]
[compiling body of functor Ring end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code26.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code29.s]
[compiling body of functor OrderedRing end]
[compiling body of functor OrderedField (from source mlton-mlkit-mael.mlb->ordered-field.fun) begin]
[compiling body of functor Field (from source mlton-mlkit-mael.mlb->field.fun) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code31.s]
[compiling body of functor Ring end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code32.s]
[compiling body of functor Field end]
[compiling body of functor OrderedRing (from source mlton-mlkit-mael.mlb->ordered-ring.fun) begin]
[compiling body of functor Ring (from source mlton-mlkit-mael.mlb->ring.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code34.s]
[compiling body of functor Ring end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code35.s]
[compiling body of functor OrderedRing end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code30.s]
[compiling body of functor OrderedField end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code20.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/real.sml.code37.s]
[compiling body of functor Real end]
[reading source file:	../lib/mlton/basic/random.sig]
[reading source file:	../lib/mlton/basic/random.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/random.sml.s]
[reading source file:	../lib/mlton/basic/vector.sig]
[reading source file:	../lib/mlton/basic/vector.fun]
[reading source file:	../lib/mlton/basic/vector.sml]
[compiling body of functor Vector (from source mlton-mlkit-mael.mlb->vector.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/vector.sml.code1.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/vector.sml.code2.s]
[compiling body of functor Vector end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/vector.sml.code3.s]
[reading source file:	../lib/mlton/basic/mono-vector.fun]
[reading source file:	../lib/mlton/basic/array.sig]
[reading source file:	../lib/mlton/basic/array.fun]
[reading source file:	../lib/mlton/basic/array.sml]
[compiling body of functor Array (from source mlton-mlkit-mael.mlb->array.fun) begin]
[compiling body of functor Vector (from source mlton-mlkit-mael.mlb->vector.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/array.sml.code3.s]
[compiling body of functor Vector end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/array.sml.code1.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/array.sml.code5.s]
[compiling body of functor Array end]
[reading source file:	../lib/mlton/basic/array2.sig]
[reading source file:	../lib/mlton/basic/array2.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/array2.sml.s]
[reading source file:	../lib/mlton/basic/insertion-sort.sig]
[reading source file:	../lib/mlton/basic/insertion-sort.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/insertion-sort.sml.s]
[reading source file:	../lib/mlton/basic/quick-sort.sig]
[reading source file:	../lib/mlton/basic/quick-sort.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/quick-sort.sml.s]
[reading source file:	../lib/mlton/basic/binary-search.sig]
[reading source file:	../lib/mlton/basic/binary-search.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/binary-search.sml.s]
[reading source file:	../lib/mlton/basic/append-list.sig]
[reading source file:	../lib/mlton/basic/append-list.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/append-list.sml.s]
[reading source file:	../lib/mlton/basic/het-container.sig]
[reading source file:	../lib/mlton/basic/het-container.fun]
[reading source file:	../lib/mlton/basic/property-list.sig]
[reading source file:	../lib/mlton/basic/property-list.fun]
[reading source file:	../lib/mlton/basic/property.sig]
[reading source file:	../lib/mlton/basic/property.fun]
[compiling body of functor ExnHetContainer (from source mlton-mlkit-mael.mlb->het-container.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/property.fun.code2.s]
[compiling body of functor ExnHetContainer end]
[compiling body of functor ExnHetContainer (from source mlton-mlkit-mael.mlb->het-container.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/property.fun.code4.s]
[compiling body of functor ExnHetContainer end]
[compiling body of functor PropertyList (from source mlton-mlkit-mael.mlb->property-list.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/property.fun.code5.s]
[compiling body of functor PropertyList end]
[compiling body of functor Property (from source mlton-mlkit-mael.mlb->property.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/property.fun.code6.s]
[compiling body of functor Property end]
[reading source file:	../lib/mlton/basic/hash.sig]
[reading source file:	../lib/mlton/basic/hash.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/hash.sml.s]
[reading source file:	../lib/mlton/basic/hash-set.sig]
[reading source file:	../lib/mlton/basic/hash-set.sml]
[compiling body of functor Fold (from source mlton-mlkit-mael.mlb->fold.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/hash-set.sml.code2.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/hash-set.sml.code3.s]
[compiling body of functor Fold end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/hash-set.sml.code1.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/hash-set.sml.code5.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/hash-set.sml.code6.s]
[reading source file:	../lib/mlton/basic/hash-table.sig]
[reading source file:	../lib/mlton/basic/hash-table.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/hash-table.sml.s]
[reading source file:	../lib/mlton/basic/char.sig]
[reading source file:	../lib/mlton/basic/char.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/char.sml.s]
[reading source file:	../lib/mlton/basic/string.sig]
[reading source file:	../lib/mlton/basic/string.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/string.sml.s]
[reading source file:	../lib/mlton/basic/instream.sig]
[reading source file:	../lib/mlton/basic/instream.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/instream.sml.s]
[reading source file:	../lib/mlton/basic/buffer.sig]
[reading source file:	../lib/mlton/basic/buffer.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/buffer.sml.s]
[reading source file:	../lib/mlton/basic/env.sig]
[reading source file:	../lib/mlton/basic/env.fun]
[reading source file:	../lib/mlton/basic/queue.sig]
[reading source file:	../lib/mlton/basic/two-list-queue.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/two-list-queue.sml.s]
[reading source file:	../lib/mlton/basic/unique-id.sig]
[reading source file:	../lib/mlton/basic/unique-id.fun]
[reading source file:	../lib/mlton/basic/unique-set.sig]
[reading source file:	../lib/mlton/basic/unique-set.fun]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/unique-set.fun.s]
[reading source file:	../lib/mlton/basic/file.sig]
[reading source file:	../lib/mlton/basic/file.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/file.sml.s]
[reading source file:	../lib/mlton/basic/dir.sig]
[reading source file:	../lib/mlton/basic/dir.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/dir.sml.s]
[reading source file:	../lib/mlton/basic/file-desc.sig]
[reading source file:	../lib/mlton/basic/file-desc.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/file-desc.sml.s]
[reading source file:	../lib/mlton/basic/process.sig]
[reading source file:	../lib/mlton/basic/process.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/process.sml.s]
[reading source file:	../lib/mlton/basic/command-line.sig]
[reading source file:	../lib/mlton/basic/command-line.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/command-line.sml.s]
[reading source file:	../lib/mlton/basic/justify.sig]
[reading source file:	../lib/mlton/basic/justify.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/justify.sml.s]
[reading source file:	../lib/mlton/basic/popt.sig]
[reading source file:	../lib/mlton/basic/popt.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/popt.sml.s]
[reading source file:	../lib/mlton/basic/choice-pattern.sig]
[reading source file:	../lib/mlton/basic/choice-pattern.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/choice-pattern.sml.s]
[reading source file:	../lib/mlton/basic/dot-color.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/dot-color.sml.s]
[reading source file:	../lib/mlton/basic/dot.sig]
[reading source file:	../lib/mlton/basic/dot.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/dot.sml.s]
[reading source file:	../lib/mlton/basic/tree.sig]
[reading source file:	../lib/mlton/basic/tree.sml]
[compiling body of functor Tree (from source mlton-mlkit-mael.mlb->tree.sml) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/tree.sml.code1.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/tree.sml.code2.s]
[compiling body of functor Tree end]
[reading source file:	../lib/mlton/basic/directed-graph.sig]
[reading source file:	../lib/mlton/basic/directed-graph.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/directed-graph.sml.s]
[reading source file:	../lib/mlton/basic/sexp.sig]
[reading source file:	../lib/mlton/basic/sexp.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/sexp.sml.s]
[reading source file:	../lib/mlton/basic/parse-sexp.sig]
[reading source file:	../lib/mlton/basic/parse-sexp.fun]
[compiling body of functor ParseSexp (from source mlton-mlkit-mael.mlb->parse-sexp.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/parse-sexp.fun.code2.s]
[compiling body of functor ParseSexp end]
[reading source file:	../lib/mlton/basic/regexp.sig]
[reading source file:	../lib/mlton/basic/regexp.sml]
[compiling body of functor MonoVector (from source mlton-mlkit-mael.mlb->mono-vector.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/regexp.sml.code3.s]
[compiling body of functor MonoVector end]
[compiling body of functor Env (from source mlton-mlkit-mael.mlb->env.fun) begin]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/regexp.sml.code4.s]
[compiling body of functor Env end]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/regexp.sml.code1.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/regexp.sml.code2.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/regexp.sml.code5.s]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/regexp.sml.code6.s]
[reading source file:	../lib/mlton/basic/parse.sig]
[reading source file:	../lib/mlton/basic/parse.sml]
[wrote X64 code file:	../lib/mlton/basic/MLB/RI/parse.sml.s]
[reading source file:	../lib/mlton/set/disjoint.sig]
[reading source file:	../lib/mlton/set/disjoint.fun]
[compiling body of functor DisjointSet (from source mlton-mlkit-mael.mlb->disjoint.fun) begin]
[wrote X64 code file:	../lib/mlton/set/MLB/RI/disjoint.fun.code2.s]
[compiling body of functor DisjointSet end]
[reading source file:	../lib/mlton/set/set.sig]
[reading source file:	../lib/mlton/set/unordered.fun]
[reading source file:	../lib/mlton/set/ordered-unique-set.fun]
[reading source file:	../lib/mlton/env/mono-env.sig]
[reading source file:	../lib/mlton/env/basic-env-to-env.fun]
[reading source file:	../lib/mlton/env/mono-env.fun]
[reading source file:	../lib/mlton/env/finite-function.sig]
[reading source file:	../lib/mlton/env/poly-cache.sig]
[reading source file:	../lib/mlton/env/poly-cache.fun]
[compiling body of functor PolyCache (from source mlton-mlkit-mael.mlb->poly-cache.fun) begin]
[wrote X64 code file:	../lib/mlton/env/MLB/RI/poly-cache.fun.code2.s]
[compiling body of functor PolyCache end]
[reading source file:	../lib/mlton/lattice/flat-lattice.sig]
[reading source file:	../lib/mlton/lattice/flat-lattice.fun]
[reading source file:	../lib/mlton/lattice/n-point-lattice.sig]
[reading source file:	../lib/mlton/lattice/n-point-lattice.fun]
[reading source file:	../lib/mlton/lattice/powerset-lattice.sig]
[reading source file:	../lib/mlton/lattice/powerset-lattice.fun]
[reading source file:	../lib/mlton/lattice/two-point-lattice.sig]
[reading source file:	../lib/mlton/lattice/two-point-lattice.fun]
[reading source file:	../lib/mlton/lattice/three-point-lattice.sig]
[reading source file:	../lib/mlton/lattice/three-point-lattice.fun]
[reading source file:	control/bits.sml]
[wrote X64 code file:	control/MLB/RI/bits.sml.s]
[reading source file:	control/scale.sml]
[wrote X64 code file:	control/MLB/RI/scale.sml.s]
[reading source file:	control/control-flags.sig]
[reading source file:	control/control-flags.sml]
[compiling body of functor Control (from source mlton-mlkit-mael.mlb->control.fun) begin]
[wrote X64 code file:	control/MLB/RI/control-flags.sml.code3.s]
[compiling body of functor Control end]
[wrote X64 code file:	control/MLB/RI/control-flags.sml.code1.s]
[wrote X64 code file:	control/MLB/RI/control-flags.sml.code4.s]
[reading source file:	control/source-pos.sig]
[reading source file:	control/source-pos.sml]
[wrote X64 code file:	control/MLB/RI/source-pos.sml.s]
[reading source file:	control/region.sig]
[reading source file:	control/region.sml]
[wrote X64 code file:	control/MLB/RI/region.sml.s]
[reading source file:	control/wrapped.sig]
[reading source file:	control/source.sig]
[reading source file:	control/source.sml]
[wrote X64 code file:	control/MLB/RI/source.sml.s]
[reading source file:	control/version.sml]
[wrote X64 code file:	control/MLB/RI/version.sml.s]
[reading source file:	control/control.sig]
[reading source file:	control/control.sml]
[wrote X64 code file:	control/MLB/RI/control.sml.s]
[reading source file:	control/system.sig]
[reading source file:	control/system.sml]
[wrote X64 code file:	control/MLB/RI/system.sml.s]
[reading source file:	control/pretty.sig]
[reading source file:	control/pretty.sml]
[wrote X64 code file:	control/MLB/RI/pretty.sml.s]
[reading source file:	atoms/layout-pretty.sml]
[wrote X64 code file:	atoms/MLB/RI/layout-pretty.sml.s]
[reading source file:	atoms/char-size.sig]
[reading source file:	atoms/char-size.fun]
[reading source file:	atoms/int-size.sig]
[reading source file:	atoms/int-size.fun]
[reading source file:	atoms/real-size.sig]
[reading source file:	atoms/real-size.fun]
[reading source file:	atoms/word-size.sig]
[reading source file:	atoms/word-size.fun]
[reading source file:	atoms/word-x.sig]
[reading source file:	atoms/word-x.fun]
[reading source file:	atoms/word-x-vector.sig]
[reading source file:	atoms/word-x-vector.fun]
[reading source file:	atoms/real-x.sig]
[reading source file:	atoms/real-x.fun]
[reading source file:	atoms/c-symbol-scope.sig]
[reading source file:	atoms/c-symbol-scope.fun]
[reading source file:	atoms/c-type.sig]
[reading source file:	atoms/c-type.fun]
[reading source file:	atoms/c-symbol.sig]
[reading source file:	atoms/c-symbol.fun]
[reading source file:	atoms/c-function.sig]
[reading source file:	atoms/c-function.fun]
[reading source file:	atoms/const.sig]
[reading source file:	atoms/const.fun]
[reading source file:	atoms/symbol.sig]
[reading source file:	atoms/symbol.fun]
[reading source file:	atoms/field.sig]
[reading source file:	atoms/field.fun]
[reading source file:	atoms/record.sig]
[reading source file:	atoms/record.fun]
[reading source file:	atoms/id.sig]
[reading source file:	atoms/id.fun]
[wrote X64 code file:	atoms/MLB/RI/id.fun.s]
[reading source file:	atoms/tyvar.sig]
[reading source file:	atoms/tyvar.fun]
[reading source file:	atoms/admits-equality.sig]
[reading source file:	atoms/admits-equality.fun]
[reading source file:	atoms/tycon-kind.sig]
[reading source file:	atoms/tycon-kind.fun]
[reading source file:	atoms/prim-tycons.sig]
[reading source file:	atoms/prim-tycons.fun]
[reading source file:	atoms/tycon.sig]
[reading source file:	atoms/tycon.fun]
[reading source file:	atoms/prim-cons.sig]
[reading source file:	atoms/prim-cons.fun]
[reading source file:	atoms/con-.sig]
[reading source file:	atoms/con-.fun]
[reading source file:	atoms/var.sig]
[reading source file:	atoms/var.fun]
[reading source file:	atoms/func.sig]
[reading source file:	atoms/label.sig]
[reading source file:	atoms/ffi.sig]
[reading source file:	atoms/ffi.fun]
[reading source file:	atoms/cases.sig]
[reading source file:	atoms/cases.fun]
[reading source file:	atoms/prim.sig]
[reading source file:	atoms/prim.fun]
[reading source file:	atoms/prod.sig]
[reading source file:	atoms/prod.fun]
[reading source file:	atoms/handler.sig]
[reading source file:	atoms/handler.fun]
[reading source file:	atoms/return.sig]
[reading source file:	atoms/return.fun]
[reading source file:	atoms/source-info.sig]
[reading source file:	atoms/source-info.fun]
[reading source file:	atoms/profile-exp.sig]
[reading source file:	atoms/profile-exp.fun]
[reading source file:	atoms/source-maps.sig]
[reading source file:	atoms/source-maps.fun]
[reading source file:	atoms/atoms.sig]
[reading source file:	atoms/atoms.fun]
[reading source file:	atoms/generic-scheme.sig]
[reading source file:	atoms/generic-scheme.fun]
[reading source file:	atoms/type-ops.sig]
[reading source file:	atoms/type-ops.fun]
[reading source file:	atoms/hash-type.sig]
[reading source file:	atoms/hash-type.fun]
[reading source file:	atoms/atoms-structure.sml]
[compiling body of functor Atoms (from source mlton-mlkit-mael.mlb->atoms.fun) begin]
[compiling body of functor CharSize (from source mlton-mlkit-mael.mlb->char-size.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code2.s]
[compiling body of functor CharSize end]
[compiling body of functor IntSize (from source mlton-mlkit-mael.mlb->int-size.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code3.s]
[compiling body of functor IntSize end]
[compiling body of functor RealSize (from source mlton-mlkit-mael.mlb->real-size.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code4.s]
[compiling body of functor RealSize end]
[compiling body of functor WordSize (from source mlton-mlkit-mael.mlb->word-size.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code5.s]
[compiling body of functor WordSize end]
[compiling body of functor WordX (from source mlton-mlkit-mael.mlb->word-x.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code7.s]
[compiling body of functor WordX end]
[compiling body of functor WordXVector (from source mlton-mlkit-mael.mlb->word-x-vector.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code9.s]
[compiling body of functor WordXVector end]
[compiling body of functor RealX (from source mlton-mlkit-mael.mlb->real-x.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code11.s]
[compiling body of functor RealX end]
[compiling body of functor CSymbolScope (from source mlton-mlkit-mael.mlb->c-symbol-scope.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code12.s]
[compiling body of functor CSymbolScope end]
[compiling body of functor CType (from source mlton-mlkit-mael.mlb->c-type.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code14.s]
[compiling body of functor CType end]
[compiling body of functor CFunction (from source mlton-mlkit-mael.mlb->c-function.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code16.s]
[compiling body of functor CFunction end]
[compiling body of functor CSymbol (from source mlton-mlkit-mael.mlb->c-symbol.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code18.s]
[compiling body of functor CSymbol end]
[compiling body of functor Const (from source mlton-mlkit-mael.mlb->const.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code20.s]
[compiling body of functor Const end]
[compiling body of functor Symbol (from source mlton-mlkit-mael.mlb->symbol.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code21.s]
[compiling body of functor Symbol end]
[compiling body of functor Field (from source mlton-mlkit-mael.mlb->field.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code23.s]
[compiling body of functor Field end]
[compiling body of functor Record (from source mlton-mlkit-mael.mlb->record.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code24.s]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code25.s]
[compiling body of functor Record end]
[compiling body of functor Record (from source mlton-mlkit-mael.mlb->record.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code26.s]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code27.s]
[compiling body of functor Record end]
[compiling body of functor Tyvar (from source mlton-mlkit-mael.mlb->tyvar.fun) begin]
[compiling body of functor Id (from source mlton-mlkit-mael.mlb->id.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code29.s]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code30.s]
[compiling body of functor Id end]
[compiling body of functor Tyvar end]
[compiling body of functor AdmitsEquality (from source mlton-mlkit-mael.mlb->admits-equality.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code32.s]
[compiling body of functor AdmitsEquality end]
[compiling body of functor TyconKind (from source mlton-mlkit-mael.mlb->tycon-kind.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code33.s]
[compiling body of functor TyconKind end]
[compiling body of functor Tycon (from source mlton-mlkit-mael.mlb->tycon.fun) begin]
[compiling body of functor Id (from source mlton-mlkit-mael.mlb->id.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code36.s]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code37.s]
[compiling body of functor Id end]
[compiling body of functor PrimTycons (from source mlton-mlkit-mael.mlb->prim-tycons.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code40.s]
[compiling body of functor PrimTycons end]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code41.s]
[compiling body of functor Tycon end]
[compiling body of functor Con (from source mlton-mlkit-mael.mlb->con-.fun) begin]
[compiling body of functor Id (from source mlton-mlkit-mael.mlb->id.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code43.s]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code44.s]
[compiling body of functor Id end]
[compiling body of functor PrimCons (from source mlton-mlkit-mael.mlb->prim-cons.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code46.s]
[compiling body of functor PrimCons end]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code47.s]
[compiling body of functor Con end]
[compiling body of functor Var (from source mlton-mlkit-mael.mlb->var.fun) begin]
[compiling body of functor Id (from source mlton-mlkit-mael.mlb->id.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code49.s]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code50.s]
[compiling body of functor Id end]
[compiling body of functor Var end]
[compiling body of functor Ffi (from source mlton-mlkit-mael.mlb->ffi.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code54.s]
[compiling body of functor Ffi end]
[compiling body of functor Cases (from source mlton-mlkit-mael.mlb->cases.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code56.s]
[compiling body of functor Cases end]
[compiling body of functor Prim (from source mlton-mlkit-mael.mlb->prim.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code58.s]
[compiling body of functor Prim end]
[compiling body of functor Prod (from source mlton-mlkit-mael.mlb->prod.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code59.s]
[compiling body of functor Prod end]
[compiling body of functor Handler (from source mlton-mlkit-mael.mlb->handler.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code61.s]
[compiling body of functor Handler end]
[compiling body of functor Return (from source mlton-mlkit-mael.mlb->return.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code63.s]
[compiling body of functor Return end]
[compiling body of functor SourceInfo (from source mlton-mlkit-mael.mlb->source-info.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code64.s]
[compiling body of functor SourceInfo end]
[compiling body of functor ProfileExp (from source mlton-mlkit-mael.mlb->profile-exp.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code66.s]
[compiling body of functor ProfileExp end]
[compiling body of functor SourceMaps (from source mlton-mlkit-mael.mlb->source-maps.fun) begin]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code67.s]
[compiling body of functor SourceMaps end]
[wrote X64 code file:	atoms/MLB/RI/atoms-structure.sml.code52.s]
[compiling body of functor Atoms end]
[reading source file:	ast/ast-const.sig[reading source file:	ssa/equatable.sig[reading source file:	xml/xml-type.sig[reading source file:	core-ml/core-ml.sig[reading source file:	match-compile/nested-pat.sig]]]]]

[reading source file:	ssa/equatable.sml
[reading source file:	ast/ast-const.fun

[reading source file:	xml/xml-tree.sig]]
[wrote X64 code file:	ssa/MLB/RI/equatable.sml.s]
[reading source file:	ssa/ssa-tree.sig][reading source file:	match-compile/nested-pat.fun
[reading source file:	core-ml/core-ml.fun[reading source file:	ast/ast-id.sig]]
]]
[reading source file:	ast/ast-id.fun


]
[reading source file:	xml/xml-tree.fun[reading source file:	ssa/ssa-tree2.sig[reading source file:	ast/longid.sig]]]
[reading source file:	ast/longid.fun]
[reading source file:	match-compile/match-compile.sig

[reading source file:	ast/ast-atoms.sig[reading source file:	ssa/ssa-tree.fun][reading source file:	core-ml/dead-code.sig
]]]

[reading source file:	ast/ast-atoms.fun][reading source file:	core-ml/dead-code.fun

][reading source file:	match-compile/match-compile.fun
]
[reading source file:	ast/ast-core.sig]
[reading source file:	ast/ast-core.fun][reading source file:	ssa/ssa-tree2.fun
[reading source file:	xml/type-check.sig][reading source file:	ast/ast-modules.sig]
]
[reading source file:	ast/ast-modules.fun
][reading source file:	xml/type-check.fun
]
[reading source file:	ssa/direct-exp.sig]
[reading source file:	ast/ast-programs.sig][reading source file:	ssa/direct-exp.fun
[reading source file:	ast/ast-programs.fun]]

[reading source file:	xml/scc-funs.sig]
[reading source file:	ssa/analyze.sig]
[reading source file:	ssa/analyze2.sig[reading source file:	ast/ast-mlbs.sig[reading source file:	xml/scc-funs.fun]]

][reading source file:	ast/ast-mlbs.fun[reading source file:	ssa/analyze.fun
]]

[reading source file:	ssa/analyze2.fun]
[reading source file:	xml/shrink.sig[reading source file:	ast/ast.sig]]
[reading source file:	ast/ast.fun
[reading source file:	ssa/type-check.sig]]

[reading source file:	xml/shrink.fun[reading source file:	ssa/type-check2.sig]]
[reading source file:	ssa/type-check.fun
]
[reading source file:	ast/ast-structure.sml[reading source file:	ssa/type-check2.fun]]
[compiling body of functor Ast (from source mlton-mlkit-mael.mlb->ast.fun) begin]
[compiling body of functor AstMLBs (from source mlton-mlkit-mael.mlb->ast-mlbs.fun) begin]
[compiling body of functor AstPrograms (from source mlton-mlkit-mael.mlb->ast-programs.fun) begin]
[compiling body of functor AstModules (from source mlton-mlkit-mael.mlb->ast-modules.fun) begin]
[compiling body of functor AstAtoms (from source mlton-mlkit-mael.mlb->ast-atoms.fun) begin]
[compiling body of functor AstConst (from source mlton-mlkit-mael.mlb->ast-const.fun) begin]

[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code7.s]
[compiling body of functor AstConst end]
[compiling body of functor AstId (from source mlton-mlkit-mael.mlb->ast-id.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code9.s]
[compiling body of functor AstId end]
[compiling body of functor AstId (from source mlton-mlkit-mael.mlb->ast-id.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code12.s]
[compiling body of functor AstId end]
[compiling body of functor PrimTycons (from source mlton-mlkit-mael.mlb->prim-tycons.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code14.s]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code15.s]
[compiling body of functor PrimTycons end]
[compiling body of functor AstId (from source mlton-mlkit-mael.mlb->ast-id.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code18.s]
[compiling body of functor AstId end]
[compiling body of functor AstId (from source mlton-mlkit-mael.mlb->ast-id.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code20.s]
[compiling body of functor AstId end]
[compiling body of functor PrimCons (from source mlton-mlkit-mael.mlb->prim-cons.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code22.s]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code23.s]
[compiling body of functor PrimCons end]
[compiling body of functor AstId (from source mlton-mlkit-mael.mlb->ast-id.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code26.s]
[compiling body of functor AstId end]
[compiling body of functor AstId (from source mlton-mlkit-mael.mlb->ast-id.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code28.s]
[compiling body of functor AstId end]
[compiling body of functor AstId (from source mlton-mlkit-mael.mlb->ast-id.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code30.s]
[compiling body of functor AstId end]
[compiling body of functor AstId (from source mlton-mlkit-mael.mlb->ast-id.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code33.s]
[compiling body of functor AstId end]
[compiling body of functor AstId (from source mlton-mlkit-mael.mlb->ast-id.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code35.s]
[compiling body of functor AstId end]
[compiling body of functor Longid (from source mlton-mlkit-mael.mlb->longid.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code38.s]
[compiling body of functor Longid end]
[compiling body of functor Longid (from source mlton-mlkit-mael.mlb->longid.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code41.s]
[compiling body of functor Longid end]
[compiling body of functor Longid (from source mlton-mlkit-mael.mlb->longid.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code43.s]
[compiling body of functor Longid end]
[compiling body of functor Longid (from source mlton-mlkit-mael.mlb->longid.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code46.s]
[compiling body of functor Longid end]
[compiling body of functor Longid (from source mlton-mlkit-mael.mlb->longid.fun) begin]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code48.s]
[compiling body of functor Longid end]
[reading source file:	ssa/prepasses.sig[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code10.s]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code24.s]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code31.s]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code36.s]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code39.s]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code49.s]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code50.s]
[compiling body of functor AstAtoms end]
[compiling body of functor AstCore (from source mlton-mlkit-mael.mlb->ast-core.fun) begin]
]
[reading source file:	xml/xml-transform.sig[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code51.s]
[compiling body of functor AstCore end]
[reading source file:	ssa/prepasses2.sig[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code52.s]
][compiling body of functor AstModules end]
[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code53.s]
[compiling body of functor AstPrograms end]

[wrote X64 code file:	ast/MLB/RI/ast-structure.sml.code54.s]
[compiling body of functor AstMLBs end]
[compiling body of functor Ast end]
]
[reading source file:	ssa/prepasses.fun[reading source file:	elaborate/decs.sig[reading source file:	front-end/ml.grm.sig[reading source file:	xml/simplify-types.sig]]
[reading source file:	front-end/ml.grm.sml]
]
]
[reading source file:	elaborate/decs.fun
]
[reading source file:	ssa/prepasses2.fun[reading source file:	front-end/ml.lex.sml]]

[reading source file:	elaborate/type-env.sig[reading source file:	front-end/front-end.sig[reading source file:	xml/simplify-types.fun]]

[reading source file:	front-end/front-end.fun][reading source file:	ssa/shrink.sig][reading source file:	elaborate/type-env.fun
]]

[reading source file:	ssa/shrink2.sig
]
[reading source file:	ssa/shrink.fun[reading source file:	front-end/mlb.grm.sig]
[reading source file:	front-end/mlb.grm.sml][reading source file:	elaborate/interface.sig]]

[reading source file:	elaborate/interface.fun
[reading source file:	front-end/mlb.lex.sml]]

[reading source file:	front-end/mlb-front-end.sig[reading source file:	ssa/shrink2.fun]
[reading source file:	elaborate/elaborate-env.sig[reading source file:	front-end/mlb-front-end.fun]]]


[reading source file:	xml/xml-simplify.sig]
[reading source file:	front-end/front-end-structures.sml[reading source file:	elaborate/elaborate-env.fun[reading source file:	xml/xml-simplify.fun][reading source file:	ssa/restore.sig]]
[compiling body of functor FrontEnd (from source mlton-mlkit-mael.mlb->front-end.fun) begin]
][compiling body of functor MLLrValsFun (from source mlton-mlkit-mael.mlb->ml.grm.sml) begin]


[reading source file:	ssa/restore.fun
]
[wrote X64 code file:	front-end/MLB/RI/front-end-structures.sml.code5.s]
[compiling body of functor MLLrValsFun end]
[compiling body of functor MLLexFun (from source mlton-mlkit-mael.mlb->ml.lex.sml) begin]
[reading source file:	ssa/ssa-transform.sig]
[reading source file:	ssa/ssa2-transform.sig]
[reading source file:	ssa/common-arg.fun]
[reading source file:	xml/xml.sig]
[wrote X64 code file:	front-end/MLB/RI/front-end-structures.sml.code8.s]
[reading source file:	ssa/common-block.fun[reading source file:	elaborate/precedence-parse.sig[compiling body of functor MLLexFun end]
[compiling body of functor JoinWithArg (from source mlton-mlkit-mael.mlb->join.sml) begin]
[wrote X64 code file:	front-end/MLB/RI/front-end-structures.sml.code11.s]
[compiling body of functor JoinWithArg end]
[reading source file:	xml/xml.fun[wrote X64 code file:	front-end/MLB/RI/front-end-structures.sml.code12.s]
[compiling body of functor FrontEnd end]
[compiling body of functor MLBFrontEnd (from source mlton-mlkit-mael.mlb->mlb-front-end.fun) begin]
[compiling body of functor MLBLrValsFun (from source mlton-mlkit-mael.mlb->mlb.grm.sml) begin]
[wrote X64 code file:	front-end/MLB/RI/front-end-structures.sml.code15.s]
[wrote X64 code file:	front-end/MLB/RI/front-end-structures.sml.code17.s]
[compiling body of functor MLBLrValsFun end]
[compiling body of functor MLBLexFun (from source mlton-mlkit-mael.mlb->mlb.lex.sml) begin]
]]]


[wrote X64 code file:	front-end/MLB/RI/front-end-structures.sml.code20.s]
[compiling body of functor MLBLexFun end]
[compiling body of functor JoinWithArg (from source mlton-mlkit-mael.mlb->join.sml) begin]
[wrote X64 code file:	front-end/MLB/RI/front-end-structures.sml.code23.s]
[compiling body of functor JoinWithArg end]
[wrote X64 code file:	front-end/MLB/RI/front-end-structures.sml.code14.s]
[wrote X64 code file:	front-end/MLB/RI/front-end-structures.sml.code24.s]
[compiling body of functor MLBFrontEnd end]
[reading source file:	ssa/common-subexp.fun]
[reading source file:	elaborate/precedence-parse.fun]
[reading source file:	ssa/global.sig]
[reading source file:	ssa/global.fun]
[reading source file:	ssa/multi.sig]
[reading source file:	ssa/multi.fun]
[reading source file:	elaborate/scope.sig]
[reading source file:	elaborate/scope.fun[reading source file:	ssa/combine-conversions.fun]
]
[reading source file:	elaborate/elaborate-core.sig][reading source file:	ssa/constant-propagation.fun
]
[reading source file:	elaborate/elaborate-core.fun][reading source file:	ssa/contify.fun]

[reading source file:	ssa/deep-flatten.fun][reading source file:	xml/sxml-exns.sig
]
[reading source file:	xml/monomorphise.sig[reading source file:	ssa/duplicate-globals.fun]
]
[reading source file:	ssa/flatten.fun][reading source file:	xml/monomorphise.fun
]
[reading source file:	ssa/inline.sig]
[reading source file:	ssa/inline.fun]
[reading source file:	ssa/introduce-loops.fun][reading source file:	elaborate/elaborate-sigexp.sig
]
[reading source file:	ssa/known-case.fun[reading source file:	xml/sxml-tree.sig]]
[reading source file:	xml/implement-exceptions.fun
[reading source file:	elaborate/elaborate-sigexp.fun]
[reading source file:	ssa/local-flatten.fun]
]
[reading source file:	ssa/local-ref.fun[reading source file:	xml/implement-suffix.fun]]

[reading source file:	xml/polyvariance.fun[reading source file:	ssa/loop-invariant.fun[reading source file:	elaborate/elaborate-modules.sig]]
]

[reading source file:	ssa/loop-unroll.fun][reading source file:	xml/cps-transform.fun
]
[reading source file:	ssa/loop-unswitch.fun[reading source file:	elaborate/elaborate-modules.fun]]
[reading source file:	xml/sxml-simplify.sig[reading source file:	ssa/poly-equal.fun
]
]
[reading source file:	xml/sxml-simplify.fun][reading source file:	ssa/poly-hash.fun
]
[reading source file:	ssa/profile.sig]
[reading source file:	ssa/profile.fun]
[reading source file:	ssa/profile2.sig]
[reading source file:	ssa/profile2.fun]
[reading source file:	ssa/redundant-tests.fun][reading source file:	xml/sxml.sig
]
[reading source file:	ssa/redundant.fun[reading source file:	xml/sxml.fun]]

[reading source file:	ssa/ref-flatten.fun]
[reading source file:	ssa/remove-unused.fun]
[reading source file:	ssa/remove-unused2.fun]
[reading source file:	ssa/share-zero-vec.fun[reading source file:	elaborate/elaborate-programs.sig]
]
[reading source file:	ssa/simplify-types.fun]
[reading source file:	ssa/split-types.fun[reading source file:	elaborate/elaborate-programs.fun][reading source file:	xml/xml-structures.sml
]][reading source file:	ssa/useless.fun
]
[compiling body of functor Xml (from source mlton-mlkit-mael.mlb->xml.fun) begin]

[compiling body of functor XmlTree (from source mlton-mlkit-mael.mlb->xml-tree.fun) begin]
[compiling body of functor HashType (from source mlton-mlkit-mael.mlb->hash-type.fun) begin]
[compiling body of functor TypeOps (from source mlton-mlkit-mael.mlb->type-ops.fun) begin]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code5.s]
[compiling body of functor TypeOps end]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code3.s]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code6.s]
[compiling body of functor HashType end]
[reading source file:	ssa/zone.fun[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code2.s]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code7.s]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code8.s]
][compiling body of functor XmlTree end]
[compiling body of functor TypeCheck (from source mlton-mlkit-mael.mlb->type-check.fun) begin]

[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code9.s]
[compiling body of functor TypeCheck end]
[compiling body of functor Shrink (from source mlton-mlkit-mael.mlb->shrink.fun) begin]
[compiling body of functor SccFuns (from source mlton-mlkit-mael.mlb->scc-funs.fun) begin]
[reading source file:	ssa/simplify.sig[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code11.s]
[compiling body of functor SccFuns end]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code10.s]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code12.s]
[compiling body of functor Shrink end]
[compiling body of functor XmlSimplify (from source mlton-mlkit-mael.mlb->xml-simplify.fun) begin]
[compiling body of functor SimplifyTypes (from source mlton-mlkit-mael.mlb->simplify-types.fun) begin]
]
[reading source file:	ssa/simplify2.sig[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code15.s]
[compiling body of functor SimplifyTypes end]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code16.s]
[compiling body of functor XmlSimplify end]
[compiling body of functor Xml end]
[compiling body of functor Sxml (from source mlton-mlkit-mael.mlb->sxml.fun) begin]
][compiling body of functor SxmlSimplify (from source mlton-mlkit-mael.mlb->sxml-simplify.fun) begin]

[reading source file:	ssa/simplify.fun[compiling body of functor ImplementExceptions (from source mlton-mlkit-mael.mlb->implement-exceptions.fun) begin]
][wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code21.s]
[compiling body of functor ImplementExceptions end]
[compiling body of functor ImplementSuffix (from source mlton-mlkit-mael.mlb->implement-suffix.fun) begin]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code23.s]
[compiling body of functor ImplementSuffix end]
[compiling body of functor Polyvariance (from source mlton-mlkit-mael.mlb->polyvariance.fun) begin]

[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code25.s]
[compiling body of functor Polyvariance end]
[compiling body of functor CPSTransform (from source mlton-mlkit-mael.mlb->cps-transform.fun) begin]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code27.s]
[compiling body of functor CPSTransform end]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code18.s]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code28.s]
[compiling body of functor SxmlSimplify end]
[compiling body of functor Sxml end]
[compiling body of functor Monomorphise (from source mlton-mlkit-mael.mlb->monomorphise.fun) begin]
[wrote X64 code file:	xml/MLB/RI/xml-structures.sml.code30.s]
[compiling body of functor Monomorphise end]
[reading source file:	elaborate/elaborate-mlbs.sig]
[reading source file:	elaborate/elaborate-mlbs.fun]
[reading source file:	elaborate/elaborate.sig]
[reading source file:	elaborate/elaborate.fun]
[reading source file:	ssa/simplify2.fun]
[reading source file:	ssa/ssa.sig]
[reading source file:	ssa/ssa2.sig]
[reading source file:	ssa/ssa.fun][reading source file:	elaborate/elaborate-structures.sml]
[compiling body of functor TypeEnv (from source mlton-mlkit-mael.mlb->type-env.fun) begin]
[compiling body of functor TypeOps (from source mlton-mlkit-mael.mlb->type-ops.fun) begin]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code4.s]
[compiling body of functor TypeOps end]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code2.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code5.s]
[compiling body of functor TypeEnv end]
[compiling body of functor CoreML (from source mlton-mlkit-mael.mlb->core-ml.fun) begin]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code6.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code7.s]
[compiling body of functor CoreML end]
[compiling body of functor DeadCode (from source mlton-mlkit-mael.mlb->dead-code.fun) begin]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code9.s]
[compiling body of functor DeadCode end]
[compiling body of functor Elaborate (from source mlton-mlkit-mael.mlb->elaborate.fun) begin]
[compiling body of functor ElaborateEnv (from source mlton-mlkit-mael.mlb->elaborate-env.fun) begin]
[compiling body of functor Decs (from source mlton-mlkit-mael.mlb->decs.fun) begin]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code15.s]
[compiling body of functor Decs end]
[compiling body of functor UniqueId (from source mlton-mlkit-mael.mlb->unique-id.fun) begin]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code18.s]
[compiling body of functor UniqueId end]
[compiling body of functor Interface (from source mlton-mlkit-mael.mlb->interface.fun) begin]
[compiling body of functor IntUniqueId (from source mlton-mlkit-mael.mlb->unique-id.fun) begin]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code24.s]
[compiling body of functor IntUniqueId end]
[compiling body of functor GenericScheme (from source mlton-mlkit-mael.mlb->generic-scheme.fun) begin]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code27.s]
[compiling body of functor GenericScheme end]
[compiling body of functor IntUniqueId (from source mlton-mlkit-mael.mlb->unique-id.fun) begin]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code30.s]
[compiling body of functor IntUniqueId end]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code22.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code25.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code28.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code31.s]
[compiling body of functor Interface end]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code13.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code16.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code19.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code20.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code32.s]
[compiling body of functor ElaborateEnv end]
[compiling body of functor ElaborateMLBs (from source mlton-mlkit-mael.mlb->elaborate-mlbs.fun) begin]
[compiling body of functor ElaboratePrograms (from source mlton-mlkit-mael.mlb->elaborate-programs.fun) begin]
[compiling body of functor ElaborateModules (from source mlton-mlkit-mael.mlb->elaborate-modules.fun) begin]
[compiling body of functor ElaborateSigexp (from source mlton-mlkit-mael.mlb->elaborate-sigexp.fun) begin]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code41.s]
[compiling body of functor ElaborateSigexp end]
[compiling body of functor ElaborateCore (from source mlton-mlkit-mael.mlb->elaborate-core.fun) begin]
[compiling body of functor PrecedenceParse (from source mlton-mlkit-mael.mlb->precedence-parse.fun) begin]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code45.s]
[compiling body of functor PrecedenceParse end]
[compiling body of functor Scope (from source mlton-mlkit-mael.mlb->scope.fun) begin]
[compiling body of functor UnorderedSet (from source mlton-mlkit-mael.mlb->unordered.fun) begin]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code48.s]
[compiling body of functor UnorderedSet end]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code49.s]
[compiling body of functor Scope end]

[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code43.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code50.s]
[compiling body of functor ElaborateCore end]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code39.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code51.s]
[compiling body of functor ElaborateModules end]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code37.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code52.s]
[compiling body of functor ElaboratePrograms end]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code35.s]
[wrote X64 code file:	elaborate/MLB/RI/elaborate-structures.sml.code53.s]
[compiling body of functor ElaborateMLBs end]
[compiling body of functor Elaborate end]
[reading source file:	defunctorize/defunctorize.sig]
[reading source file:	defunctorize/defunctorize.fun]
[reading source file:	defunctorize/defunctorize-structure.sml]
[compiling body of functor Defunctorize (from source mlton-mlkit-mael.mlb->defunctorize.fun) begin]
[compiling body of functor NestedPat (from source mlton-mlkit-mael.mlb->nested-pat.fun) begin]
[wrote X64 code file:	defunctorize/MLB/RI/defunctorize-structure.sml.code4.s]
[compiling body of functor NestedPat end]
[compiling body of functor MatchCompile (from source mlton-mlkit-mael.mlb->match-compile.fun) begin]
[compiling body of functor MonoEnv (from source mlton-mlkit-mael.mlb->mono-env.fun) begin]
[compiling body of functor BasicEnvToEnv (from source mlton-mlkit-mael.mlb->basic-env-to-env.fun) begin]
[wrote X64 code file:	defunctorize/MLB/RI/defunctorize-structure.sml.code8.s]
[wrote X64 code file:	defunctorize/MLB/RI/defunctorize-structure.sml.code9.s]
[compiling body of functor BasicEnvToEnv end]
[compiling body of functor MonoEnv end]
[wrote X64 code file:	defunctorize/MLB/RI/defunctorize-structure.sml.code5.s]
[wrote X64 code file:	defunctorize/MLB/RI/defunctorize-structure.sml.code6.s]
[wrote X64 code file:	defunctorize/MLB/RI/defunctorize-structure.sml.code10.s]
[compiling body of functor MatchCompile end]
[wrote X64 code file:	defunctorize/MLB/RI/defunctorize-structure.sml.code11.s]
[compiling body of functor Defunctorize end]
[reading source file:	ssa/ssa2.fun]
[reading source file:	ssa/ssa-to-ssa2.sig]
[reading source file:	ssa/ssa-to-ssa2.fun]
[reading source file:	ssa/ssa-structures.sml]
[compiling body of functor Ssa (from source mlton-mlkit-mael.mlb->ssa.fun) begin]
[compiling body of functor SsaTree (from source mlton-mlkit-mael.mlb->ssa-tree.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code2.s]
[compiling body of functor SsaTree end]
[compiling body of functor DirectExp (from source mlton-mlkit-mael.mlb->direct-exp.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code3.s]
[compiling body of functor DirectExp end]
[compiling body of functor Analyze (from source mlton-mlkit-mael.mlb->analyze.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code4.s]
[compiling body of functor Analyze end]
[compiling body of functor TypeCheck (from source mlton-mlkit-mael.mlb->type-check.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code5.s]
[compiling body of functor TypeCheck end]
[compiling body of functor PrePasses (from source mlton-mlkit-mael.mlb->prepasses.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code6.s]
[compiling body of functor PrePasses end]
[compiling body of functor Shrink (from source mlton-mlkit-mael.mlb->shrink.fun) begin]
[compiling body of functor MonoVector (from source mlton-mlkit-mael.mlb->mono-vector.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code8.s]
[compiling body of functor MonoVector end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code7.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code9.s]
[compiling body of functor Shrink end]
[compiling body of functor Restore (from source mlton-mlkit-mael.mlb->restore.fun) begin]
[compiling body of functor ThreePointLattice (from source mlton-mlkit-mael.mlb->three-point-lattice.fun) begin]
[compiling body of functor NPointLattice (from source mlton-mlkit-mael.mlb->n-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code13.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code14.s]
[compiling body of functor NPointLattice end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code11.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code15.s]
[compiling body of functor ThreePointLattice end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code10.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code16.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code17.s]
[compiling body of functor Restore end]
[compiling body of functor Simplify (from source mlton-mlkit-mael.mlb->simplify.fun) begin]
[compiling body of functor CommonArg (from source mlton-mlkit-mael.mlb->common-arg.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code19.s]
[compiling body of functor CommonArg end]
[compiling body of functor CommonBlock (from source mlton-mlkit-mael.mlb->common-block.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code20.s]
[compiling body of functor CommonBlock end]
[compiling body of functor CommonSubexp (from source mlton-mlkit-mael.mlb->common-subexp.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code21.s]
[compiling body of functor CommonSubexp end]
[compiling body of functor CombineConversions (from source mlton-mlkit-mael.mlb->combine-conversions.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code22.s]
[compiling body of functor CombineConversions end]
[compiling body of functor ConstantPropagation (from source mlton-mlkit-mael.mlb->constant-propagation.fun) begin]
[compiling body of functor Multi (from source mlton-mlkit-mael.mlb->multi.fun) begin]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code25.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code26.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code28.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code29.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code31.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code32.s]
[compiling body of functor TwoPointLattice end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code24.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code27.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code30.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code33.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code34.s]
[compiling body of functor Multi end]
[compiling body of functor Global (from source mlton-mlkit-mael.mlb->global.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code35.s]
[compiling body of functor Global end]
[compiling body of functor UniqueId (from source mlton-mlkit-mael.mlb->unique-id.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code37.s]
[compiling body of functor UniqueId end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code39.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code40.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor FlatLatticeMono (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeParam (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticePoly (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeRec (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code46.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code47.s]
[compiling body of functor FlatLatticeRec end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code45.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code48.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code49.s]
[compiling body of functor FlatLatticePoly end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code44.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code50.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code51.s]
[compiling body of functor FlatLatticeParam end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code43.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code52.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code53.s]
[compiling body of functor FlatLatticeMono end]
[compiling body of functor FlatLatticeParam (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticePoly (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeRec (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code57.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code58.s]
[compiling body of functor FlatLatticeRec end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code56.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code59.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code60.s]
[compiling body of functor FlatLatticePoly end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code55.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code61.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code62.s]
[compiling body of functor FlatLatticeParam end]
[compiling body of functor FlatLatticeParam (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticePoly (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeRec (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code66.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code67.s]
[compiling body of functor FlatLatticeRec end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code65.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code68.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code69.s]
[compiling body of functor FlatLatticePoly end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code64.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code70.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code71.s]
[compiling body of functor FlatLatticeParam end]
[compiling body of functor FlatLatticeRec (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code73.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code74.s]
[compiling body of functor FlatLatticeRec end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code42.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code54.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code63.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code72.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code75.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code76.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code77.s]
[compiling body of functor ConstantPropagation end]
[compiling body of functor Contify (from source mlton-mlkit-mael.mlb->contify.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code78.s]
[compiling body of functor Contify end]
[compiling body of functor DuplicateGlobals (from source mlton-mlkit-mael.mlb->duplicate-globals.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code79.s]
[compiling body of functor DuplicateGlobals end]
[compiling body of functor Flatten (from source mlton-mlkit-mael.mlb->flatten.fun) begin]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code81.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code82.s]
[compiling body of functor TwoPointLattice end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code83.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code84.s]
[compiling body of functor Flatten end]
[compiling body of functor Inline (from source mlton-mlkit-mael.mlb->inline.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code85.s]
[compiling body of functor Inline end]
[compiling body of functor IntroduceLoops (from source mlton-mlkit-mael.mlb->introduce-loops.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code86.s]
[compiling body of functor IntroduceLoops end]
[compiling body of functor KnownCase (from source mlton-mlkit-mael.mlb->known-case.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code87.s]
[compiling body of functor KnownCase end]
[compiling body of functor LocalFlatten (from source mlton-mlkit-mael.mlb->local-flatten.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code88.s]
[compiling body of functor LocalFlatten end]
[compiling body of functor LocalRef (from source mlton-mlkit-mael.mlb->local-ref.fun) begin]
[compiling body of functor FlatLatticeMono (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeParam (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticePoly (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeRec (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code93.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code94.s]
[compiling body of functor FlatLatticeRec end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code92.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code95.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code96.s]
[compiling body of functor FlatLatticePoly end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code91.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code97.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code98.s]
[compiling body of functor FlatLatticeParam end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code90.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code99.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code100.s]
[compiling body of functor FlatLatticeMono end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code102.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code103.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor Multi (from source mlton-mlkit-mael.mlb->multi.fun) begin]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code107.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code108.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code110.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code111.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code113.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code114.s]
[compiling body of functor TwoPointLattice end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code106.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code109.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code112.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code115.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code116.s]
[compiling body of functor Multi end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code89.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code101.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code104.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code105.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code117.s]
[compiling body of functor LocalRef end]
[compiling body of functor LoopInvariant (from source mlton-mlkit-mael.mlb->loop-invariant.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code118.s]
[compiling body of functor LoopInvariant end]
[compiling body of functor LoopUnroll (from source mlton-mlkit-mael.mlb->loop-unroll.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code119.s]
[compiling body of functor LoopUnroll end]
[compiling body of functor LoopUnswitch (from source mlton-mlkit-mael.mlb->loop-unswitch.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code120.s]
[compiling body of functor LoopUnswitch end]
[compiling body of functor PolyEqual (from source mlton-mlkit-mael.mlb->poly-equal.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code121.s]
[compiling body of functor PolyEqual end]
[compiling body of functor PolyHash (from source mlton-mlkit-mael.mlb->poly-hash.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code122.s]
[compiling body of functor PolyHash end]
[compiling body of functor Profile (from source mlton-mlkit-mael.mlb->profile.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code123.s]
[compiling body of functor Profile end]
[compiling body of functor Redundant (from source mlton-mlkit-mael.mlb->redundant.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code124.s]
[compiling body of functor Redundant end]
[compiling body of functor RedundantTests (from source mlton-mlkit-mael.mlb->redundant-tests.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code125.s]
[compiling body of functor RedundantTests end]
[compiling body of functor RemoveUnused (from source mlton-mlkit-mael.mlb->remove-unused.fun) begin]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code127.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code128.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code130.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code131.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code133.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code134.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code136.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code137.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code139.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code140.s]
[compiling body of functor TwoPointLattice end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code129.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code132.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code135.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code138.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code141.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code142.s]
[compiling body of functor RemoveUnused end]
[compiling body of functor ShareZeroVec (from source mlton-mlkit-mael.mlb->share-zero-vec.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code143.s]
[compiling body of functor ShareZeroVec end]
[compiling body of functor SimplifyTypes (from source mlton-mlkit-mael.mlb->simplify-types.fun) begin]
[compiling body of functor ThreePointLattice (from source mlton-mlkit-mael.mlb->three-point-lattice.fun) begin]
[compiling body of functor NPointLattice (from source mlton-mlkit-mael.mlb->n-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code147.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code148.s]
[compiling body of functor NPointLattice end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code145.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code149.s]
[compiling body of functor ThreePointLattice end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code150.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code151.s]
[compiling body of functor SimplifyTypes end]
[compiling body of functor SplitTypes (from source mlton-mlkit-mael.mlb->split-types.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code152.s]
[compiling body of functor SplitTypes end]
[compiling body of functor Useless (from source mlton-mlkit-mael.mlb->useless.fun) begin]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code155.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code156.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code158.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code159.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code160.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code161.s]
[compiling body of functor TwoPointLattice end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code157.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code162.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code163.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code164.s]
[compiling body of functor Useless end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code165.s]
[compiling body of functor Simplify end]
[compiling body of functor Ssa end]
[compiling body of functor Ssa2 (from source mlton-mlkit-mael.mlb->ssa2.fun) begin]
[compiling body of functor SsaTree2 (from source mlton-mlkit-mael.mlb->ssa-tree2.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code167.s]
[compiling body of functor SsaTree2 end]
[compiling body of functor Analyze2 (from source mlton-mlkit-mael.mlb->analyze2.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code168.s]
[compiling body of functor Analyze2 end]
[compiling body of functor TypeCheck2 (from source mlton-mlkit-mael.mlb->type-check2.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code169.s]
[compiling body of functor TypeCheck2 end]
[compiling body of functor PrePasses2 (from source mlton-mlkit-mael.mlb->prepasses2.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code170.s]
[compiling body of functor PrePasses2 end]
[compiling body of functor Shrink2 (from source mlton-mlkit-mael.mlb->shrink2.fun) begin]
[compiling body of functor MonoVector (from source mlton-mlkit-mael.mlb->mono-vector.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code172.s]
[compiling body of functor MonoVector end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code171.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code173.s]
[compiling body of functor Shrink2 end]
[compiling body of functor Simplify2 (from source mlton-mlkit-mael.mlb->simplify2.fun) begin]
[compiling body of functor DeepFlatten (from source mlton-mlkit-mael.mlb->deep-flatten.fun) begin]
[compiling body of functor Tree (from source mlton-mlkit-mael.mlb->tree.sml) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code177.s]
[compiling body of functor Tree end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code178.s]
[compiling body of functor DeepFlatten end]
[compiling body of functor Profile2 (from source mlton-mlkit-mael.mlb->profile2.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code179.s]
[compiling body of functor Profile2 end]
[compiling body of functor RefFlatten (from source mlton-mlkit-mael.mlb->ref-flatten.fun) begin]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code181.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code182.s]
[compiling body of functor TwoPointLattice end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code180.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code183.s]
[compiling body of functor RefFlatten end]
[compiling body of functor RemoveUnused2 (from source mlton-mlkit-mael.mlb->remove-unused2.fun) begin]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code185.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code186.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code188.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code189.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code191.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code192.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code194.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code195.s]
[compiling body of functor TwoPointLattice end]
[compiling body of functor TwoPointLattice (from source mlton-mlkit-mael.mlb->two-point-lattice.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code197.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code198.s]
[compiling body of functor TwoPointLattice end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code187.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code190.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code193.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code196.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code199.s]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code200.s]
[compiling body of functor RemoveUnused2 end]
[compiling body of functor Zone (from source mlton-mlkit-mael.mlb->zone.fun) begin]
[compiling body of functor UniqueId (from source mlton-mlkit-mael.mlb->unique-id.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code203.s]
[compiling body of functor UniqueId end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code204.s]
[compiling body of functor Zone end]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code205.s]
[compiling body of functor Simplify2 end]
[compiling body of functor Ssa2 end]
[compiling body of functor SsaToSsa2 (from source mlton-mlkit-mael.mlb->ssa-to-ssa2.fun) begin]
[wrote X64 code file:	ssa/MLB/RI/ssa-structures.sml.code207.s]
[compiling body of functor SsaToSsa2 end]
[reading source file:	backend/runtime.sig[reading source file:	closure-convert/abstract-value.sig]]
[reading source file:	backend/runtime.fun
]
[reading source file:	backend/objptr-tycon.sig]
[reading source file:	backend/objptr-tycon.fun]
[reading source file:	backend/object-type.sig[reading source file:	closure-convert/abstract-value.fun]
[reading source file:	backend/rep-type.sig]]
[reading source file:	backend/rep-type.fun
]
[reading source file:	backend/backend-atoms.sig]
[reading source file:	backend/backend-atoms.fun]
[reading source file:	closure-convert/globalize.sig]
[reading source file:	closure-convert/globalize.fun]
[reading source file:	backend/err.sml]
[wrote X64 code file:	backend/MLB/RI/err.sml.s]
[reading source file:	backend/object.sig]
[reading source file:	closure-convert/lambda-free.sig[reading source file:	backend/object.fun]]

[reading source file:	closure-convert/lambda-free.fun[reading source file:	backend/switch.sig]
][reading source file:	backend/switch.fun
]
[reading source file:	backend/rssa-tree.sig]
[reading source file:	closure-convert/closure-convert.sig]
[reading source file:	backend/rssa-tree.fun][reading source file:	closure-convert/closure-convert.fun
]
[reading source file:	backend/rssa-type-check.sig]
[reading source file:	backend/rssa-type-check.fun][reading source file:	closure-convert/closure-convert-structure.sml
]
[compiling body of functor ClosureConvert (from source mlton-mlkit-mael.mlb->closure-convert.fun) begin]
[compiling body of functor Globalize (from source mlton-mlkit-mael.mlb->globalize.fun) begin]
[wrote X64 code file:	closure-convert/MLB/RI/closure-convert-structure.sml.code4.s]
[compiling body of functor Globalize end]
[compiling body of functor AbstractValue (from source mlton-mlkit-mael.mlb->abstract-value.fun) begin]
[compiling body of functor UniqueSet (from source mlton-mlkit-mael.mlb->unique-set.fun) begin]
[wrote X64 code file:	closure-convert/MLB/RI/closure-convert-structure.sml.code8.s]
[wrote X64 code file:	closure-convert/MLB/RI/closure-convert-structure.sml.code9.s]
[compiling body of functor UniqueSet end]
[wrote X64 code file:	closure-convert/MLB/RI/closure-convert-structure.sml.code7.s]
[wrote X64 code file:	closure-convert/MLB/RI/closure-convert-structure.sml.code10.s]
[compiling body of functor AbstractValue end]
[compiling body of functor LambdaFree (from source mlton-mlkit-mael.mlb->lambda-free.fun) begin]
[wrote X64 code file:	closure-convert/MLB/RI/closure-convert-structure.sml.code12.s]
[compiling body of functor LambdaFree end]
[wrote X64 code file:	closure-convert/MLB/RI/closure-convert-structure.sml.code11.s]
[wrote X64 code file:	closure-convert/MLB/RI/closure-convert-structure.sml.code13.s]
[compiling body of functor ClosureConvert end]
[reading source file:	backend/rssa-shrink.sig]
[reading source file:	backend/rssa-shrink.fun]
[reading source file:	backend/rssa-live.sig]
[reading source file:	backend/rssa-live.fun]
[reading source file:	backend/rssa-restore.sig]
[reading source file:	backend/rssa-restore.fun]
[reading source file:	backend/rssa-transform.sig]
[reading source file:	backend/bounce-vars.fun]
[reading source file:	backend/collect-statics.fun]
[reading source file:	backend/implement-handlers.fun]
[reading source file:	backend/implement-profiling.fun]
[reading source file:	backend/insert-checks.fun]
[reading source file:	backend/rssa-simplify.sig]
[reading source file:	backend/rssa-simplify.fun]
[reading source file:	backend/rssa.sig]
[reading source file:	backend/rssa.fun]
[reading source file:	backend/representation.sig]
[reading source file:	backend/packed-representation.fun]
[reading source file:	backend/ssa2-to-rssa.sig]
[reading source file:	backend/ssa2-to-rssa.fun]
[reading source file:	backend/machine.sig]
[reading source file:	backend/machine.fun]
[reading source file:	backend/allocate-variables.sig]
[reading source file:	backend/allocate-variables.fun]
[reading source file:	backend/equivalence-graph.sig]
[reading source file:	backend/equivalence-graph.fun]
[compiling body of functor EquivalenceGraph (from source mlton-mlkit-mael.mlb->equivalence-graph.fun) begin]
[wrote X64 code file:	backend/MLB/RI/equivalence-graph.fun.code1.s]
[compiling body of functor EquivalenceGraph end]
[reading source file:	backend/chunkify.sig]
[reading source file:	backend/chunkify.fun]
[reading source file:	backend/parallel-move.sig]
[reading source file:	backend/parallel-move.fun]
[reading source file:	backend/backend.sig]
[reading source file:	backend/backend.fun]
[reading source file:	backend/backend-structures.sml]
[compiling body of functor BackendAtoms (from source mlton-mlkit-mael.mlb->backend-atoms.fun) begin]
[compiling body of functor Runtime (from source mlton-mlkit-mael.mlb->runtime.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code3.s]
[compiling body of functor Runtime end]
[compiling body of functor ObjptrTycon (from source mlton-mlkit-mael.mlb->objptr-tycon.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code5.s]
[compiling body of functor ObjptrTycon end]
[compiling body of functor RepType (from source mlton-mlkit-mael.mlb->rep-type.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code7.s]
[compiling body of functor RepType end]
[compiling body of functor BackendAtoms end]
[compiling body of functor Machine (from source mlton-mlkit-mael.mlb->machine.fun) begin]
[compiling body of functor Id (from source mlton-mlkit-mael.mlb->id.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code12.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code13.s]
[compiling body of functor Id end]
[compiling body of functor Object (from source mlton-mlkit-mael.mlb->object.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code17.s]
[compiling body of functor Object end]
[compiling body of functor Switch (from source mlton-mlkit-mael.mlb->switch.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code20.s]
[compiling body of functor Switch end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code14.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code15.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code18.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code21.s]
[compiling body of functor Machine end]
[compiling body of functor Rssa (from source mlton-mlkit-mael.mlb->rssa.fun) begin]
[compiling body of functor RssaTree (from source mlton-mlkit-mael.mlb->rssa-tree.fun) begin]
[compiling body of functor Object (from source mlton-mlkit-mael.mlb->object.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code25.s]
[compiling body of functor Object end]
[compiling body of functor Switch (from source mlton-mlkit-mael.mlb->switch.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code30.s]
[compiling body of functor Switch end]
[compiling body of functor PowerSetLattice_ListSet (from source mlton-mlkit-mael.mlb->powerset-lattice.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code36.s]
[compiling body of functor PowerSetLattice_ListSet end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code23.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code27.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code28.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code32.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code33.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code34.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code37.s]
[compiling body of functor RssaTree end]
[compiling body of functor RssaTypeCheck (from source mlton-mlkit-mael.mlb->rssa-type-check.fun) begin]
[compiling body of functor FlatLatticeMono (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeParam (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticePoly (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeRec (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code43.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code44.s]
[compiling body of functor FlatLatticeRec end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code42.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code45.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code46.s]
[compiling body of functor FlatLatticePoly end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code41.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code47.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code48.s]
[compiling body of functor FlatLatticeParam end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code40.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code49.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code50.s]
[compiling body of functor FlatLatticeMono end]
[compiling body of functor FlatLatticeMono (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeParam (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticePoly (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeRec (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code56.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code57.s]
[compiling body of functor FlatLatticeRec end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code55.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code58.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code59.s]
[compiling body of functor FlatLatticePoly end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code54.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code60.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code61.s]
[compiling body of functor FlatLatticeParam end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code53.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code62.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code63.s]
[compiling body of functor FlatLatticeMono end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code38.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code39.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code52.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code65.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code66.s]
[compiling body of functor RssaTypeCheck end]
[compiling body of functor RssaShrink (from source mlton-mlkit-mael.mlb->rssa-shrink.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code67.s]
[compiling body of functor RssaShrink end]
[compiling body of functor RssaLive (from source mlton-mlkit-mael.mlb->rssa-live.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code68.s]
[compiling body of functor RssaLive end]
[compiling body of functor RssaRestore (from source mlton-mlkit-mael.mlb->rssa-restore.fun) begin]
[compiling body of functor ThreePointLattice (from source mlton-mlkit-mael.mlb->three-point-lattice.fun) begin]
[compiling body of functor NPointLattice (from source mlton-mlkit-mael.mlb->n-point-lattice.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code72.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code73.s]
[compiling body of functor NPointLattice end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code70.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code74.s]
[compiling body of functor ThreePointLattice end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code69.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code75.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code76.s]
[compiling body of functor RssaRestore end]
[compiling body of functor RssaSimplify (from source mlton-mlkit-mael.mlb->rssa-simplify.fun) begin]
[compiling body of functor BounceVars (from source mlton-mlkit-mael.mlb->bounce-vars.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code78.s]
[compiling body of functor BounceVars end]
[compiling body of functor CollectStatics (from source mlton-mlkit-mael.mlb->collect-statics.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code79.s]
[compiling body of functor CollectStatics end]
[compiling body of functor ImplementHandlers (from source mlton-mlkit-mael.mlb->implement-handlers.fun) begin]
[compiling body of functor FlatLatticeMono (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeParam (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticePoly (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeRec (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code84.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code85.s]
[compiling body of functor FlatLatticeRec end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code83.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code86.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code87.s]
[compiling body of functor FlatLatticePoly end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code82.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code88.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code89.s]
[compiling body of functor FlatLatticeParam end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code81.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code90.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code91.s]
[compiling body of functor FlatLatticeMono end]
[compiling body of functor FlatLatticeMono (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeParam (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticePoly (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[compiling body of functor FlatLatticeRec (from source mlton-mlkit-mael.mlb->flat-lattice.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code96.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code97.s]
[compiling body of functor FlatLatticeRec end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code95.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code98.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code99.s]
[compiling body of functor FlatLatticePoly end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code94.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code100.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code101.s]
[compiling body of functor FlatLatticeParam end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code93.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code102.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code103.s]
[compiling body of functor FlatLatticeMono end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code80.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code92.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code104.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code105.s]
[compiling body of functor ImplementHandlers end]
[compiling body of functor ImplementProfiling (from source mlton-mlkit-mael.mlb->implement-profiling.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code106.s]
[compiling body of functor ImplementProfiling end]
[compiling body of functor InsertChecks (from source mlton-mlkit-mael.mlb->insert-checks.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code107.s]
[compiling body of functor InsertChecks end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code108.s]
[compiling body of functor RssaSimplify end]
[compiling body of functor Rssa end]
[compiling body of functor Backend (from source mlton-mlkit-mael.mlb->backend.fun) begin]
[compiling body of functor AllocateVariables (from source mlton-mlkit-mael.mlb->allocate-variables.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code112.s]
[compiling body of functor AllocateVariables end]
[compiling body of functor Chunkify (from source mlton-mlkit-mael.mlb->chunkify.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code113.s]
[compiling body of functor Chunkify end]
[compiling body of functor ParallelMove (from source mlton-mlkit-mael.mlb->parallel-move.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code114.s]
[compiling body of functor ParallelMove end]
[compiling body of functor UniqueSet (from source mlton-mlkit-mael.mlb->unique-set.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code116.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code117.s]
[compiling body of functor UniqueSet end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code109.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code115.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code118.s]
[compiling body of functor Backend end]
[compiling body of functor Ssa2ToRssa (from source mlton-mlkit-mael.mlb->ssa2-to-rssa.fun) begin]
[compiling body of functor PackedRepresentation (from source mlton-mlkit-mael.mlb->packed-representation.fun) begin]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code122.s]
[compiling body of functor PackedRepresentation end]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code120.s]
[wrote X64 code file:	backend/MLB/RI/backend-structures.sml.code123.s]
[compiling body of functor Ssa2ToRssa end]
[reading source file:	codegen/c-codegen/c-codegen.sig]
[reading source file:	codegen/c-codegen/c-codegen.fun]
[reading source file:	codegen/c-codegen/c-codegen-structure.sml]
[compiling body of functor CCodegen (from source mlton-mlkit-mael.mlb->c-codegen.fun) begin]
[wrote X64 code file:	codegen/c-codegen/MLB/RI/c-codegen-structure.sml.code2.s]
[compiling body of functor CCodegen end]
[reading source file:	codegen/amd64-codegen/peephole.sig[reading source file:	codegen/llvm-codegen/llvm-codegen.sig[reading source file:	codegen/x86-codegen/peephole.sig]]]

[reading source file:	codegen/amd64-codegen/peephole.fun[reading source file:	codegen/x86-codegen/peephole.fun
]]

[reading source file:	codegen/amd64-codegen/amd64.sig[reading source file:	codegen/x86-codegen/x86.sig]]

[reading source file:	codegen/amd64-codegen/amd64.fun[reading source file:	codegen/x86-codegen/x86.fun]]

[reading source file:	codegen/x86-codegen/x86-pseudo.sig[reading source file:	codegen/amd64-codegen/amd64-pseudo.sig]]

[reading source file:	codegen/llvm-codegen/llvm-codegen.fun[reading source file:	codegen/x86-codegen/x86-mlton-basic.sig[reading source file:	codegen/amd64-codegen/amd64-mlton-basic.sig]]]


[reading source file:	codegen/x86-codegen/x86-mlton-basic.fun[reading source file:	codegen/amd64-codegen/amd64-mlton-basic.fun]]

[reading source file:	codegen/llvm-codegen/llvm-codegen-structure.sml]
[compiling body of functor LLVMCodegen (from source mlton-mlkit-mael.mlb->llvm-codegen.fun) begin]
[reading source file:	codegen/amd64-codegen/amd64-liveness.sig[reading source file:	codegen/x86-codegen/x86-liveness.sig]
]
[wrote X64 code file:	codegen/llvm-codegen/MLB/RI/llvm-codegen-structure.sml.code2.s]
[compiling body of functor LLVMCodegen end]
[reading source file:	codegen/amd64-codegen/amd64-liveness.fun[reading source file:	codegen/x86-codegen/x86-liveness.fun]]

[reading source file:	codegen/amd64-codegen/amd64-mlton.sig[reading source file:	codegen/x86-codegen/x86-mlton.sig]]

[reading source file:	codegen/amd64-codegen/amd64-mlton.fun[reading source file:	codegen/x86-codegen/x86-mlton.fun]]

[reading source file:	codegen/amd64-codegen/amd64-allocate-registers.sig[reading source file:	codegen/x86-codegen/x86-allocate-registers.sig]
]
[reading source file:	codegen/amd64-codegen/amd64-allocate-registers.fun[reading source file:	codegen/x86-codegen/x86-allocate-registers.fun]]

[reading source file:	codegen/amd64-codegen/amd64-entry-transfer.sig[reading source file:	codegen/x86-codegen/x86-entry-transfer.sig]
[reading source file:	codegen/amd64-codegen/amd64-entry-transfer.fun]
[reading source file:	codegen/x86-codegen/x86-entry-transfer.fun]
][reading source file:	codegen/amd64-codegen/amd64-jump-info.sig
[reading source file:	codegen/x86-codegen/x86-jump-info.sig]
[reading source file:	codegen/amd64-codegen/amd64-jump-info.fun]
[reading source file:	codegen/x86-codegen/x86-jump-info.fun]
][reading source file:	codegen/amd64-codegen/amd64-loop-info.sig
[reading source file:	codegen/x86-codegen/x86-loop-info.sig]
[reading source file:	codegen/amd64-codegen/amd64-loop-info.fun]
[reading source file:	codegen/x86-codegen/x86-loop-info.fun]
][reading source file:	codegen/amd64-codegen/amd64-live-transfers.sig
[reading source file:	codegen/x86-codegen/x86-live-transfers.sig]
]
[reading source file:	codegen/amd64-codegen/amd64-live-transfers.fun[reading source file:	codegen/x86-codegen/x86-live-transfers.fun]
]
[reading source file:	codegen/x86-codegen/x86-generate-transfers.sig[reading source file:	codegen/amd64-codegen/amd64-generate-transfers.sig]]

[reading source file:	codegen/x86-codegen/x86-generate-transfers.fun[reading source file:	codegen/amd64-codegen/amd64-generate-transfers.fun]]

[reading source file:	codegen/x86-codegen/x86-simplify.sig]
[reading source file:	codegen/amd64-codegen/amd64-simplify.sig]
[reading source file:	codegen/x86-codegen/x86-simplify.fun]
[reading source file:	codegen/amd64-codegen/amd64-simplify.fun]
[reading source file:	codegen/x86-codegen/x86-translate.sig][reading source file:	codegen/amd64-codegen/amd64-translate.sig
]
[reading source file:	codegen/x86-codegen/x86-translate.fun][reading source file:	codegen/amd64-codegen/amd64-translate.fun
]
[reading source file:	codegen/x86-codegen/x86-codegen.sig]
[reading source file:	codegen/amd64-codegen/amd64-codegen.sig]
[reading source file:	codegen/x86-codegen/x86-codegen.fun][reading source file:	codegen/amd64-codegen/amd64-codegen.fun]

[reading source file:	codegen/x86-codegen/x86-codegen-structure.sml][reading source file:	codegen/amd64-codegen/amd64-codegen-structure.sml]
[compiling body of functor x86Codegen (from source mlton-mlkit-mael.mlb->x86-codegen.fun) begin]

[compiling body of functor amd64Codegen (from source mlton-mlkit-mael.mlb->amd64-codegen.fun) begin]
[compiling body of functor x86 (from source mlton-mlkit-mael.mlb->x86.fun) begin]
[compiling body of functor OrderedUniqueSet (from source mlton-mlkit-mael.mlb->ordered-unique-set.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code7.s]
[compiling body of functor OrderedUniqueSet end]
[compiling body of functor UnorderedSet (from source mlton-mlkit-mael.mlb->unordered.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code10.s]
[compiling body of functor UnorderedSet end]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code4.s]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code5.s]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code8.s]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code11.s]
[compiling body of functor x86 end]
[compiling body of functor x86PseudoCheck (from source mlton-mlkit-mael.mlb->x86-pseudo.sig) begin]
[compiling body of functor x86PseudoCheck end]
[compiling body of functor x86MLtonBasic (from source mlton-mlkit-mael.mlb->x86-mlton-basic.fun) begin]
[compiling body of functor amd64 (from source mlton-mlkit-mael.mlb->amd64.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code15.s]
[compiling body of functor x86MLtonBasic end]
[compiling body of functor x86Liveness (from source mlton-mlkit-mael.mlb->x86-liveness.fun) begin]
[compiling body of functor OrderedUniqueSet (from source mlton-mlkit-mael.mlb->ordered-unique-set.fun) begin]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code7.s]
[compiling body of functor OrderedUniqueSet end]
[compiling body of functor UnorderedSet (from source mlton-mlkit-mael.mlb->unordered.fun) begin]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code10.s]
[compiling body of functor UnorderedSet end]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code17.s]
[compiling body of functor x86Liveness end]
[compiling body of functor x86JumpInfo (from source mlton-mlkit-mael.mlb->x86-jump-info.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code19.s]
[compiling body of functor x86JumpInfo end]
[compiling body of functor x86LoopInfo (from source mlton-mlkit-mael.mlb->x86-loop-info.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code21.s]
[compiling body of functor x86LoopInfo end]
[compiling body of functor x86EntryTransfer (from source mlton-mlkit-mael.mlb->x86-entry-transfer.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code23.s]
[compiling body of functor x86EntryTransfer end]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code4.s]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code5.s]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code8.s]
[compiling body of functor x86MLton (from source mlton-mlkit-mael.mlb->x86-mlton.fun) begin]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code11.s]
[compiling body of functor amd64 end]
[compiling body of functor amd64PseudoCheck (from source mlton-mlkit-mael.mlb->amd64-pseudo.sig) begin]
[compiling body of functor amd64PseudoCheck end]
[compiling body of functor amd64MLtonBasic (from source mlton-mlkit-mael.mlb->amd64-mlton-basic.fun) begin]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code15.s]
[compiling body of functor amd64MLtonBasic end]
[compiling body of functor amd64Liveness (from source mlton-mlkit-mael.mlb->amd64-liveness.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code25.s]
[compiling body of functor x86MLton end]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code17.s]
[compiling body of functor amd64Liveness end]
[compiling body of functor amd64JumpInfo (from source mlton-mlkit-mael.mlb->amd64-jump-info.fun) begin]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code19.s]
[compiling body of functor amd64JumpInfo end]
[compiling body of functor amd64LoopInfo (from source mlton-mlkit-mael.mlb->amd64-loop-info.fun) begin]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code21.s]
[compiling body of functor amd64LoopInfo end]
[compiling body of functor amd64EntryTransfer (from source mlton-mlkit-mael.mlb->amd64-entry-transfer.fun) begin]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code23.s]
[compiling body of functor amd64EntryTransfer end]
[compiling body of functor amd64MLton (from source mlton-mlkit-mael.mlb->amd64-mlton.fun) begin]
[compiling body of functor x86Translate (from source mlton-mlkit-mael.mlb->x86-translate.fun) begin]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code25.s]
[compiling body of functor amd64MLton end]
[compiling body of functor amd64Translate (from source mlton-mlkit-mael.mlb->amd64-translate.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code28.s]
[compiling body of functor x86Translate end]
[compiling body of functor x86Simplify (from source mlton-mlkit-mael.mlb->x86-simplify.fun) begin]
[compiling body of functor Peephole (from source mlton-mlkit-mael.mlb->peephole.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code32.s]
[compiling body of functor Peephole end]
[compiling body of functor Peephole (from source mlton-mlkit-mael.mlb->peephole.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code37.s]
[compiling body of functor Peephole end]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code28.s]
[compiling body of functor amd64Translate end]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code30.s]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code33.s]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code34.s]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code38.s]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code39.s]
[compiling body of functor x86Simplify end]
[compiling body of functor amd64Simplify (from source mlton-mlkit-mael.mlb->amd64-simplify.fun) begin]
[compiling body of functor x86GenerateTransfers (from source mlton-mlkit-mael.mlb->x86-generate-transfers.fun) begin]
[compiling body of functor Peephole (from source mlton-mlkit-mael.mlb->peephole.fun) begin]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code32.s]
[compiling body of functor Peephole end]
[compiling body of functor Peephole (from source mlton-mlkit-mael.mlb->peephole.fun) begin]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code37.s]
[compiling body of functor Peephole end]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code30.s]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code33.s]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code34.s]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code38.s]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code39.s]
[compiling body of functor amd64Simplify end]
[compiling body of functor amd64GenerateTransfers (from source mlton-mlkit-mael.mlb->amd64-generate-transfers.fun) begin]
[compiling body of functor x86LiveTransfers (from source mlton-mlkit-mael.mlb->x86-live-transfers.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code43.s]
[compiling body of functor x86LiveTransfers end]
[compiling body of functor amd64LiveTransfers (from source mlton-mlkit-mael.mlb->amd64-live-transfers.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code41.s]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code44.s]
[compiling body of functor x86GenerateTransfers end]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code43.s]
[compiling body of functor amd64LiveTransfers end]
[compiling body of functor x86AllocateRegisters (from source mlton-mlkit-mael.mlb->x86-allocate-registers.fun) begin]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code41.s]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code44.s]
[compiling body of functor amd64GenerateTransfers end]
[compiling body of functor amd64AllocateRegisters (from source mlton-mlkit-mael.mlb->amd64-allocate-registers.fun) begin]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code46.s]
[compiling body of functor x86AllocateRegisters end]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code26.s]
[wrote X64 code file:	codegen/x86-codegen/MLB/RI/x86-codegen-structure.sml.code47.s]
[compiling body of functor x86Codegen end]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code46.s]
[compiling body of functor amd64AllocateRegisters end]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code26.s]
[wrote X64 code file:	codegen/amd64-codegen/MLB/RI/amd64-codegen-structure.sml.code47.s]
[compiling body of functor amd64Codegen end]
[reading source file:	main/compile.sig]
[reading source file:	main/compile-structure.sml]
[wrote X64 code file:	main/MLB/RI/compile-structure.sml.s]
[reading source file:	main/main.sig]
[reading source file:	main/main-structure.sml]
[wrote X64 code file:	main/MLB/RI/main-structure.sml.s]
[reading source file:	call-main.sml]
[wrote X64 code file:	MLB/RI/call-main.sml.s]
[wrote X64 code file:	MLB/RI/base-link_objects.s]
[wrote executable file:	mlton-compile-mlkit]

real	44m22.137s
user	72m32.451s
sys	1m10.318s
bash-3.2$ ./mlton-compile-mlkit 
unhandled exception: Fail
bash-3.2$ ./mlton-compile-mlkit hello.sml
unhandled exception: Path
bash-3.2$ 

But how should I use the generated executable? Does it operate as expected?

[melsman]

@MatthewFluet: any comments?

[MatthewFluet]

@melsman Nice! That looks correct.

The executable built in the mlton directory is meant to be invoked from a script (bin/mlton-script). Running make mlkit-mlton from the root directory (https://github.com/MLton/mlton/blob/master/Makefile#L332-L360) will build the runtime, the mlton-compile-mlkit executable, locally install the script and libraries, and set ./build/bin/mlton-mlkit to invoke the MLKit built MLton. Then you should be able to use ./build/bin/mlton-mlkit hello.sml to compile a program.

[melsman]

Here is the status now (with -no_gc):

bash-3.2$ make mlkit-mlton
...
bash-3.2$ build/bin/mlton.mlkit hello.sml 
bash-3.2$ ./hello 
Hi there: 28

[melsman]

And here is with GC enabled (build/bin/mlton.mlkit updated to pass -verbose_gc to mlkit-generated compiler):

bash-3.2$ build/bin/mlton.mlkit -verbose 2 hello.sml
[GC#1(6.1ms)48kb( 0%)+L0kb -> 48kb( 0%)+L0kb, FL:94kb, RI: 0%, GC: 0%, S:0Mb, RSS:1360Kb -> 4256Kb]
[GC#2(0.4ms)112kb(48%)+L0kb -> 112kb(47%)+L0kb, FL:86kb, RI:22%, GC:78%, S:0Mb, RSS:5296Kb -> 5328Kb]
[GC#3(0.6ms)240kb(77%)+L0kb -> 232kb(73%)+L0kb, FL:71kb, RI:69%, GC:31%, S:0Mb, RSS:6800Kb -> 6884Kb]
[GC#4(0.8ms)424kb(89%)+L8kb -> 336kb(84%)+L8kb, FL:58kb, RI:65%, GC:35%, S:0Mb, RSS:7496Kb -> 7632Kb]
[GC#5(1.5ms)688kb(91%)+L24kb -> 464kb(90%)+L16kb, FL:142kb, RI:81%, GC:19%, S:0Mb, RSS:8068Kb -> 8652Kb]
[GC#6(1.8ms)744kb(94%)+L144kb -> 672kb(93%)+L144kb, FL:116kb, RI:81%, GC:19%, S:0Mb, RSS:10120Kb -> 10240Kb]
[GC#7(2.8ms)1360kb(97%)+L144kb -> 904kb(94%)+L144kb, FL:187kb, RI: 0%, GC:100%, S:0Mb, RSS:10252Kb -> 11060Kb]
[GC#8(4.9ms)1824kb(92%)+L208kb -> 1720kb(93%)+L208kb, FL:285kb, RI:92%, GC: 8%, S:0Mb, RSS:12848Kb -> 14284Kb]
MLton 20220120.203640-g04a41e3c7-dirty starting
   Compile SML starting
      frontend starting
         parseAndElaborate starting
[GC#9(5.1ms)3456kb(74%)+L264kb -> 3064kb(71%)+L240kb, FL:517kb, RI:95%, GC: 5%, S:0Mb, RSS:16204Kb -> 18984Kb]
[GC#10(6.3ms)6144kb(46%)+L240kb -> 5648kb(42%)+L240kb, FL:794kb, RI:88%, GC:12%, S:0Mb, RSS:20248Kb -> 23920Kb]
[GC#11(10.0ms)11312kb(70%)+L264kb -> 6560kb(48%)+L256kb, FL:1480kb, RI:56%, GC:44%, S:0Mb, RSS:28524Kb -> 33412Kb]
[GC#12(9.6ms)13136kb(80%)+L256kb -> 6616kb(60%)+L256kb, FL:1673kb, RI:48%, GC:52%, S:0Mb, RSS:34212Kb -> 36100Kb]
[GC#13(9.8ms)13256kb(84%)+L288kb -> 6808kb(70%)+L272kb, FL:1749kb, RI:49%, GC:51%, S:0Mb, RSS:36156Kb -> 37288Kb]
[GC#14(12.2ms)13632kb(85%)+L272kb -> 7552kb(73%)+L272kb, FL:1756kb, RI:48%, GC:52%, S:0Mb, RSS:37304Kb -> 38672Kb]
[GC#15(12.9ms)15144kb(85%)+L272kb -> 8904kb(75%)+L272kb, FL:1987kb, RI:56%, GC:44%, S:0Mb, RSS:38720Kb -> 41736Kb]
[GC#16(16.4ms)17824kb(62%)+L272kb -> 14472kb(52%)+L272kb, FL:2291kb, RI:50%, GC:50%, S:0Mb, RSS:42756Kb -> 50660Kb]
[GC#17(22.4ms)28968kb(94%)+L272kb -> 12808kb(85%)+L272kb, FL:3699kb, RI:30%, GC:70%, S:0Mb, RSS:51456Kb -> 60988Kb]
[GC#18(17.5ms)28960kb(95%)+L336kb -> 13848kb(89%)+L304kb, FL:3669kb, RI:25%, GC:75%, S:0Mb, RSS:61064Kb -> 62184Kb]
[GC#19(23.3ms)28960kb(92%)+L328kb -> 13432kb(83%)+L320kb, FL:3721kb, RI:38%, GC:62%, S:0Mb, RSS:62240Kb -> 62240Kb]
[GC#20(28.4ms)28960kb(92%)+L352kb -> 15296kb(86%)+L336kb, FL:3688kb, RI:50%, GC:50%, S:0Mb, RSS:62284Kb -> 63800Kb]
[GC#21(26.5ms)30608kb(90%)+L464kb -> 18136kb(84%)+L400kb, FL:3833kb, RI:54%, GC:46%, S:0Mb, RSS:64004Kb -> 68240Kb]
[GC#22(36.2ms)36296kb(94%)+L400kb -> 19360kb(89%)+L400kb, FL:4580kb, RI:44%, GC:56%, S:0Mb, RSS:68280Kb -> 75320Kb]
[GC#23(35.8ms)38744kb(94%)+L400kb -> 20880kb(89%)+L400kb, FL:4890kb, RI:42%, GC:58%, S:0Mb, RSS:75336Kb -> 79312Kb]
[GC#24(43.2ms)41792kb(94%)+L400kb -> 24224kb(90%)+L400kb, FL:5272kb, RI:62%, GC:38%, S:0Mb, RSS:79372Kb -> 85760Kb]
[GC#25(47.7ms)48464kb(95%)+L400kb -> 25776kb(90%)+L400kb, FL:6078kb, RI:42%, GC:58%, S:0Mb, RSS:85776Kb -> 93872Kb]
[GC#26(50.5ms)51584kb(95%)+L400kb -> 28704kb(91%)+L400kb, FL:6512kb, RI:50%, GC:50%, S:0Mb, RSS:93912Kb -> 100124Kb]
[GC#27(62.0ms)57424kb(95%)+L400kb -> 31216kb(92%)+L400kb, FL:7198kb, RI:49%, GC:51%, S:0Mb, RSS:100164Kb -> 108328Kb]
[GC#28(56.3ms)62448kb(96%)+L400kb -> 31992kb(92%)+L400kb, FL:7901kb, RI:63%, GC:37%, S:0Mb, RSS:108340Kb -> 114436Kb]
[GC#29(54.1ms)64024kb(96%)+L400kb -> 32720kb(92%)+L400kb, FL:8010kb, RI:63%, GC:37%, S:0Mb, RSS:114440Kb -> 116388Kb]
[GC#30(53.0ms)65504kb(96%)+L400kb -> 33496kb(92%)+L400kb, FL:8213kb, RI:63%, GC:37%, S:0Mb, RSS:116392Kb -> 118708Kb]
[GC#31(54.1ms)67008kb(96%)+L400kb -> 34328kb(92%)+L400kb, FL:8409kb, RI:63%, GC:37%, S:0Mb, RSS:118720Kb -> 121076Kb]
[GC#32(55.3ms)68672kb(96%)+L400kb -> 35080kb(93%)+L400kb, FL:8615kb, RI:63%, GC:37%, S:0Mb, RSS:121088Kb -> 123492Kb]
[GC#33(60.6ms)70176kb(96%)+L400kb -> 35880kb(93%)+L400kb, FL:8815kb, RI:63%, GC:37%, S:0Mb, RSS:123496Kb -> 125848Kb]
[GC#34(63.9ms)71816kb(96%)+L400kb -> 36680kb(93%)+L400kb, FL:9015kb, RI:63%, GC:37%, S:0Mb, RSS:125848Kb -> 128264Kb]
[GC#35(66.4ms)73376kb(96%)+L400kb -> 37592kb(93%)+L400kb, FL:9201kb, RI:63%, GC:37%, S:0Mb, RSS:128268Kb -> 130704Kb]
[GC#36(79.3ms)75208kb(97%)+L400kb -> 40624kb(94%)+L400kb, FL:9422kb, RI:53%, GC:47%, S:0Mb, RSS:130724Kb -> 135540Kb]
[GC#37(91.6ms)81264kb(96%)+L400kb -> 46640kb(92%)+L400kb, FL:10170kb, RI:48%, GC:52%, S:0Mb, RSS:135568Kb -> 147588Kb]
[GC#38(123.5ms)93296kb(97%)+L400kb -> 52768kb(95%)+L400kb, FL:11704kb, RI:56%, GC:44%, S:0Mb, RSS:147612Kb -> 165904Kb]
[GC#39(138.0ms)105568kb(98%)+L400kb -> 60344kb(96%)+L400kb, FL:13257kb, RI:56%, GC:44%, S:0Mb, RSS:165912Kb -> 185828Kb]
[GC#40(137.8ms)120704kb(98%)+L400kb -> 67552kb(96%)+L400kb, FL:15156kb, RI:48%, GC:52%, S:0Mb, RSS:185844Kb -> 208200Kb]
[GC#41(127.7ms)135120kb(98%)+L400kb -> 71728kb(97%)+L400kb, FL:16934kb, RI:46%, GC:54%, S:0Mb, RSS:208216Kb -> 226696Kb]
[GC#42(147.3ms)143496kb(99%)+L400kb -> 76856kb(97%)+L400kb, FL:17993kb, RI:44%, GC:56%, S:0Mb, RSS:226712Kb -> 240256Kb]
[GC#43(148.8ms)153728kb(98%)+L400kb -> 85200kb(97%)+L400kb, FL:19250kb, RI:49%, GC:51%, S:0Mb, RSS:240268Kb -> 258744Kb]
[GC#44(173.9ms)170416kb(98%)+L400kb -> 93128kb(97%)+L400kb, FL:21359kb, RI:42%, GC:58%, S:0Mb, RSS:258756Kb -> 283456Kb]
[GC#45(179.3ms)186272kb(99%)+L400kb -> 100696kb(98%)+L400kb, FL:23313kb, RI:49%, GC:51%, S:0Mb, RSS:283464Kb -> 306804Kb]
[GC#46(194.2ms)201408kb(98%)+L656kb -> 111496kb(97%)+L528kb, FL:25263kb, RI:45%, GC:55%, S:0Mb, RSS:307068Kb -> 333224Kb]
[GC#47(216.7ms)223008kb(99%)+L528kb -> 119360kb(98%)+L528kb, FL:27880kb, RI:42%, GC:58%, S:0Mb, RSS:333236Kb -> 362356Kb]
[GC#48(274.3ms)238736kb(99%)+L528kb -> 134640kb(98%)+L528kb, FL:29870kb, RI:51%, GC:49%, S:0Mb, RSS:362384Kb -> 393472Kb]
[GC#49(178.6ms)269296kb(100%)+L827kb -> 87152kb(99%)+L827kb, FL:35806kb, RI:26%, GC:74%, S:0Mb, RSS:393816Kb -> 393816Kb]
         parseAndElaborate finished in 8.16 + 0.00 (0% GC)
         deadCode starting
         deadCode finished in 0.02 + 0.00 (0% GC)
         defunctorize starting
         defunctorize finished in 0.09 + 0.00 (0% GC)
         frontend:typeCheck starting
         frontend:typeCheck finished in 0.05 + 0.00 (0% GC)
      frontend finished in 8.32 + 0.00 (0% GC)
      xmlSimplify starting
         xmlShrink starting
         xmlShrink finished in 0.04 + 0.00 (0% GC)
         xmlSimplifyTypes starting
         xmlSimplifyTypes finished in 0.01 + 0.00 (0% GC)
         xmlSimplify:typeCheck starting
         xmlSimplify:typeCheck finished in 0.03 + 0.00 (0% GC)
      xmlSimplify finished in 0.08 + 0.00 (0% GC)
      monomorphise starting
         monomorphise:typeCheck starting
         monomorphise:typeCheck finished in 0.02 + 0.00 (0% GC)
      monomorphise finished in 0.06 + 0.00 (0% GC)
      sxmlSimplify starting
         sxmlShrink1 starting
         sxmlShrink1 finished in 0.03 + 0.00 (0% GC)
         implementSuffix starting
         implementSuffix finished in 0.00 + 0.00 (0% GC)
         sxmlShrink2 starting
         sxmlShrink2 finished in 0.03 + 0.00 (0% GC)
         implementExceptions starting
         implementExceptions finished in 0.00 + 0.00 (0% GC)
         sxmlShrink3 starting
         sxmlShrink3 finished in 0.02 + 0.00 (0% GC)
         polyvariance starting
            duplicate1 starting
            duplicate1 finished in 0.03 + 0.00 (0% GC)
            duplicate2 starting
            duplicate2 finished in 0.03 + 0.00 (0% GC)
         polyvariance finished in 0.06 + 0.00 (0% GC)
         sxmlShrink4 starting
         sxmlShrink4 finished in 0.02 + 0.00 (0% GC)
         sxmlSimplify:typeCheck starting
         sxmlSimplify:typeCheck finished in 0.01 + 0.00 (0% GC)
      sxmlSimplify finished in 0.17 + 0.00 (0% GC)
      closureConvert starting
         flow analysis starting
         flow analysis finished in 0.01 + 0.00 (0% GC)
         free variables starting
         free variables finished in 0.00 + 0.00 (0% GC)
         globalize starting
         globalize finished in 0.01 + 0.00 (0% GC)
         convert starting
[GC#50(91.6ms)269304kb(96%)+L1249kb -> 23776kb(51%)+L922kb, FL:43728kb, RI:44%, GC:56%, S:0Mb, RSS:395700Kb -> 395700Kb]
         convert finished in 0.14 + 0.00 (0% GC)
         closureConvert:typeCheck starting
         closureConvert:typeCheck finished in 0.05 + 0.00 (0% GC)
      closureConvert finished in 0.21 + 0.00 (0% GC)
      ssaSimplify starting
         removeUnused1 starting
         removeUnused1 finished in 0.04 + 0.00 (0% GC)
         introduceLoops1 starting
         introduceLoops1 finished in 0.00 + 0.00 (0% GC)
         loopInvariant1 starting
         loopInvariant1 finished in 0.01 + 0.00 (0% GC)
         inlineLeaf1 starting
         inlineLeaf1 finished in 0.02 + 0.00 (0% GC)
         inlineLeaf2 starting
         inlineLeaf2 finished in 0.01 + 0.00 (0% GC)
         contify1 starting
         contify1 finished in 0.01 + 0.00 (0% GC)
         localFlatten1 starting
         localFlatten1 finished in 0.00 + 0.00 (0% GC)
         constantPropagation starting
         constantPropagation finished in 0.03 + 0.00 (0% GC)
         duplicateGlobals1 skipped
         splitTypes1 starting
         splitTypes1 finished in 0.01 + 0.00 (0% GC)
         useless starting
         useless finished in 0.01 + 0.00 (0% GC)
         loopUnroll1 skipped
         removeUnused2 starting
         removeUnused2 finished in 0.01 + 0.00 (0% GC)
         duplicateGlobals2 starting
         duplicateGlobals2 finished in 0.00 + 0.00 (0% GC)
         splitTypes2 starting
         splitTypes2 finished in 0.00 + 0.00 (0% GC)
         simplifyTypes starting
         simplifyTypes finished in 0.01 + 0.00 (0% GC)
         polyEqual starting
         polyEqual finished in 0.00 + 0.00 (0% GC)
         polyHash starting
         polyHash finished in 0.00 + 0.00 (0% GC)
         introduceLoops2 starting
         introduceLoops2 finished in 0.00 + 0.00 (0% GC)
         loopInvariant2 starting
         loopInvariant2 finished in 0.00 + 0.00 (0% GC)
         loopUnswitch1 skipped
         knownCase1 skipped
         contify2 starting
         contify2 finished in 0.01 + 0.00 (0% GC)
         inlineNonRecursive starting
         inlineNonRecursive finished in 0.00 + 0.00 (0% GC)
         localFlatten2 starting
         localFlatten2 finished in 0.00 + 0.00 (0% GC)
         removeUnused3 starting
         removeUnused3 finished in 0.00 + 0.00 (0% GC)
         contify3 starting
         contify3 finished in 0.00 + 0.00 (0% GC)
         introduceLoops3 starting
         introduceLoops3 finished in 0.00 + 0.00 (0% GC)
         loopInvariant3 starting
         loopInvariant3 finished in 0.01 + 0.00 (0% GC)
         localRef starting
         localRef finished in 0.00 + 0.00 (0% GC)
         flatten starting
         flatten finished in 0.01 + 0.00 (0% GC)
         localFlatten3 starting
         localFlatten3 finished in 0.00 + 0.00 (0% GC)
         combineConversions starting
         combineConversions finished in 0.01 + 0.00 (0% GC)
         commonArg starting
         commonArg finished in 0.00 + 0.00 (0% GC)
         commonSubexp1 starting
         commonSubexp1 finished in 0.01 + 0.00 (0% GC)
         commonBlock starting
         commonBlock finished in 0.00 + 0.00 (0% GC)
         shareZeroVec starting
         shareZeroVec finished in 0.00 + 0.00 (0% GC)
         redundantTests starting
         redundantTests finished in 0.01 + 0.00 (0% GC)
         redundant starting
         redundant finished in 0.00 + 0.00 (0% GC)
         loopUnswitch2 skipped
         knownCase2 starting
         knownCase2 finished in 0.01 + 0.00 (0% GC)
         loopUnroll2 skipped
         commonSubexp2 skipped
         removeUnused4 starting
         removeUnused4 finished in 0.01 + 0.00 (0% GC)
         ssaOrderFunctions starting
         ssaOrderFunctions finished in 0.00 + 0.00 (0% GC)
         ssaSimplify:typeCheck starting
         ssaSimplify:typeCheck finished in 0.00 + 0.00 (0% GC)
      ssaSimplify finished in 0.25 + 0.00 (0% GC)
      toSsa2 starting
         toSsa2:typeCheck starting
         toSsa2:typeCheck finished in 0.01 + 0.00 (0% GC)
      toSsa2 finished in 0.01 + 0.00 (0% GC)
      ssa2Simplify starting
         deepFlatten starting
         deepFlatten finished in 0.01 + 0.00 (0% GC)
         refFlatten starting
         refFlatten finished in 0.00 + 0.00 (0% GC)
         removeUnused5 starting
         removeUnused5 finished in 0.01 + 0.00 (0% GC)
         zone skipped
         ssa2OrderFunctions starting
         ssa2OrderFunctions finished in 0.00 + 0.00 (0% GC)
         ssa2Simplify:typeCheck starting
         ssa2Simplify:typeCheck finished in 0.00 + 0.00 (0% GC)
      ssa2Simplify finished in 0.02 + 0.00 (0% GC)
      toRssa starting
         toRssa:typeCheck skipped
      toRssa finished in 0.01 + 0.00 (0% GC)
      rssaSimplify starting
         rssaShrink1 starting
         rssaShrink1 finished in 0.01 + 0.00 (0% GC)
         collectStatics.WordXVectorConsts starting
         collectStatics.WordXVectorConsts finished in 0.00 + 0.00 (0% GC)
         collectStatics.Globals starting
         collectStatics.Globals finished in 0.00 + 0.00 (0% GC)
         collectStatics.RealConsts starting
         collectStatics.RealConsts finished in 0.00 + 0.00 (0% GC)
         insertChecks starting
         insertChecks finished in 0.00 + 0.00 (0% GC)
         rssaShrink2 starting
         rssaShrink2 finished in 0.01 + 0.00 (0% GC)
         bounceVars starting
         bounceVars finished in 0.02 + 0.00 (0% GC)
         implementHandlers starting
         implementHandlers finished in 0.00 + 0.00 (0% GC)
         rssaShrink3 starting
         rssaShrink3 finished in 0.00 + 0.00 (0% GC)
         implementProfiling starting
         implementProfiling finished in 0.00 + 0.00 (0% GC)
         rssaOrderFunctions starting
         rssaOrderFunctions finished in 0.00 + 0.00 (0% GC)
         rssaShuffle skipped
         rssaSimplify:typeCheck skipped
      rssaSimplify finished in 0.04 + 0.00 (0% GC)
      backend starting
         backend:typeCheck skipped
      backend finished in 0.03 + 0.00 (0% GC)
      machineSimplify starting
         machineShuffle skipped
         machineSimplify:typeCheck skipped
      machineSimplify finished in 0.00 + 0.00 (0% GC)
      amd64Codegen starting
         outputAssembly starting
[GC#51(87.6ms)269296kb(100%)+L1163kb -> 16536kb(95%)+L893kb, FL:44633kb, RI:43%, GC:57%, S:0Mb, RSS:401508Kb -> 401520Kb]
            translateChunk totals 0.13 + 0.00 (0% GC)
            simplify totals 0.03 + 0.00 (0% GC)
               completeLiveInfo totals 0.01 + 0.00 (0% GC)
            generateTransfers totals 0.06 + 0.00 (0% GC)
               computeLiveTransfers totals 0.01 + 0.00 (0% GC)
            allocateRegisters totals 0.26 + 0.00 (0% GC)
         outputAssembly finished in 0.50 + 0.00 (0% GC)
         outputC starting
         outputC finished in 0.00 + 0.00 (0% GC)
      amd64Codegen finished in 0.50 + 0.00 (0% GC)
   Compile SML finished in 9.70 + 0.00 (0% GC)
   Compile and Assemble starting
      cc -c -I/Users/mael/gits/mlton/build/lib/mlton/targets/self/include \
          -std=gnu11 -fno-common -O1 -fno-strict-aliasing \
          -foptimize-sibling-calls -w \
          -I/Users/mael/gits/mlton/build/lib/mlton/include -m64 -arch x86_64 \
          -o /var/folders/nx/nc0__xh51mj6fc_3ljp5qcpm0000gn/T/fileausM3z.o \
          /var/folders/nx/nc0__xh51mj6fc_3ljp5qcpm0000gn/T/filePldRcS.1.c
      cc -c -m64 -o \
          /var/folders/nx/nc0__xh51mj6fc_3ljp5qcpm0000gn/T/filexvuaAN.o \
          /var/folders/nx/nc0__xh51mj6fc_3ljp5qcpm0000gn/T/fileqiGK0P.0.s
   Compile and Assemble finished in 0.25 + 0.00 (0% GC)
   Link starting
      cc -o hello \
          /var/folders/nx/nc0__xh51mj6fc_3ljp5qcpm0000gn/T/fileausM3z.o \
          /var/folders/nx/nc0__xh51mj6fc_3ljp5qcpm0000gn/T/filexvuaAN.o \
          -L/Users/mael/gits/mlton/build/lib/mlton/targets/self -lmlton \
          -lgdtoa -lm -lgmp -m64 -arch x86_64
   Link finished in 0.10 + 0.00 (0% GC)
MLton 20220120.203640-g04a41e3c7-dirty finished in 10.06 + 0.00 (0% GC)
[GC(3348.6ms): 51 collections, 46700kb rpages, RI:49%, GC:51%, Frag avg: 9%]
bash-3.2$ ./hello 
Hi there: 28

[MatthewFluet]

Nice! Is the "Hi there: 28" the correct/expected output?

The GC behavior during a run of the MLKit compiled MLton looks fairly similar to that during a run of a MLton compiled MLton, with the same GC heavy parseAndElaborate, closureConvert.convert, and amd64Codegen passes; the MLton compiled MLton also has a few other places where GCs happen through some of the optimization passes.

[melsman]

Thanks for the info! Yes, the "Hi there: 28" is the expected output... ;) I haven't tried to bootstrap yet...