OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
132 stars 33 forks source link

Remove `Parsed` AST #1254

Closed Halbaroth closed 1 month ago

Halbaroth commented 1 month ago

I forgot to remove it in #1251. Notice that we cannot remove the Typed AST as we still use it in Expr to compile matches. I plan to rewrite this code with the Dolmen AST.