Sdf Tools

Tools

• parse-unit -- unit testing of SDF2 syntax definitions
• gen-renamed-sdf-module -- generates an SDF module that renames all sorts in an SDF syntax definition
• sdf2ast-conflicts -- generates a list of illegal patterns in a AST
• sdf2parenthesize -- generates a tool that adds all required parentheses to an AST

• sdf-label^?
• sdf-cons^?

• ...