[MLton-user] can't build svn trunk from source

[Dave Herman]

I'm trying to build the latest MLton from source (I'm hoping Unicode 
support is available there -- is it?), thus far to no avail. I 
downloaded the binaries for Cygwin (are there any available that are 
more recent than 20051202?), then got the svn sources, and ran make.

Below are what appeared to be the relevant errors; I've snipped the rest 
for brevity.

Thanks,
Dave

----------------------------------------

make -C "mlyacc" docs
Error: src/sources.cm 0.0.
   File yacc.grm.sig does not exist.
Error: src/sources.cm 0.0.
   File yacc.grm.sml does not exist.
Error: src/sources.cm 0.0.
   File yacc.lex.sml does not exist.

...

make -C "/c/mltonsrc/mlton"
Error: mlton.cm 0.0.
   File upgrade-basis.sml does not exist.
Error: ../front-end/sources.cm 0.0.
   File ml.grm.sig does not exist.
Error: ../front-end/sources.cm 0.0.
   File ml.grm.sml does not exist.
Error: ../front-end/sources.cm 0.0.
   File ml.lex.sml does not exist.
Error: ../front-end/sources.cm 0.0.
   File mlb.grm.sig does not exist.
Error: ../front-end/sources.cm 0.0.
   File mlb.grm.sml does not exist.
Error: ../front-end/sources.cm 0.0.
   File mlb.lex.sml does not exist.

...

make upgrade-basis.sml
Error: mlton.cm 0.0.
   File upgrade-basis.sml does not exist.

...

Compiling mlton (takes a while)
mlton @MLton max-heap 640m ram-slop 0.7 gc-summary  -- -target self 
-verbose 2 -
output "mlton-compile"  mlton.cm
MLton starting
MLton 20051202 (built Fri Dec 02 14:17:02 2005 on CYGWIN)
   created this file on Fri May 25 04:31:23 2007.
Do not edit this file.
Flag settings:
    align: 4
    atMLtons: (mlton-compile, @MLton, --)
    chunk: chunk per function
    codegen: Native
    contifyIntoMain: false
    debug: false
    diag passes: []
    drop passes: []
    elaborate allowConstant (default): false
    elaborate allowConstant (enabled): true
    elaborate allowFFI (default): false
    elaborate allowFFI (enabled): true
    elaborate allowPrim (default): false
    elaborate allowPrim (enabled): true
    elaborate allowOverload (default): false
    elaborate allowOverload (enabled): true
    elaborate allowRebindEquals (default): false
    elaborate allowRebindEquals (enabled): true
    elaborate deadCode (default): false
    elaborate deadCode (enabled): true
    elaborate forceUsed (default): false
    elaborate forceUsed (enabled): true
    elaborate ffiStr (default):
    elaborate ffiStr (enabled): true
    elaborate nonexhaustiveExnMatch (default): default
    elaborate nonexhaustiveExnMatch (enabled): true
    elaborate nonexhaustiveMatch (default): warn
    elaborate nonexhaustiveMatch (enabled): true
    elaborate redundantMatch (default): warn
    elaborate redundantMatch (enabled): true
    elaborate sequenceNonUnit (default): ignore
    elaborate sequenceNonUnit (enabled): true
    elaborate warnUnused (default): false
    elaborate warnUnused (enabled): true
    elaborate only: false
    export header: None
    exn history: false
    gc check: Limit
    indentation: 3
    inline: NonRecursive {product = 320, small = 60}
    inlineIntoMain: true
    input file: mlton
    keep Machine: false
    keep RSSA: false
    keep SSA: false
    keep SSA2: false
    keep dot: false
    keep passes: []
    extra_: true
    lib dir: /usr\local\mlton-20051202-1\lib\mlton
    lib target dir: /usr\local\mlton-20051202-1\lib\mlton\self
    loop passes: 1
    mark cards: true
    max function size: 10000
    mlb path maps: [/usr/local/mlton-20051202-1/lib/mlton/mlb-path-map]
    native commented: 0
    native live stack: false
    native optimize: 1
    native move hoist: true
    native copy prop: true
    native copy prop cutoff: 1000
    native cutoff: 100
    native live transfer: 8
    native shuffle: true
    native ieee fp: false
    native split: Some 20000
    optimizationPassesSet: [<ssa2PassesSet>, <ssaPassesSet>, 
<sxmlPassesSet>, <xm
lPassesSet>]
    polyvariance: Some {rounds = 2, small = 30, product = 300}
    prof passes: []
    profile: None
    profile branch: false
    profile C: []
    profile IL: ProfileSource
    profile include/exclude: [(Seq [Star [.], Or [Seq [Seq [[<], [b], 
[a], [s], [
i], [s], [>]]]], Star [.]], false)]
    profile raise: false
    profile stack: false
    show basis: None
    show def-use: None
    show types: false
    ssaPassesSet: <ssaPassesSet>
    ssaPasses: [default]
    ssa2PassesSet: <ssa2PassesSet>
    ssa2Passes: [default]
    sxmlPassesSet: <sxmlPassesSet>
    sxmlPasses: [default]
    target: self
    target arch: X86
    target OS: Cygwin
    type check: false
    verbosity: Pass
    warn unrecognized annotation: true
    xmlPassesSet: <xmlPassesSet>
    xmlPasses: [default]
    zone cut depth: 100
    Compile SML starting
       pre codegen starting
          parseAndElaborate starting
Error: ..\lib\mlton\basic\vector.sml 10.29.
   Variable type in structure disagrees with argument signature.
     variable: unfoldi
     structure: _ -> ['a t]
     signature: _ -> ['a t * 'b]
          parseAndElaborate raised in 2.09 + 2.05 (49% GC)
       pre codegen raised in 2.09 + 2.05 (49% GC)
    Compile SML raised in 2.09 + 2.05 (49% GC)
MLton raised in 2.27 + 2.05 (47% GC)
compilation aborted: elaborate reported errors
GC type         time ms  number           bytes       bytes/sec
-------------   ------- ------- --------------- ---------------
copying           1,297      11     101,758,000      78,456,437
mark-compact          0       0               0               -
m