Sciweavers

HASKELL
2007
ACM

A lightweight interactive debugger for haskell

13 years 7 months ago
A lightweight interactive debugger for haskell
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger is based on the traditional stop-examine-continue model of online debugging, which is simple and intuitive, but has traditionally been shunned in the context of Haskell because it exposes the lazy evaluation order. We argue that this drawback is not as severe as it may seem, and in some cases is an advantage. The design focuses on availability: our debugger is intended to work on all programs that can be compiled with GHC, and without requiring the programmer to jump through additional hoops to debug their program. The debugger has a novel approach for reconstructing the type of runtime values in a polymorphic context. Our implementation is light on complexity, and was integrated into GHC without significant upheaval.
Simon Marlow, José Iborra, Bernard Pope, An
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2007
Where HASKELL
Authors Simon Marlow, José Iborra, Bernard Pope, Andy Gill
Comments (0)