Compare commits

..

No commits in common. "46770419e6203695838e2ca840f7ad7ae981f9f1" and "ca240906c9a54c98201d9c0136afb00576f8dcb3" have entirely different histories.

2 changed files with 5 additions and 40 deletions

View file

@ -348,7 +348,7 @@ class Printer:
def compile_rule(self, rule: parser.NonTerminal) -> Matcher: def compile_rule(self, rule: parser.NonTerminal) -> Matcher:
generated_grammar: list[typing.Tuple[str, list[str]]] = [] generated_grammar: list[typing.Tuple[str, list[str]]] = []
visited: set[str] = set() visited: set[str] = set()
groups: dict[tuple[str, ...], str] = {} group_count = 0
indent_amounts: dict[str, int] = {} indent_amounts: dict[str, int] = {}
newline_map: dict[str, str] = {} newline_map: dict[str, str] = {}
done_forced_break = False done_forced_break = False
@ -361,7 +361,7 @@ class Printer:
generated_grammar.append((name, trans_prod)) generated_grammar.append((name, trans_prod))
def compile_production(production: parser.FlattenedWithMetadata) -> list[str]: def compile_production(production: parser.FlattenedWithMetadata) -> list[str]:
nonlocal groups nonlocal group_count
nonlocal indent_amounts nonlocal indent_amounts
nonlocal done_forced_break nonlocal done_forced_break
@ -394,13 +394,9 @@ class Printer:
if isinstance(pretty, parser.FormatMeta): if isinstance(pretty, parser.FormatMeta):
if pretty.group: if pretty.group:
# Make a fake rule. # Make a fake rule.
child_key = tuple(tx_children) rule_name = f"g_{group_count}"
rule_name = groups.get(child_key) group_count += 1
if rule_name is None: generated_grammar.append((rule_name, tx_children))
rule_name = f"g_{len(groups)}"
groups[child_key] = rule_name
generated_grammar.append((rule_name, tx_children))
tx_children = [rule_name] tx_children = [rule_name]
if pretty.indent: if pretty.indent:

31
wrap.py
View file

@ -1,31 +0,0 @@
import grammar
import parser.runtime as runtime
import parser.wadler as wadler
def main():
g = grammar.FineGrammar()
parser = runtime.Parser(g.build_table())
lexer = g.compile_lexer()
with open("test.fine", "r", encoding="utf-8") as f:
text = f.read()
tree, errors = parser.parse(runtime.GenericTokenStream(text, lexer))
if tree is None or len(errors) > 0:
print(f"{len(errors)} ERRORS")
for error in errors:
print(f"{error}")
return
WIDTH = 40
printer = wadler.Printer(g)
result = printer.format_tree(tree, WIDTH).apply_to_source(text)
for line in result.splitlines():
print(f"{line:<{WIDTH}}|")
if __name__ == "__main__":
main()