Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. In our paper "Type Error Slicing in Implicitly Typed Higher-Order Languages", we present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error. As a supplement for the paper, we have implemented type error slicing for a a subset of Core SML. We call this subset MiniML. If you want to install the software, a zip archive of the source files, written in SML/NJ, can be downloaded here.
An Online Demonstration is also available to allow you to experiment using just your browser.