Coq generic printer

Open cmester0 opened this issue 1 year ago • 1 comments

Transition coq to using the Generic printer.

Oct 10 '24 15:10 cmester0

WIP for #962

Oct 10 '24 15:10 cmester0

@cmester0 what does it take to get this in a reviewable state? The plan was to get this done this week.

Oct 17 '24 06:10 franziskuskiefer

Status: it's basically done, actions items:

[ ] separate the bits for core (e.g. usize -> t_usize)
[x] tests: review snapshot changes for coq
[ ] tests: enable coq for more tests

Oct 24 '24 15:10 W95Psp

This should now be a stable version of the Coq generic printer. There is still some naming issues, which I have fixed directly in Concrete ident and the generic printer. We should figure out a better solution for this.

Oct 29 '24 11:10 cmester0

I could not figure out how to get the sourcemap, however, if possible we should also return the sourcemap.

Oct 29 '24 16:10 cmester0