You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We tend to use the latest version of Coq and it would be great to have CoqAST as an example. I started fixing compatibility issues at tchajed/CoqAST (v8.8 branch) - if someone else has some expertise with writing Coq plugins, especially with multiple Coq versions, I'd appreciate help with the conversion!
The text was updated successfully, but these errors were encountered:
Oh nice! I didn't see that you had tackled this since I worked on it. Looks like it works on Coq v8.8.2 but something changed recently and it doesn't build with Coq v8.9 or Coq master:
File "src/ast_plugin.ml4", line 439, characters 28-44:
Error: Unbound type constructor mutual_inductive
We tend to use the latest version of Coq and it would be great to have CoqAST as an example. I started fixing compatibility issues at tchajed/CoqAST (v8.8 branch) - if someone else has some expertise with writing Coq plugins, especially with multiple Coq versions, I'd appreciate help with the conversion!
The text was updated successfully, but these errors were encountered: