Misc fixes (typeclasses, printing)

FStarLang / FStar

A Proof-oriented Programming Language

https://www.fstar-lang.org

Apache License 2.0

2.65k stars 232 forks source link

Closed mtzguido closed 1 month ago

mtzguido commented 1 month ago

Make tcresolve solve trivial unit goals, which can show up
Improve the fix for #3227 to consider nested applications, which should up pervasively in Pulse.