Skip to content

Relax defaulting of RuntimeRep/Levity when printing

Torsten Schmits requested to merge wip/torsten.schmits/16468 into master

Fixes #16468 (closed)

Haven't yet run the entire suite, so might not work.

Work sponsored by Tweag ✨

Edited by Torsten Schmits

Merge request reports