Nim, branch devel

stricter set type match, implicit conversion for literals (#24176)

2024-10-03T18:39:55Z

fixes #18396, fixes #20142 Set types with base types matching less than a generic match (so subrange matches, conversion matches, int conversion matches) are now considered mismatching, as their representation is different on the backends (except VM and JS), causing codegen issues. An exception is granted for set literal types, which now implicitly convert each element to the matched base type, so things like `s == {'a', 'b'}` are still possible where `s` is `set[range['a'..'z']]`. Also every conversion match in this case is unified under the normal "conversion" match, so a literal doesn't match one set type better than the other, unless it's equal. However `{'a', 'b'} == s` or `{'a', 'b'} - s` etc is now not possible. when it used to work in the VM. So this is somewhat breaking, and needs a changelog entry.

don't typecheck `untyped` + allow void `typed` template param default values (#24219)

2024-10-03T18:38:42Z

Previously, the compiler never differentiated between `untyped`/`typed` argument default values and other types, it considered any parameter with a type as typed and called `semExprWithType`, which both typechecked it and disallowed `void` expressions. Now, we perform no typechecking at all on `untyped` template param default values, and call `semExpr` instead for `typed` params, which allows expressions with `void` type.

don't construct array type for already typed `nkBracket` node (#24224)

2024-10-03T17:35:53Z

fixes #23010, split from #24195 When resemming bracket nodes, the compiler currently unconditionally makes a new node with an array type based on the node. However the VM can generate bracket nodes with `seq` types, which this erases. To fix this, if a bracket node already has a type, we still resem the bracket node, but don't construct a new type for it, instead using the type of the original node. A version of this was rejected that didn't resem the node at all if it was typed, but I can't find it. The difference with this one is that the individual elements are still resemmed. This should fix the break caused by #24184 so we could redo it after this PR but it might still have issues, not to mention the related pre-existing issues like #22793, #12559 etc.

use cbuilder for seq type generation (#24202)

2024-10-03T17:35:21Z

`addSimpleStruct` is just so the compiler doesn't use so much extra computation on analyzing the `typ` parameter for `addStruct`, which doesn't change anything for `seq` types. We could probably still get away with using `addStruct` instead, or making `addStruct` accept `nil` as the `typ` argument but this would be even more computation. There were a lot of hidden issues with `addStruct` being a template & template argument substitution, so most of the behavior is moved into `startStruct`/`finishStruct` procs. This is turning out to be a lot of code for just a couple of changed lines, we might have to split `cbuilder` into multiple modules.

bump NimVersion to 2.2.1 (#24215)

2024-10-02T20:02:17Z

improve error messages for illegalCapture (#24214)

2024-10-02T16:25:59Z

ref https://forum.nim-lang.org/t/12536 Use a general recommendation to avoid some weird error messages like `` etc.

update the changelog (#24213)

2024-10-01T20:22:30Z

check fileExists for outputFile (#24211)

2024-10-01T06:11:07Z

ref https://github.com/nim-lang/Nim/commit/a5f46a72ba7ce074c2b32f25eaac35bba6dbe744#commitcomment-147402726

bump NimVersion to 2.2.0 (#24210)

2024-09-30T18:59:38Z

fixes #24008; triggers a recompilation on output executables changes when switching release/debug modes (#24193)

2024-09-30T18:55:47Z

fixes #24008 The old logic didn't check the contents of the output executables, when it switched release->debug->release, it picked up the Json files used in the first release building, the content of which didn't change. So it mistook the executables which are built by the second debug building as the functioning one. `changeDetectedViaJsonBuildInstructions` needs a way to distinguish the executables generated by different buildings.