> 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.