Andreas Rumpf
e0ef859130
strict effects ( #18777 )
...
* fixes #17369
* megatest is green for --cpu:arm64
* docgen output includes more tags/raises
* implemented 'effectsOf'
* algorithm.nim: uses new effectsOf annotation
* closes #18376
* closes #17475
* closes #13905
* allow effectsOf: [a, b]
* added a test case
* parameters that are not ours cannot be declared as .effectsOf
* documentation
* manual: added the 'sort' example
* bootstrap with the new better options
2021-09-02 12:10:14 +02:00
..
2021-08-24 17:16:12 +02:00
2021-05-26 09:51:48 +02:00
2021-01-07 20:26:40 +01:00
2019-12-05 17:31:51 +01:00
2021-09-02 12:10:14 +02:00
2021-07-27 09:37:11 +02:00
2021-08-13 09:35:48 +02:00
2019-11-28 17:13:04 +01:00
2021-05-12 22:00:37 +02:00
2021-09-02 12:10:14 +02:00
2021-08-18 19:33:11 +02:00
2020-01-23 14:25:22 +01:00
2021-03-19 16:53:38 +01:00
2021-04-17 11:14:09 +02:00
2021-02-19 12:30:39 +01:00
2021-01-27 22:35:43 +01:00
2020-09-16 14:57:01 +02:00
2021-08-28 08:27:56 +02:00
2021-03-29 21:16:11 +02:00
2021-08-28 08:27:56 +02:00
2021-03-19 16:53:38 +01:00
2021-01-25 20:52:26 +01:00
2021-06-04 16:20:47 +02:00
2021-07-22 08:00:29 +02:00
2021-09-02 12:10:14 +02:00
2021-07-18 10:49:03 +02:00
2021-09-02 12:10:14 +02:00
2017-01-07 22:35:09 +01:00
2021-06-18 15:52:08 +02:00
2021-06-30 07:29:10 +02:00
2021-08-11 17:19:23 +02:00
2021-06-20 09:50:03 +02:00
2021-09-02 12:10:14 +02:00
2021-01-02 07:30:39 +01:00
2021-04-01 08:48:44 +02:00
2021-04-17 11:14:09 +02:00
2021-06-02 09:02:14 -07:00
2021-08-11 11:42:01 +02:00
2020-08-28 22:18:09 +02:00
2019-11-28 17:13:04 +01:00
2019-10-03 00:48:31 -04:00
2021-02-17 19:26:08 +01:00
2020-10-25 08:50:47 +01:00
2021-01-07 20:26:40 +01:00
2021-06-27 20:39:16 +02:00
2020-06-01 19:21:41 +02:00
2021-07-27 12:48:27 +02:00
2021-02-24 17:57:19 +01:00
2021-04-21 07:41:33 +02:00
2021-06-23 23:31:17 +02:00
2021-08-18 19:33:11 +02:00
2021-05-20 15:48:46 +02:00
2021-06-11 10:07:23 +02:00
2021-03-12 15:34:42 +01:00
2021-07-02 14:38:01 +02:00
2021-07-13 14:17:59 +02:00
2021-03-09 20:19:24 +01:00
2021-09-02 12:10:14 +02:00
2021-05-08 06:43:52 +02:00
2021-03-03 07:15:07 +01:00
2021-08-31 13:32:37 +02:00
2021-01-02 07:30:39 +01:00
2021-01-12 09:36:51 +01:00
2021-04-17 11:14:09 +02:00
2021-07-20 08:32:22 +02:00
2021-06-30 07:16:31 +02:00
2021-07-15 22:13:01 +02:00
2021-06-30 07:16:31 +02:00
2021-08-18 15:53:52 +02:00
2020-04-01 17:48:17 +02:00
2021-04-21 07:41:33 +02:00
2021-09-02 12:10:14 +02:00
2021-08-16 09:32:12 +02:00
2021-07-15 22:13:01 +02:00
2021-06-03 22:29:45 +02:00
2021-04-16 09:16:39 +02:00
2021-08-24 17:15:26 +02:00
2021-04-21 07:41:33 +02:00
2020-06-23 10:53:57 +02:00
2019-07-01 11:59:02 +02:00
2019-09-27 07:02:54 +02:00
2021-03-09 20:19:24 +01:00
2021-09-02 12:10:14 +02:00
2021-01-07 20:26:40 +01:00
2020-10-21 15:53:43 -07:00
2021-08-29 15:54:07 +02:00
2021-06-30 07:16:31 +02:00
2021-03-23 08:52:00 +01:00
2020-11-25 07:48:27 +01:00
2021-01-29 14:30:24 +01:00
2021-07-13 12:44:29 +02:00
2018-05-27 19:19:12 +02:00
2021-09-02 12:10:14 +02:00
2020-11-25 07:48:27 +01:00
2020-09-22 18:24:13 +02:00
2020-05-11 13:50:40 +02:00
2021-08-13 09:35:48 +02:00
2021-07-09 11:41:28 +02:00
2021-04-09 08:00:13 +02:00
2021-07-20 22:13:52 +02:00
2019-11-28 17:13:04 +01:00
2020-09-11 01:04:07 +02:00
2021-07-22 08:00:29 +02:00
2021-09-02 12:10:14 +02:00
2021-09-02 12:10:14 +02:00
2021-09-02 12:10:14 +02:00
2021-07-28 12:46:28 +02:00
2021-01-07 20:26:40 +01:00
2021-08-24 17:15:26 +02:00
2021-07-27 09:36:59 +02:00
2021-07-01 17:35:04 +02:00
2021-04-17 11:14:09 +02:00
2021-08-09 08:51:39 +02:00
2021-07-24 00:30:02 +02:00
2021-04-07 19:54:28 +02:00
2021-09-02 12:10:14 +02:00
2021-09-02 12:10:14 +02:00
2021-08-11 12:17:17 +02:00
2021-08-28 16:34:27 -07:00
2021-05-12 07:15:05 +02:00
2021-08-24 17:15:26 +02:00
2021-08-20 10:13:03 +02:00
2021-01-02 07:30:39 +01:00
2021-04-17 11:14:09 +02:00
2021-04-17 11:14:09 +02:00
2021-04-24 18:33:29 +01:00
2020-11-10 21:53:25 +01:00
2021-08-24 17:15:26 +02:00
2021-04-17 11:49:54 +02:00
2020-04-03 09:10:45 +02:00
2021-09-02 07:41:14 +02:00
2020-11-30 23:36:38 +01:00
2021-05-09 00:56:37 +02:00
2021-04-17 11:14:09 +02:00
2021-09-02 12:10:14 +02:00
2020-11-26 11:54:18 -08:00
2021-06-25 06:22:52 +02:00
2021-08-13 09:35:48 +02:00
2021-02-17 11:52:46 +01:00
2021-05-12 22:00:37 +02:00
2021-06-12 21:35:12 +02:00
2021-08-18 19:33:11 +02:00
2021-07-20 22:13:52 +02:00
2021-04-17 11:14:09 +02:00
2021-08-28 16:34:27 -07:00
2020-07-09 19:21:20 +02:00
2021-09-02 12:10:14 +02:00