Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/42132
Title: Improving type error diagnosis
Authors: Stuckey, P.J.
Sulzmann, M. 
Wazny, J.
Keywords: Constraints
Hindley/Milner
Overloading
Type classes
Type debugging
Type inference
Issue Date: 2004
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 [19] 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
URI: http://scholarbank.nus.edu.sg/handle/10635/42132
ISBN: 1581138504
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

49
checked on Dec 9, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.