RedlineResearch / floorplan

Spatial layout specifications for memory management systems.
https://redlineresearch.github.io/floorplan/
Other
19 stars 0 forks source link

Upstream language-rust modifications #5

Open cronburg opened 4 years ago

cronburg commented 4 years ago

Look into getting the antiquotation support in the Rust parser integrated into the upstream language-rust repository.

This can look almost exactly like what this project does now to modify the parser, which is to create a separately named quasiquoter which tells the generated yacc parser (Parser.y?) to enable or disable the antiquotation feature.

The complicating factor is that antiquotation also modifies the lexer to support dollar-sign variable names without the more verbose quasiquotation syntax. So I have to figure out a way to swap out lexers at Haskell runtime. I vaguely remember lex / happy supporting this in Haskell, where you manually write the Haskell function which iteratively scans for new tokens in the input.

cronburg commented 4 years ago

language-rust could also benefit from support for parsing and printing of crate documentation, and comments in general. The rustdoc command is of interest here.

For the purposes of Floorplan, what we need is: