Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix #15851 (#15852) | flywind | 2020-11-06 | 1 | -1/+1 |
| | | | | | * fix #15851 * {.cast(noSideEffect).} | ||||
* | fix #15756 (#15761) | cooldome | 2020-10-28 | 1 | -0/+12 |
| | | | | | * fix #15756 * simplify test | ||||
* | fixes #15508 (#15509) | Andreas Rumpf | 2020-10-07 | 1 | -0/+21 |
| | |||||
* | effects: exclude swap() from "indirect calls" assumption (#15504) | Paul Tan | 2020-10-06 | 1 | -0/+12 |
| | | | | | swap() will never call any procs passed to it, and so it can be safely excluded from the "assume indirect calls are taken" effects tracking rule. | ||||
* | New hint for unused exceptions in .raises (#15492) | IDF | 2020-10-06 | 1 | -1/+6 |
| | | | | | | | * New hint for unused exceptions in .raises * Fix effects test * Further adapt teffects1.nim | ||||
* | implements https://github.com/nim-lang/RFCs/issues/258 (#15503) | Andreas Rumpf | 2020-10-06 | 1 | -0/+18 |
| | | | | | | | | | * implements https://github.com/nim-lang/RFCs/issues/258 * don't be too strict with custom pragma blocks * cast pragmas: documentation * added most missing inference query procs to effecttraits.nim | ||||
* | use func in uri module (#15486) | flywind | 2020-10-05 | 1 | -1/+1 |
| | |||||
* | views: yet another bugfix (#15447) | Andreas Rumpf | 2020-10-01 | 1 | -1/+1 |
| | | | | | | | * views: yet another bugfix * views: extended the spec * views: take into account potential hidden mutations via proc calls | ||||
* | refactoring, fixes yet another strictFuncs regression (#15446) | Andreas Rumpf | 2020-10-01 | 1 | -0/+17 |
| | |||||
* | better support for slices as views (#15414) | Andreas Rumpf | 2020-09-27 | 1 | -18/+0 |
| | | | | | | * moved view tests to tests/views * refactoring * more refactorings * better support for system.toOpenArray for first class view types | ||||
* | testament improvement: allow inline error messages inside test cases (#15294) | Andreas Rumpf | 2020-09-10 | 1 | -10/+9 |
| | | | | * testament support for inline error messages * adapt teffects1.nim test to show the potential | ||||
* | borrow checking refinements (#15290) | Andreas Rumpf | 2020-09-09 | 1 | -0/+18 |
| | | | * added basic borrowing test | ||||
* | strict funcs: use control flow information for a more precise analysis (#15271) | Andreas Rumpf | 2020-09-06 | 1 | -3/+8 |
| | | | | | * strict funcs: use control flow information for a more precise analysis * cursor inference uses control flow information | ||||
* | strict func: much better error messages (#15068) | Andreas Rumpf | 2020-07-25 | 1 | -1/+4 |
| | | | | | * strict func: much better error messages * documented the 'strict funcs' mode | ||||
* | writing to a location counts as "side effect"; implements ↵ | Andreas Rumpf | 2020-07-25 | 1 | -0/+31 |
| | | | | https://github.com/nim-lang/RFCs/issues/234 (#15030) | ||||
* | init checks and 'out' parameters (#14521) | Andreas Rumpf | 2020-06-23 | 1 | -0/+28 |
| | | | | | | | | | | | * I don't care about observable stores * enforce explicit initializations * cleaner code for the stdlib * stdlib: use explicit initializations * make tests green * algorithm.nim: set result explicitly * remove out parameters and bring the PR into a mergable state * updated the changelog | ||||
* | do not track 'raise Defect' in the .raises: [] clause anymore (#14298) | Andreas Rumpf | 2020-05-11 | 1 | -2/+2 |
| | | | | | | | | | * 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 | ||||
* | Error -> Defect for defects (#13908) | Jacek Sieka | 2020-04-28 | 1 | -2/+2 |
| | | | | | | | | | | | | | | * 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. | ||||
* | Add tests for #8481, #6490 and #4061 (#14083) | Clyybber | 2020-04-23 | 1 | -0/+22 |
| | |||||
* | '.push raises: []' now also affects proc types (#13776) | Andreas Rumpf | 2020-03-29 | 1 | -2/+21 |
| | | | | | | | | | * '.push raises: []' now also affects proc types * fixes the regression * less disruptive bugfix * another attempt | ||||
* | better error messages for Nim's effect system | Araq | 2020-03-22 | 1 | -1/+2 |
| | |||||
* | fixes a critical GC safety inference bug (#10615) | Andreas Rumpf | 2019-03-05 | 1 | -0/+21 |
| | | | | | | * fixes a critical GC safety inference bug * make nimsuggest compile again * make Nimble compile again | ||||
* | fixes #6955 | Andreas Rumpf | 2019-02-13 | 1 | -1/+10 |
| | |||||
* | Fix handling of reraise in effect tracking (#10582) | LemonBoy | 2019-02-07 | 1 | -0/+12 |
| | | | | | | This is the MVP in order not to get a completely useless error message from the compiler. Fixes #10579 | ||||
* | system refactorings (#10559) | Andreas Rumpf | 2019-02-06 | 1 | -2/+2 |
| | | | | | | | | * move IO subsystem into its own module; refs #10385 * make standalone test compile again * make C++ examples compile again * make more tests green * make sysAssert and gcAssert work again | ||||
* | Fix exception tracking in try blocks (#10455) | LemonBoy | 2019-01-27 | 1 | -0/+14 |
| | | | | | | Exceptions raised inside a nkFinally/nkExcept block are not caught by the block itself. Fixes #3886 | ||||
* | require errormsg to be specified before file. | Arne Döring | 2018-12-11 | 9 | -24/+7 |
| | |||||
* | updated tests to be executed | Arne Döring | 2018-11-23 | 1 | -0/+5 |
| | |||||
* | make tests green again | Andreas Rumpf | 2018-07-05 | 3 | -4/+4 |
| | |||||
* | make tests green again | Andreas Rumpf | 2018-07-05 | 3 | -4/+4 |
| | |||||
* | make tests green again | Andreas Rumpf | 2018-05-02 | 1 | -1/+1 |
| | |||||
* | make more tests green | Araq | 2018-02-10 | 1 | -1/+1 |
| | |||||
* | make tests green again | Andreas Rumpf | 2017-10-15 | 1 | -1/+1 |
| | |||||
* | fixes #5620 | Araq | 2017-10-14 | 1 | -0/+12 |
| | |||||
* | side-effect computation now done in the proper pass; fixes #4254 | Andreas Rumpf | 2016-08-25 | 1 | -3/+3 |
| | |||||
* | tests: Trim .nim files trailing whitespace | Adam Strzelecki | 2015-09-04 | 10 | -20/+20 |
| | | | | via OSX: find . -name '*.nim' -exec sed -i '' -E 's/[[:space:]]+$//' {} + | ||||
* | renamed writeln to writeLine in tests | patrick dw | 2015-06-19 | 4 | -4/+4 |
| | |||||
* | make test green | Araq | 2015-04-11 | 1 | -1/+1 |
| | |||||
* | Clean up tests/effects | def | 2015-02-04 | 1 | -1/+0 |
| | |||||
* | fixes #325 | Araq | 2015-01-28 | 1 | -1/+1 |
| | |||||
* | better effect inference | Araq | 2014-11-02 | 1 | -1/+1 |
| | |||||
* | made tests green | Araq | 2014-09-22 | 2 | -2/+3 |
| | |||||
* | more tests green | Araq | 2014-08-31 | 2 | -8/+8 |
| | |||||
* | fixes 'gcsafe' | Araq | 2014-08-12 | 2 | -1/+17 |
| | |||||
* | make some tests red :) (i.e. print failure details while running the tester) | Zahary Karadjov | 2014-03-16 | 1 | -1/+1 |
| | |||||
* | handle arbitrary expressions dependent on static input params in proc signatures | Zahary Karadjov | 2014-03-16 | 1 | -1/+1 |
| | |||||
* | fixes #584 | Araq | 2014-02-14 | 1 | -1/+1 |
| | |||||
* | new tester; all tests categorized | Araq | 2014-01-13 | 10 | -0/+198 |