\input zb-basic
\input zb-ioport
\iteman{io-port 06105521}
\itemau{Schilling, Thomas}
\itemti{Constraint-free type error slicing.}
\itemso{Pe\~na, Ricardo (ed.) et al., Trends in functional programming. 12th international symposium, TFP 2011, Madrid, Spain, May 16--18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32036-1/pbk). Lecture Notes in Computer Science 7193, 1-16 (2012).}
\itemab
Summary: Type error messages for ML-based languages tend to suffer from imprecise error locations -- the type checker reports only one of many possible locations of an error. The notion of a type error slice corrects this by reporting all program locations that contribute to a given error (and no more). Previous work on producing type error slices required the use of a constraint-based type checker implementation. For most existing systems this would require substantial changes to well-tested and subtle pieces of code. In this work we show how to produce useful type error slices with an unmodified type checker. Other tools, such as automatic correction systems, can be layered on top of our system. We have implemented this technique on top of the Glasgow Haskell Compiler (GHC) and report our experiences.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-32037-8\_1}
\end