4 Commits

Author	SHA1	Message	Date
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
Andreas Rumpf	03c146cd93	do not track 'raise Defect' in the .raises: [] clause anymore (#14298) ... * do not track 'raise Defect' in the .raises: [] clause anymore * --panics:on maps 'raise Defect' to an unrecoverable fatal error * make tests green again * update the documentation too	2020-05-11 16:25:56 +02:00
Jacek Sieka	7d6cbf290a	Error -> Defect for defects (#13908) ... * Error -> Defect for defects The distinction between Error and Defect is subjective, context-dependent and somewhat arbitrary, so when looking at an exception, it's hard to guess what it is - this happens often when looking at a `raises` list _without_ opening the corresponding definition and digging through layers of inheritance. With the help of a little consistency in naming, it's at least possible to start disentangling the two error types and the standard lib can set a good example here.	2020-04-28 19:56:01 +02:00
LemonBoy	3ce6b2acb9	Fix exception tracking in try blocks (#10455) ... Exceptions raised inside a nkFinally/nkExcept block are not caught by the block itself. Fixes #3886	2019-01-27 10:32:44 +01:00