Typed syntax
Opened this issue · 0 comments
lephe commented
opencompl/lean-mlir@cf7d682 updates to a nightly after the implementation of typed syntax. It enriches the types in some places but mostly adds bypasses, and some of these reveal parsing errors I believe.
- Review the places where the commit trusts the types
- Fix the typing issues that arise