splicing rule case - Githubissues

dannypsnl / typed-nanopass

rebuild nanopass with typed supports

Apache License 2.0

11 stars 0 forks source link

splicing rule case #3

Closed dannypsnl closed 1 year ago

dannypsnl commented 2 years ago

Assume that we already have a terminal Number (n), the current rule case allows you to define ,n as a rule case. Consider the syntax (nat-list ,@n), this should produce

(struct nat-list
  ([n : (Listof Number)]))