Andreas Rumpf
a6682de004
catchable defects ( #13626 )
...
* allow defects to be caught even for --exceptions:goto (WIP)
* implemented the new --panics:on|off switch; refs https://github.com/nim-lang/RFCs/issues/180
* new implementation for integer overflow checking
* produce a warning if a user-defined exception type inherits from Exception directly
* applied Timothee's suggestions; improved the documentation and replace the term 'checked runtime check' by 'panic'
* fixes #13627
* don't inherit from Exception directly
2020-03-12 23:44:33 +01:00
..
2020-03-12 23:44:33 +01:00
2020-01-28 17:09:48 +01:00
2020-02-04 14:08:56 +01:00
2020-03-12 23:44:33 +01:00
2020-03-11 01:01:25 +01:00
2020-03-11 09:26:57 +01:00
2019-07-10 12:42:41 +02:00
2019-12-13 12:12:04 +00:00
2017-01-31 13:08:47 +01:00
2020-03-03 12:42:43 +01:00
2019-07-10 12:42:41 +02:00
2019-02-26 15:48:55 +01:00
2020-01-27 22:50:10 +01:00
2020-03-12 23:44:33 +01:00
2020-03-11 01:01:25 +01:00
2019-12-17 17:37:50 +01:00
2019-11-27 16:24:21 +01:00
2020-02-07 13:27:28 +01:00
2019-06-12 08:35:32 +02:00
2019-03-21 06:52:30 +01:00
2020-01-15 14:42:49 +01:00
2020-01-25 20:00:13 +01:00
2020-03-12 23:44:33 +01:00
2020-02-08 09:30:24 +01:00
2019-09-27 07:02:54 +02:00
2020-03-12 23:44:33 +01:00
2019-09-16 23:54:31 +02:00
2020-01-16 14:14:03 +01:00
2020-03-12 23:44:33 +01:00
2020-03-12 23:44:33 +01:00
2020-03-12 23:44:33 +01:00
2019-10-30 16:15:17 +01:00
2020-03-03 20:52:16 +01:00
2019-06-11 14:34:21 +02:00
2020-03-12 23:44:33 +01:00
2020-02-11 10:16:30 +01:00
2020-01-15 14:42:49 +01:00
2020-01-18 13:33:30 +01:00
2020-01-04 19:33:49 +01:00
2020-01-25 09:27:29 +01:00
2019-10-31 19:18:12 +01:00
2020-01-25 20:00:13 +01:00
2020-03-12 23:44:33 +01:00
2020-03-12 08:53:11 +01:00
2020-01-16 09:11:05 +01:00
2019-09-26 15:45:05 +02:00
2018-12-19 10:02:20 +01:00
2020-01-26 13:43:02 +01:00
2020-01-28 20:05:57 +01:00
2019-11-27 16:24:21 +01:00
2020-01-05 09:42:44 +01:00
2020-01-25 20:00:13 +01:00
2020-01-15 14:42:49 +01:00
2019-11-27 16:24:21 +01:00
2019-11-26 16:04:28 +01:00
2020-02-21 21:06:41 +01:00
2018-11-16 13:27:56 +01:00
2017-11-15 17:34:48 +01:00
2019-10-30 09:08:45 +01:00
2020-01-29 17:33:21 +01:00
2020-01-29 17:33:21 +01:00
2020-01-30 10:54:50 +01:00
2020-01-28 20:02:39 +01:00