search

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67 stars 8 forks source link

fix: splicing error in bounds for examples #186

Closed tnelson closed 1 year ago

bennn commented 1 year ago

Here's an idea for class:

-       (syntax-parameterize ([current-forge-context 'example])
-         (begin #,@(syntax/loc stx bounds.translate)))))]))
+       #,@(for/list ([b (in-list (syntax-e (syntax/loc stx bounds.translate)))])
+            (quasisyntax/loc b
+              (syntax-parameterize ([current-forge-context 'example]) #,b)))))]))