Skip to main content

Dynamic Tabbing for Automatic Indentation with the Layout Rule

PDF DOI 10.1017/s0956796898003098 dblp BibTeX

Abstract

We show the design principles of an automatic indentation GNU Emacs mode for Haskell and Miranda(tm), functional languages using the ‘layout rule’ instead of the usual parenthetic structures for indentifying dependent program parts.

Related papers

Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages SLE 2018
Principled parsing for indentation-sensitive languages: revisiting landin's offside rule POPL 2013
Indentation-sensitive parsing for Parsec Haskell 2014
Improving data access efficiency by using a tagless access buffer (TAB) CGO 2013
A symbol-based extension of parsing expression grammars and context-sensitive packrat parsing SLE 2017
Iguana: a practical data-dependent parsing framework CC 2016
A Framework for Visualizing Object-Oriented Systems OOPSLA 1990
BLeak: automatically debugging memory leaks in web applications PLDI 2018