New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve pprint #621

Merged

nilehmann merged 5 commits into main from nico/improve-pprint

Feb 15, 2024

Member

nilehmann commented Feb 15, 2024 •

edited

Loading

Represent vars in fhir as paths
Carry parameter names down to rty
Generate fresh names for anonymous bound variables instead of printing de Bruijn indices.

nilehmann added 5 commits

February 15, 2024 09:34


          Do not print unit records


          Represent vars in fhir as paths

2efdfd5


          Print early params names in rty

289b76c


          Carry names down to rty

1ebe008


          Print bound variables with names

89f3666

nilehmann merged commit 68744d4 into main

4 checks passed

nilehmann deleted the nico/improve-pprint branch

February 15, 2024 23:59

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet