Repository navigation

Keep refinements in printed types - #256

Open

rochala wants to merge 4 commits into

mainfrom

scala-refinements

Open

Keep refinements in printed types#256
rochala wants to merge 4 commits into
mainfrom
scala-refinements

Commits on Oct 21, 2026
- Keep refinements in printed types
  
  rochala
  and
  claude
  committed
  172c65e
- Benchmark: compare refinement members split by lines or semicolons alike
  
  rochala
  and
  claude
  committed
  0631d2f
- Print polymorphic and dependent function types as functions
  
  rochala
  and
  claude
  committed
  de24324
Commits on Nov 2, 2026
- Parenthesise refined and function types where they nest
  
  rochala
  and
  claude
  committed
  1a2d0dc