ASVIEST

the problem is caused because fusion uses untyped for its `?=` (https://github.com/nim-lang/fusion/blob/master/tests/tmatching.nim#L212C1-L219C1), so for the option ```nim if x ?= some(42): echo x ``` you need to use untyped{ident} to...

!nim c ```nim import std/macros {.experimental: "strictFuncs".} func modify(n: NimNode) = n[0] = newStrLitNode"err" macro run: string = var n = newStmtList(newStrLitNode"ok") modify(n) n assert run() == "err" ```

> You can't have it both ways so that the meaning of `Vec(x, z, y)` depends on whether `Vec` was declared `positional` or not. It's a bad idea. We only...

> You can't have it both ways so that the meaning of `Vec(x, z, y)` depends on whether `Vec` was declared `positional` or not. It's problem ? Vec must be...

Now i think that for it we need special SMT Immediate representation, that generates from NIR, this IR have all that need on SMT analysis of code. For refirement type...

As for me better to add (again) style skins (but more generalized): ```nim # possible syntax import strutils proc processIdent(s: string): string = var afterWhitespace = false for i in...

Perhaps you still need to add a rule: letters between two capital letters must be capitalized GlFloat -> GLFloat this is needed for something like this Gl_float -> GlFloat ->...

> > Macros will break if they generate an all-lowercase identifiers, but other than that I'm not aware of any other backwards-incompatible changes this would introduce to Nim. > >...

> Sorry, I was wrong about `newHTMLParser`, the suggestion is to transform from snake case to case sensitive camel case, we already accept that `newHTMLParser` and `newHtmlParser` are different in...

> Perhaps you still need to add a rule: letters between two capital letters must be capitalized GlFloat -> GLFloat this is needed for something like this Gl_float -> GlFloat...