search

coli-saar / alto

Alto, the Algebraic Language Toolkit
Other
17 stars 2 forks source link

merge TreeAutomaton.g4 and irtg.g4 #68

Closed akoehn closed 4 years ago

akoehn commented 4 years ago

The Antlr grammar for tree automata is a subset of the irtg grammar. Only the single line fta: auto_rule+; is in treeautomaton.g4 but not in irtg.g4.

I propose we merge those two file. I tried that already, it works as expected and removes code duplication (which I noticed when I had to redefine the meaning of NUMBER for #67 twice).

alexanderkoller commented 4 years ago

If this can be done, great!