Enumerating Counter-Factual Type Error Messages with an Existing Type Checker

Tsushima, Kanae and Chitil, Olaf (2014) Enumerating Counter-Factual Type Error Messages with an Existing Type Checker. In: 16th Workshop on Programming and Programming Languages, PPL2014, 5-7 March 2014, Aso, Japan. (Full text available)

PDF - Author's Accepted Manuscript
Download (201kB) Preview
[img]
Preview
Official URL
http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/

Abstract

The type error message of a standard type checker for a functional language gives only a single location as potential cause of the type error. If that location is not the cause, which often is the case, then the type error message hardly helps in locating the real cause. Here we present a method that uses a standard type checker to enumerate locations that potentially cause the type error, each with an actual and a counter-factual type for the given location. Adding our method to existing compilers requires only limited effort but improves type error debugging substantially.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: Hindley-Milner type system, type error debugging, OCaml
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Olaf Chitil
Date Deposited: 11 Jun 2015 11:02 UTC
Last Modified: 24 Nov 2016 13:55 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/49007 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year