new snapshot

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 16 Nov 2000 17:26:11 -0500 (EST)


> I get through FuhMishra, abstype, and array, but die on array2 in the backend
> with 
> 	Int_addCheck
> 	mlton: applyPrim: getDst
> 	compilation of array2 failed
> I assume that's because my version doesn't have valid overflow checking code.

Yes, that's because Int_addCheck is being translated as Int_add, which
assumes a destination; Int_addCheck might not have a destination if it is
just side-effecting.