typelevel / scalacheck

Property-based testing for Scala
http://www.scalacheck.org
BSD 3-Clause "New" or "Revised" License
1.94k stars 407 forks source link

Enable lazy construction of label strings #1041

Open som-snytt opened 8 months ago

som-snytt commented 8 months ago

A different take on https://github.com/typelevel/scalacheck/pull/979

Instead of recycling |: for labeling, use =|= for improved symmetry and operator precedence.

A second commit follows up scalafmt config by "fixing" star alignment in doc comments. Edit: That hassle is reserved for another effort.

som-snytt commented 8 months ago

TIL scalafmt doesn't do headers.

Edit: dropped the scalafmt for further research

image

One hint is to scalafmtAll every commit. Edit: make that +scalafmtAll.

som-snytt commented 8 months ago

On precedence, the trade-off is the && combinator for Prop (as opposed to the boolean op in an expression promoted to Prop).

mrdziuban commented 4 months ago

@satorg @som-snytt do you have any thoughts on moving this or #979 forward?