[MLton] HOL on MLton

Joe Hurd joe.hurd@comlab.ox.ac.uk
Sun, 19 Oct 2003 17:35:29 +0100 (BST)


I've now tried to compile HOL on a machine with 1.5Gb, using
mlton-20030716. Though it gets pretty far, it fails while trying to
write a large temporary file

-rw-------    1 jeh1004  jeh1004  92639232 Oct 19 17:29 FromSpacevzJm5f

into a 100Mb /tmp partition. For interest, the compile log follows.
Any chance I could tell mlton not to use /tmp, but somewhere else?

Joe

_________________________________________________

mlton -basis 1997 -verbose 2 -exn-history true bin/psl1.sml
MLton starting
MLton 20030716 (built Wed Jul 16 10:23:10 2003 on redhat71)
  created this file on Sun Oct 19 17:08:08 2003.
Do not edit this file.
Flag settings:
   align: 4
   basis library: basis-1997
   log2 (card size): 8
   chunk: chunk per function
   debug: false
   defines: []
   detect overflow: true
   drop passes: []
   eliminate overflow: true
   export header: false
   exn history: true
   gc check: Limit
   handlers: Flow
   host: self
   host arch: X86
   host OS: Linux
   indentation: 3
   inline: NonRecursive {product = 320, small = 60}
   input file: psl1
   instrument: false
   instrument Sxml: false
   keep Machine: false
   keep RSSA: false
   keep SSA: false
   keep diagnostics: []
   keep dot: false
   keep passes: []
   lib dir: /local/scratch/jeh1004/binaries/mlton-20030716/usr/lib/mlton/self
   limit check: loop headers (fullCFG = false, loopExits = true)
   limit check counts: false
   loop passes: 1
   mark cards: true
   may load world: true
   native: true
   native commented: 0
   native live stack: false
   native optimize: 1
   native move hoist: true
   native copy prop: true
   native cutoff: 100
   native live transfer: 8
   native future: 64
   native shuffle: true
   native ieee fp: false
   native split: Some 20000
   new return: false
   polyvariance: Some {rounds = 2, small = 30, product = 300}
   profile: None
   profile basis: false
   profile IL: ProfileSource
   profile stack: false
   safe: true
   show basis used: false
   show types: false
   stack cont: false
   static: false
   TextIO buffer size: 4096
   type check: false
   use basis library: true
   variant: header
   verbosity: Pass
   Compile SML starting
      pre codegen starting
         parseAndElaborate starting
         parseAndElaborate finished in 9.22 + 5.76 (38% GC)
         lex and parse totals 7.47 + 5.76 (44% GC)
         elaborate totals 1.75 + 0.00 (0% GC)
         deadCode starting
         deadCode finished in 0.27 + 0.00 (0% GC)
         infer starting
            unification starting
            unification finished in 5.32 + 6.50 (55% GC)
            finishInfer starting
            finishInfer finished in 3.39 + 3.84 (53% GC)
         infer finished in 9.27 + 10.34 (53% GC)
         inferSimplify starting
            xmlShrink1 starting
            xmlShrink1 finished in 4.30 + 4.53 (51% GC)
            simplifyTypes starting
            simplifyTypes finished in 0.95 + 0.00 (0% GC)
         inferSimplify finished in 9.37 + 6.22 (40% GC)
         mono starting
         mono finished in 4.17 + 3.25 (44% GC)
         monoSimplify starting
            sxmlShrink1 starting
            sxmlShrink1 finished in 3.51 + 1.21 (26% GC)
            implementExceptions starting
            implementExceptions finished in 0.38 + 1.25 (77% GC)
            sxmlShrink2 starting
            sxmlShrink2 finished in 3.86 + 5.42 (58% GC)
            polyvariance starting
            polyvariance finished in 11.98 + 12.07 (50% GC)
         monoSimplify finished in 21.93 + 23.37 (52% GC)
         closureConvert starting
            flow analysis starting
            flow analysis finished in 2.66 + 0.00 (0% GC)
            free variables starting
            free variables finished in 0.72 + 0.00 (0% GC)
            globalize starting
            globalize finished in 0.57 + 0.00 (0% GC)
            convert starting
            convert finished in 7.48 + 8.81 (54% GC)
         closureConvert finished in 11.97 + 8.81 (42% GC)
         closureConvertSimplify starting
            checkScopes starting
            checkScopes finished in 2.56 + 0.66 (20% GC)
            removeUnused1 starting
            removeUnused1 finished in 4.29 + 5.72 (57% GC)
            leafInline starting
            leafInline finished in 1.83 + 10.58 (85% GC)
            contify1 starting
            contify1 finished in 1.93 + 0.00 (0% GC)
            localFlatten1 starting
            localFlatten1 finished in 1.66 + 0.00 (0% GC)
            constantPropagation starting
            constantPropagation finished in 5.75 + 7.64 (57% GC)
            useless starting
            useless finished in 8.52 + 11.70 (58% GC)
            removeUnused2 starting
            removeUnused2 finished in 2.31 + 1.21 (34% GC)
            simplifyTypes starting
            simplifyTypes finished in 2.37 + 2.06 (47% GC)
            polyEqual starting
            polyEqual finished in 0.93 + 0.98 (51% GC)
            contify2 starting
            contify2 finished in 1.43 + 1.62 (53% GC)
            inline starting
            inline finished in 2.48 + 7.67 (76% GC)
            localFlatten2 starting
            localFlatten2 finished in 1.87 + 0.00 (0% GC)
            removeUnused3 starting
            removeUnused3 finished in 2.49 + 2.01 (45% GC)
            contify3 starting
            contify3 finished in 1.76 + 0.00 (0% GC)
            introduceLoops starting
            introduceLoops finished in 0.04 + 0.00 (0% GC)
            loopInvariant starting
            loopInvariant finished in 1.71 + 0.00 (0% GC)
            localRef starting
            localRef finished in 4.25 + 2.37 (36% GC)
            flatten starting
            flatten finished in 2.28 + 1.29 (36% GC)
            localFlatten3 starting
            localFlatten3 finished in 1.61 + 0.00 (0% GC)
            commonArg starting
            commonArg finished in 376.35 + 2.07 (1% GC)
            commonSubexp starting
            commonSubexp finished in 2.84 + 0.98 (26% GC)
            commonBlock starting
            commonBlock finished in 1.22 + 0.00 (0% GC)
            redundantTests starting
            redundantTests finished in 2.02 + 1.04 (34% GC)
            redundant starting
            redundant finished in 1.10 + 0.00 (0% GC)
            knownCase starting
            knownCase finished in 10.42 + 17.60 (63% GC)
            removeUnused4 starting
            removeUnused4 finished in 2.39 + 2.02 (46% GC)
            checkScopes starting
            checkScopes finished in 1.32 + 0.52 (28% GC)
         closureConvertSimplify finished in 451.64 + 79.74 (15% GC)
         backend starting
            ssaToRssa starting
            ssaToRssa finished in 1.34 + 1.19 (47% GC)
            insertLimitChecks starting
            insertLimitChecks finished in 2.00 + 1.95 (49% GC)
            insertSignalChecks starting
            insertSignalChecks finished in 0.07 + 0.00 (0% GC)
            implementHandlers starting
            implementHandlers finished in 0.56 + 5.28 (90% GC)
            profile starting
            profile finished in 0.00 + 0.00 (0% GC)
sfwrite failed (No space left on device)
make: *** [bin/psl1] Error 1
thalamus:~/hol/tools/mlton$ df
Filesystem           1k-blocks      Used Available Use% Mounted on
/dev/vg01/tmp           100744     95624         0 100% /tmp

_______________________________________________
MLton mailing list
MLton@mlton.org
http://www.mlton.org/mailman/listinfo/mlton