Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard

Published 20 hours ago • verified publisher icon idris-lang

[ error ] Make failing `IAlternative` w/ `FirstSuccess` print all errors

Open buzden opened this issue 2 years ago • 0 comments

At the moment if all alternatives of IAlternative with FirstSuccess rule are failing, only the last error is printed, which can be misleading.

buzden avatar Jun 01 '22 19:06 buzden