search

codewars / codewars-runner-cli

Old CodeRunner project. See https://github.com/codewars/runner instead.
GNU Affero General Public License v3.0
402 stars 141 forks source link

Agda code runner output sometimes are not formatted properly #731

Closed Voileexperiments closed 5 years ago

Voileexperiments commented 5 years ago

Compare this: image

to this: image

The problem: the former is in a bad formatting. It also defaults to collapsing the block, which is extremely inconvenient as I'd have to open the block every time to see the error message.

kazk commented 5 years ago

Thanks for reporting. This is exactly what I meant when said I needed help testing the output.

The post processing is failing because it has extra ,38 at the end. It currently assumes

/path/to/module.agda:line,from_col-to_col
error message line 1
error message line 2
...
kazk commented 5 years ago

This should be fixed now. Please let me know if it's not with some code to reproduce.