 Andreas Rumpf
|
9ff2c50155
fixes #15122 [backport:1.2] (#15139)
|
4 年之前 |
|
Andreas Rumpf
|
d130175342
cursor and mutation tracking fixes (#15113)
|
4 年之前 |
|
Andreas Rumpf
|
e6f0d4a5a5
fixes #15076 (#15095)
|
4 年之前 |
|
Andreas Rumpf
|
aae998feff
fixes #15038 [backport:1.2]
|
4 年之前 |
|
Andreas Rumpf
|
2aca748ddd
strict func: much better error messages (#15068)
|
4 年之前 |
|
Andreas Rumpf
|
7ca32c86bb
writing to a location counts as "side effect"; implements https://github.com/nim-lang/RFCs/issues/234 (#15030)
|
4 年之前 |
|
Andreas Rumpf
|
da29222f86
init checks and 'out' parameters (#14521)
|
4 年之前 |
|
Andreas Rumpf
|
32083c7ff8
more precise analysis about 'observable stores' [backport:1.2] (#14582)
|
4 年之前 |
 Timothee Cour
|
de74362213
fix #14314 do not analyze importc procs for effects (#14319)
|
4 年之前 |
|
Andreas Rumpf
|
03c146cd93
do not track 'raise Defect' in the .raises: [] clause anymore (#14298)
|
4 年之前 |
|
Araq
|
4301a7bdf0
fixes #14177
|
4 年之前 |
|
Andreas Rumpf
|
d9e907c0e2
fixes #14079 [backport:1.2] (#14163)
|
4 年之前 |
 Jacek Sieka
|
7d6cbf290a
Error -> Defect for defects (#13908)
|
4 年之前 |
|
Andreas Rumpf
|
3a2697dd73
drnim: tiny progress (#13882)
|
4 年之前 |
|
Araq
|
d01fca974d
added an .assert pragma and mentioned the pragmas in the changelog
|
4 年之前 |
 Zahary Karadjov
|
08afa03075
The raises list can now use expressions referencing the generic params
|
4 年之前 |
|
Zahary Karadjov
|
be95f8fdfa
Turn some of the errors back into warnings
|
4 年之前 |
|
Zahary Karadjov
|
ce9a4ed124
Replace tfHasRequiresInit with a more accurate mechanism
|
4 年之前 |
|
Zahary Karadjov
|
2b66d66567
Fix a CI failure during koch doc
|
4 年之前 |
|
Zahary Karadjov
|
4f3d309fb0
Perform nil checks during object construction and within compiles()
|
4 年之前 |
|
Zahary Karadjov
|
1b570f2b18
Turn the warning for uninitialized (result) variables into errors
|
4 年之前 |
|
Zahary Karadjov
|
a8b6222c86
First steps, the compiler can boot with enforced requiresInit
|
4 年之前 |
|
Andreas Rumpf
|
9ffec79300
DrNim (Nim compiler with Z3 integration) (#13743)
|
4 年之前 |
|
Araq
|
ef2566218e
better error messages for Nim's effect system
|
4 年之前 |
|
Andreas Rumpf
|
35fb38629f
cycle breaker (#13593)
|
4 年之前 |
|
Andreas Rumpf
|
3f29911a94
new feature: --staticBoundChecks:on to enforce static array index checking (#10965)
|
4 年之前 |
|
Andreas Rumpf
|
a0eca75182
sink parameter inference for types that have destructors (#13544)
|
5 年之前 |
|
Timothee Cour
|
bd90199a2f
fix #8312 --hints:off and --warnings:off now honored everywhere (#13489)
|
5 年之前 |
|
Andreas Rumpf
|
41555ca86f
fixes #13110 (#13197)
|
5 年之前 |
|
Andreas Rumpf
|
d56848878c
fixes #13119 (#13128)
|
5 年之前 |
