[MLton-devel] Problem with -exn-history true

[Alain Deutsch]

Back to the robustness problem we have with -exn-history true.

I performed the action you asked, relaunching with -type-check
true). The result is included here:

            typeCheck starting
               checkScopes starting
               checkScopes finished in 0.69 + 0.0 (0.0% GC)
            typeCheck finished in 1.13 + 0.0 (0.0% GC)
            num functions 5963
            num blocks 134573
            num statements 204543     
            constantPropagation starting
               fixed point starting
               fixed point finished in 0.83 + 0.0 (0.0% GC)
            constantPropagation finished in 2.06 + 0.0 (0.0% GC)
            post.ssa size is 38,158,136 bytes
            numPeeks = 211779314
            maxLength = 4
            average position in property list = 0.070
            numPeeks = 6009360
            average position in bucket = 1.480
            typeCheck starting
               checkScopes starting
               checkScopes finished in 0.68 + 0.0 (0.0% GC)
            typeCheck finished in 1.11 + 0.60 (35% GC)
            num functions 5963
            num blocks 128264
            num statements 153174
            useless starting
            useless raised in 3.09 + 0.0 (0.0% GC)
         closureConvertSimplify raised in 21.65 + 3.62 (14% GC)
      pre codegen raised in 68.61 + 31.97 (32% GC)
   Compile SML raised in 68.61 + 31.97 (32% GC)
MLton raised in 68.61 + 31.97 (32% GC)
mlton: x_0 has no analyze var value property                                    

How can we proceed ? Thanks.

--
Alain Deutsch, CTO              tel.: +33 (0)1 49 65 32 64
PolySpace Technologies          fax.: +33 (0)1 49 65 05 77
mailto:deutsch@POLYSPACE.COM    http://www.polyspace.com




-------------------------------------------------------
This sf.net email is sponsored by: OSDN - Tired of that same old
cell phone?  Get a new here for FREE!
https://www.inphonic.com/r.asp?r=sourceforge1&refcode1=vs3390
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel