no, don't worry, that's ok (I already resolved the issue).
FYI: on cw, you cannot modify the first message of a thread once someone answered to it. ;)
Thank you for your answer, I know why my code has a problem.
And I think this is question,Do I need to change the label or delete it?
Raising is the correct thing to do. I don't know what you wrote exactly, but the problem is on your side (I just tried using the sample tests and raising a SyntaxError worked fine. Are you sure you don't catch the exception at a higher level in your code?
Note: this is not an issue, it's a question. ;)
"If a pattern is invoked which does not exist, your interpreter should throw."
I want to know how to throw an error in python
when my code is "raise SyntaxError('this is the error message')" in python
the test will tell me "stderr"
What should I do to pass the test "should throw an error when a non-existing pattern is invoked"
Thank you! Approved.
Thanks for all the translations, all approved :D
here is some Java stuff for you ;)
I'll try to translate RS5 too, but that's a complete different journey, so don't be in a hurry about it. ;) Especially, I'll try to dig in the raised issues to see what could be done about them.
Re-raised as an issue.
Also, I feel a bit ashamed after seeing how short and concise the proof could be :p
This comment is hidden because it contains spoiler information about the solution
Thank you! I'm going to create more program verification katas in future. But maybe I will switch to Agda (when I learn it) since it is difficult to prove theorems in Idris.