lenamartens 7078f81dd0 Checkify: misc improvements.
- err.throw == check_error(err) -> meaning they have the same behavior
  under checkify now
- "divided by zero" -> "division by zero"
- add validation that check_error only takes args of type Error
2022-09-23 14:33:06 +01:00
..
2022-08-18 11:39:07 -07:00
2022-09-14 14:16:01 -07:00
2022-09-23 14:33:06 +01:00
2022-08-18 11:39:07 -07:00
2022-09-19 19:29:44 -07:00
2022-09-16 14:11:58 -07:00
2022-08-04 12:25:03 -07:00
2022-03-08 09:37:33 -05:00
2022-08-18 11:39:07 -07:00
2022-09-01 18:31:38 -07:00