[MLton] commit r4725: Statically-linked wrapper functions for Intel Mac

John Reppy jhr at cs.uchicago.edu
Sun Oct 29 17:21:42 PST 2006


I updated from svn, did a "make clean" and then a "make all-no-docs",  
but the build
is now failing at

Compiling mlton (takes a while)
mlton @MLton ram-slop 0.7 gc-summary  -- -default-ann  
'sequenceNonUnit warn' -default-ann 'warnUnused true' -target self - 
verbose 2 -output mlton-compile  mlton.mlb
MLton starting
MLton MLTONVERSION (built Sun Oct 29 19:05:35 2006 on frogbat.local)
   created this file on Sun Oct 29 19:08:00 2006.
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): warn
    elaborate sequenceNonUnit (enabled): true
    elaborate warnUnused (default): true
    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: /Users/jhr/Work/mlton/mlton/build/lib
    lib target dir: /Users/jhr/Work/mlton/mlton/build/lib/self
    loop passes: 1
    mark cards: true
    max function size: 10000
    mlb path maps: [/Users/jhr/Work/mlton/mlton/build/lib/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>, <DEFANGED_xmlPassesSet>]
    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: Darwin
    type check: false
    verbosity: Pass
    warn unrecognized annotation: true
    xmlPassesSet: <DEFANGED_xmlPassesSet>
    xmlPasses: [default]
    zone cut depth: 100
    Compile SML starting
       pre codegen starting
          parseAndElaborate starting
Error: front-end/mlb.lex.sml 1820.20.
   Undefined structure Unsafe.
Error: front-end/mlb.lex.sml 1836.36.
   Undefined structure Unsafe.
Error: front-end/mlb.lex.sml 1838.27.
   Undefined structure Unsafe.
          parseAndElaborate raised in 18.04 + 0.00 (0% GC)
       pre codegen raised in 18.04 + 0.00 (0% GC)
    Compile SML raised in 18.04 + 0.00 (0% GC)
MLton raised in 18.04 + 0.00 (0% GC)
compilation aborted: elaborate reported errors
GC type         time ms  number           bytes       bytes/sec
-------------   ------- ------- --------------- ---------------
copying           4,871       9     493,817,248     101,379,028
mark-compact          0       0               0               -
minor             1,786       4     121,934,916      68,272,627
total GC time: 8,919 ms (48.9%)
max pause: 3,253 ms
total allocated: 2,216,675,828 bytes
max live: 231,191,540 bytes
max semispace: 1,503,240,192 bytes
max stack size: 183,936 bytes
marked cards: 17,407
minor scanned: 6,459,916 bytes
minor skipped: 0 bytes
make[2]: *** [mlton-compile] Error 1
make[2]: Leaving directory `/Users/jhr/Work/mlton/mlton/mlton'
make[1]: *** [compiler] Error 2
make[1]: Leaving directory `/Users/jhr/Work/mlton/mlton'
make: *** [all-no-docs] Error 2
make: Leaving directory `/Users/jhr/Work/mlton/mlton'

On Oct 29, 2006, at 11:13 AM, Matthew Fluet wrote:

>
> I committed a change that expands '.symbol_stub' to '.section ...',  
> as advocated by the Apple engineers.
>
> On Sun, 29 Oct 2006, John Reppy wrote:
>
>> I posted a question on the XCode mailing list and one of the Apple  
>> engineers
>> supplied the answer.  You should generate
>>
>> 	.section __IMPORT,__jump_table,symbol_stubs,self_modifying_code  
>> +pure_instructions,5
>>
>> instead of
>>
>> 	.symbol_stub
>>
>> The manual claims that these are the same, but apparently not.
>>
>> 	- John
>>
>> On Oct 28, 2006, at 2:32 PM, Matthew Fluet wrote:
>>
>>>> The changes seem to have addressed the problem with the  
>>>> regressions. There are a bunch of ~0.0 vs. 0.0 failures in the  
>>>> real tests, but the other regressions ran fine.  As expected,  
>>>> the FFI stuff causes the same problems as with the math  
>>>> functions.  I think that you are going to have to modify the  
>>>> code generator to produce the dynamic linking stubs on Mac OS X.
>>> Great.  At r4732, I went ahead and modified the code generator to  
>>> produce dynamic linking stubs on x86-darwin.  If you get a chance  
>>> to update to the latest SVN sources and re-compile, it should be  
>>> the case that FFI works properly.
>>
>>
>> _______________________________________________
>> MLton mailing list
>> MLton at mlton.org
>> http://mlton.org/mailman/listinfo/mlton
>>
>



More information about the MLton mailing list