> but the resolve function in overloads.sml:2224 specifically reverses > the overloads list before resolving each one. This is done so that error messages occur (roughly) in increasing order of line number. But that is a good enough reason to make it stable.