`define`d constructors should reside in the AST module - Githubissues

BNFC / bnfc

BNF Converter

http://bnfc.digitalgrammars.com/

586 stars 165 forks source link

`define`d constructors should reside in the AST module #287

Closed andreasabel closed 3 years ago

andreasabel commented 4 years ago

defined constructors should reside in the AST module, rather than just in the parser.

Modify the TypeChecker to store the inferred types of the definition arguments.
Place the definitions in the AST module (together with their type signatures).
Java: cannot place into package Absyn, place in class AbsynDef

Backends:

[X] Agda
[X] Haskell
[x] C
[x] C++
[x] Java
[x] Ocaml