Segfault on conv.sml

[Matthew Fluet]

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.
  Send mail to mime@docserver.cac.washington.edu for more info.

---559023410-1903590565-974472258=:27969
Content-Type: TEXT/PLAIN; charset=US-ASCII


I'm getting a segfault on the attached file under both backends, both at
an vector length type call, so I'm assuming it's the same problem in both.

Other than that, the integration is going without any major problems.  I
hope to finish it by the end of today and certainly over the weekend.



---559023410-1903590565-974472258=:27969
Content-Type: TEXT/PLAIN; charset=US-ASCII; name="conv.sml"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1001117094418.27969C@hoho.cs.cornell.edu>
Content-Description: 

dmFsIGJpZzogSW50SW5mLmludCA9IDB4ODAwMDAwMDANCg0KZnVuIHRyeSAoYmFyZzogSW50SW5m
LmludCk6IHVuaXQgPQ0KICAgICAgIGxldCB2YWwgc21hbGwgPSBTT01FIChJbnRJbmYudG9JbnQg
YmFyZykNCgkJICBoYW5kbGUgT3ZlcmZsb3cgPT4gTk9ORQ0KCSAgIHZhbCBic3RyID0gSW50SW5m
LnRvU3RyaW5nIGJhcmcNCgkgICBmdW4gZmFpbCBtc2cgPSBwcmludCAoIkZhaWwgIiBeIG1zZyBe
ICI6ICIgXiBic3RyIF4gIlxuIikNCgkgICB2YWwgaXNTbWFsbCA9IH4gYmlnIDw9IGJhcmcgYW5k
YWxzbyBiYXJnIDwgYmlnDQogICAgICAgaW4gY2FzZSBzbWFsbCBvZg0KCSAgICAgTk9ORSA9PiBp
ZiBpc1NtYWxsDQoJCQl0aGVuIGZhaWwgIjEiDQoJCQllbHNlICgpDQoJICAgICB8IFNPTUUgc2Fy
ZyA9PiBpZiBpc1NtYWxsDQoJCQkgICAgICAgdGhlbiBsZXQgdmFsIHNzdHIgPSBJbnQudG9TdHJp
bmcgc2FyZw0KCQkJCSAgICBpbiBpZiBic3RyID0gc3N0cg0KCQkJCSAgICAgICBhbmRhbHNvIGJh
cmcgPSBJbnRJbmYuZnJvbUludCBzYXJnDQoJCQkJCSAgdGhlbiAoKQ0KCQkJCQkgIGVsc2UgZmFp
bCAiMiINCgkJCQkgICAgZW5kDQoJCQkgICAgICAgZWxzZSBmYWlsICIzIg0KICAgICAgIGVuZA0K
DQpmdW4gc3BpbiAobG93OiBJbnRJbmYuaW50LCBsaW1pdDogSW50SW5mLmludCk6IHVuaXQgPQ0K
ICAgICAgIGxldCBmdW4gbG9vcCAoYXJnOiBJbnRJbmYuaW50KTogdW5pdCA9DQoJCSAgaWYgYXJn
ID0gbGltaXQNCgkJICAgICB0aGVuICgpDQoJCSAgICAgZWxzZSAoDQoJCQl0cnkgYXJnOw0KCQkJ
dHJ5ICh+IGFyZyk7DQoJCQlsb29wIChhcmcgKyAxKQ0KCQkgICAgICkNCiAgICAgICBpbiBsb29w
IGxvdw0KICAgICAgIGVuZA0KDQp2YWwgXyA9IHNwaW4gKDAsIDEwMDApDQp2YWwgXyA9IHNwaW4g
KGJpZyAtIDEwMDAsIGJpZyArIDEwMDApDQoNCnZhbCBfID0gcHJpbnQgIkFsbCBva1xuIg0K

---559023410-1903590565-974472258=:27969--