- does not terminate. Incidentally, `match bool with true -> yes |
- false -> no;;` works as desired, but your assignment is to solve it
- without using the magical evaluation order properties of either `if`
- or of `match`. That is, you must keep the `let` statements, though
- you're allowed to adjust what `b`, `y`, and `n` get assigned to.
+does not terminate. Incidentally, `match bool with true -> yes |
+false -> no;;` works as desired, but your assignment is to solve it
+without using the magical evaluation order properties of either `if`
+or of `match`. That is, you must keep the `let` statements, though
+you're allowed to adjust what `b`, `y`, and `n` get assigned to.