search

slasser / AllStar

BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

Support for all-star predicates and mutators #2

Open cronburg opened 6 years ago

cronburg commented 6 years ago

We'll eventually want ATNs which support predicates and mutators on the epsilon edges which fire in a monadic environment so that we can extend the all-star algorithm to support backtracking over mutators with side effects.

The antlr-haskell code already supports parsing of predicates in a g4 grammar definition, but all the parsers I've written currently ignore them.

slasser commented 6 years ago

I've updated my ATN representation so that it supports predicated grammars (see the ATNEdge and ATNEdgeLabel types), although the parsing algorithm itself doesn't do anything with the predicates yet.