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. ;)

cheers

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

Agda translation

Hi Donald!

here is some Java stuff for you ;)

• RS2
• RS3
• RS4

Notes:

1. except for RS2, I made all the descriptions language independent (added some conditional blocks at some places)
2. RS4 has now a complete batch of random tests! \o/ (Your job to translate them to other languages, now ;) )

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.

cheers!

Re-raised as an issue.

Also, I feel a bit ashamed after seeing how short and concise the proof could be :p

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.

Awesome! :)