Andreas Rumpf
3812d91390
alternative, much simpler algorithm for strict func checking ( #21066 )
...
* alternative, much simpler algorithm for strict func checking
* forgot to git add new compiler module
* new spec is incredibly simple to describe
* fixes bigints regression
* typos
* closes #16305 ; closes #17387 ; closes #20863
2022-12-11 16:58:50 +01:00
flywind
7bfb9f0002
close #17636 ( #17643 )
2021-04-06 16:20:01 +02:00
Andreas Rumpf
2f6d04fd5d
strict funcs: use control flow information for a more precise analysis ( #15271 )
...
* strict funcs: use control flow information for a more precise analysis
* cursor inference uses control flow information
2020-09-06 22:01:39 +02:00
Andreas Rumpf
2aca748ddd
strict func: much better error messages ( #15068 )
...
* strict func: much better error messages
* documented the 'strict funcs' mode
2020-07-25 19:36:53 +02:00
Andreas Rumpf
7ca32c86bb
writing to a location counts as "side effect"; implements https://github.com/nim-lang/RFCs/issues/234 ( #15030 )
2020-07-25 15:14:28 +02:00
