Andy Keep
Andy Keep
(originally submitted over email to the nanopass-framework mailing list by Axel Søgaard) The following programs compiles without errors: # lang nanopass (define variable? symbol?) (define-language LFE (entry TopLevelForm) (terminals (variable...
@LeifAndersen reported that a nanopass language with a simple list of expressions does not handle creating a list with no elements in it, even though this should be handled without...
Use a prefix matcher to identify meta-variables along with a parameterizable suffix-ok? checker to allow people to determine their own meta-variable suffixes.
When tracing a multiple return value transformer, we seem to be discarding some type of extra values.
@dybvig requests: would be nice to autogenerate when the output type is * Should be doable and would simplify some common use cases. We will also need to check that...
For testing purposes it is useful to be able to define a language as: (define-language L) and a pass as: (define-pass test-pass : L (x) -> L ()) Right now...
Found an example where we had a pass like this: ``` scheme (define-pass --- (Foo : Foo (x) -> Foo () ---) (Bar : Bar (x y) -> Bar ()...
We would like to have a way to create a "template" language with a "template" pass, and then extend both the language and the pass to create a concrete pass....
It is often the case that we want to fold a transformer over a list of nonterminals and produce the resulting list of nonterminals and another folded result. It is...
@dybvig reports: listing the same production twice for the same nonterminal should cause an error This should be checked and an error raised.