A possibly major improvement to the error analysis.
A possibly major improvement to the error analysis.

It can now use /positive/ information in its inferences.  Unfortunately
this introduces a small bug where the generalizer does not get called
at all, so that will have to be fixed soon.

travitch/foreign-inference,travitch/foreign-inference