@hackage language-oberon0.2.1
Parser, pretty-printer, and type checker for the Oberon programming language
Installation
Dependencies (12)
- base >=4.7 && <5
- containers >=0.5 && <1.0
- directory <1.4
- either >=5 && <6
- filepath <1.5
- grammatical-parsers >0.3.1 && <0.4 Show all…
Dependents (1)
@hackage/language-Modula2
The library and the executable support both the original Oberon and the Oberon-2 programming language, as described in the respective language reports.
The grammars in Language.Oberon.Grammar attempt to follow the language grammars from the reports, while
generating a semantically meaningful abstract syntax tree; the latter is defined in Language.Oberon.AST. As the
grammars are ambiguous, it is necessary to resolve the ambiguities after parsing all Oberon modules in use.
Language.Oberon.Resolver provides this functionality. Only after the ambiguity resolution can the abstract syntax
tree be pretty-printed using the instances from Language.Oberon.Pretty.
The original purpose for the library was to be a test of the underlying grammatical-parsers library. The experiment succeeded, so the package can be used in practice.