search

aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
281 stars 16 forks source link

Show Information of Definition in Repl #1127

Closed HoshinoTented closed 4 months ago

HoshinoTented commented 4 months ago

How to pretty print a core decl?

codecov[bot] commented 4 months ago

Codecov Report

Attention: Patch coverage is 40.00000% with 9 lines in your changes missing coverage. Please review.

Project coverage is 79.08%. Comparing base (e658be7) to head (8672685). Report is 3 commits behind head on main.

Files Patch % Lines
...ain/java/org/aya/cli/interactive/ReplCompiler.java 40.00% 5 Missing and 4 partials :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1127 +/- ## ============================================ - Coverage 79.12% 79.08% -0.04% - Complexity 3292 3294 +2 ============================================ Files 302 302 Lines 10037 10047 +10 Branches 1195 1198 +3 ============================================ + Hits 7942 7946 +4 - Misses 1432 1435 +3 - Partials 663 666 +3 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

ice1000 commented 4 months ago

How to pretty print a core decl?

I think we need to somehow write a conversion function