edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
902 stars 58 forks source link

[ new ] interactive test runner #268

Closed gallais closed 4 years ago

gallais commented 4 years ago

New interactive mode for the test runner.

New options syntax for the test runner.

jfdm commented 4 years ago

Nice!

Thanks for this, it will help things out greatly.

I was thinking, could we get a flag --accept to provide a default yes answer for accepting new tests.

gallais commented 4 years ago

I was thinking, could we get a flag --accept to provide a default yes answer for accepting new tests.

Running yes y | make test should do the trick.

jfdm commented 4 years ago

Running yes y | make test should do the trick.

Yes, indeed it will. I was thinking that --accept would be that little bit better and not reliant on having yes.