I added some tests to try and make sense of the error handling patterns. Some are just guesses (like put_string exceptions), while others are more principled (having put/get_number agree on their type domains).
As usual, this is a game of Code-Doc-Tests (Rock-Paper-Scissors), because they all disagree with each other.
I added some tests to try and make sense of the error handling patterns. Some are just guesses (like put_string exceptions), while others are more principled (having put/get_number agree on their type domains).
As usual, this is a game of Code-Doc-Tests (Rock-Paper-Scissors), because they all disagree with each other.