epfl-lara / lisa

Proof assistant based on first-order logic and set theory
Apache License 2.0
33 stars 18 forks source link

Front macro is not working anymore #38

Closed SimonGuilloud closed 1 year ago

SimonGuilloud commented 2 years ago

The front macro, in lisa.front.parser.FrontMacro is not working anymore, possibly due to changes regarding variables. This is astandalone feature and nothing else depends on it. For now, the corresponding test has been commented out.

This code is a bit tricky, as it involves scala3's Quotes, Expr and co.

This is a low priority feature and bug.