Helium4Haskell/rhodium

Rhodium is a modification of the OutsideIn(X) algorithm for detecting type errors using heuristics.

Rhodium

Rhodium is an implementation of the OutsideIn(X) algorithm as described in OutsideIn (X) Modular type inference with local assumptions by Vytiniotis, D., Jones, S. P., Schrijvers, T., & Sulzmann, M. (2011). The implementation is developed as part of a thesis by Joris Burgers, to work with the existing Helium compiler. A formal specification of this work can be found in `Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning by Burgers, Hage and Serrano.