Code

Give GadtConstraint a nicer toText#16085

Code

Merged

dwijnand merged 2 commits intoscala:mainscala/scala3:mainfrom

dwijnand:gadt-textdwijnand/scala3:gadt-textCopy head branch name to clipboard

Oct 3, 2022

Commits

Commits on Sep 21, 2022

• Give GadtConstraint a nicer toText

  Show description for 7973062
  dwijnand

  committed
  7973062

  Copy full SHA for 7973062

Commits on Oct 3, 2022

• Keep debugBoundsDescription to view the underlying constraint

  dwijnand

  committed
  1094cbe

  Copy full SHA for 1094cbe