[MLton] Vector len passed to MakeFormalsRel

Lukasz S Ziarek lziarek@cs.purdue.edu
Fri, 27 Feb 2004 11:13:38 -0500 (EST)


Here is a short snippet of output from model-elimination running my
flattener. The numbers are the lengths of the vectors passed to
MakeFormalsRel.


MakeFormalsRel 2
MakeFormalsRel 4
MakeFormalsRel 155
MakeFormalsRel 270
MakeFormalsRel 2
MakeFormalsRel 2
MakeFormalsRel 4
MakeFormalsRel 1
MakeFormalsRel 152
MakeFormalsRel 274
MakeFormalsRel 2
MakeFormalsRel 128
MakeFormalsRel 248
MakeFormalsRel 13
MakeFormalsRel 12
MakeFormalsRel 2
MakeFormalsRel 3434
MakeFormalsRel 980
MakeFormalsRel 18
MakeFormalsRel 3
MakeFormalsRel 29
MakeFormalsRel 39
MakeFormalsRel 1550
MakeFormalsRel 4
MakeFormalsRel 6
MakeFormalsRel 6
MakeFormalsRel 6
MakeFormalsRel 11
MakeFormalsRel 3655
MakeFormalsRel 3656

Let me know if there is anything else I can send your way.

Luke