Please use this identifier to cite or link to this item:
|Title:||Improving type error diagnosis|
|Source:||Stuckey, P.J.,Sulzmann, M.,Wazny, J. (2004). Improving type error diagnosis. Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04 : 80-91. ScholarBank@NUS Repository.|
|Abstract:||We present a number of methods for providing improved type error reports in the Haskell and Chameleon programming languages. We build upon our previous work  where we first introduced the idea of discovering type errors by translating the typing problem into a constraint problem and looking for minimal unsatisfiable subsets of constraints. This allowed us to find precise sets of program locations which are in conflict with each other. Here we extend this approach by extracting additional useful information from these minimal unsatisfiable sets. This allows us to report errors as conflicts amongst a number of possible, candidate types. The advantage of our approach is that it offers implementors the flexibility to employ heuristics to select where, amongst all the locations involved, an error should be reported. In addition, we present methods for providing improved subsumption and ambiguity error reporting.|
|Source Title:||Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 9, 2017
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.