Parsing ACSetSpecs from files with PEG.jl

[jpfairbanks]

A good test case for using PEG to understand how to connect DSLs specified with ADTs and surface syntax specified with PEG grammars would be to give a surface syntax for ADTs that are used for the acsetlang. This would let us read ACSets from files and extract an ADT of the acset language and then construct instances of the ACSets described in the language.

ADT definition and Usage:

ACSets.jl/src/ADTs.jl

Line 148 in 0c5b066

function acsetspec(head, body)

ACSets.jl/test/ADTs.jl

Line 70 in 0c5b066

cspec = acsetspec(:SemiSimplicialSet,quote

Example PEG rules for UWDs:
AlgebraicJulia/SyntacticModels.jl#11

Exit criteria:

1. read ACSets from files and extract an ADT of the acset language
2. construct instances of the ACSets described in the language
3. primitive rules like whitespace and parenthesis parsing is in a reusable module