search

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
https://github.com/LeventErkok/sbv
Other
240 stars 33 forks source link

Future-proof against potential Prelude.foldl' #661

Closed Bodigrim closed 1 year ago

Bodigrim commented 1 year ago

See https://github.com/haskell/core-libraries-committee/issues/167

This is, of course, a bit speculative at the moment, but given that the change does not involve CPP, it should not hurt to merge it early to simplify further impact assessment.

LeventErkok commented 1 year ago

Thanks!