Nim

Nim copied to clipboard

Expressions in type definitions are evaluated before type parameters are bound

5

``` nim type ZeroGenerator = object proc next(g: ZeroGenerator): int = 0 # This compiles. type TripleOfInts = tuple a, b, c: type(new(ZeroGenerator)[].next) # This raises a compiler error before...

MasonMcGill

Regression: callback with pragmas and no parameters don't compile anymore

1

### Description ```nim type SomeHandler = proc {.raises: [].} ``` ### Nim Version b880cdff49576c0eb83a043cbae595d3587c95b4 Works on 1.6.12 ### Current Output ```text /tmp/test.nim(1, 33) Error: invalid pragma: raises: [] ``` ###...

Menduist

Compiling with --hotcodereloading:on generates clang compile errors

4

### Description Repro: - Create a `test.nim` file with e.g. `echo "hello"` in. - Compile with `nim c -r --hotcodereloading:on test.nim` - The build fails with clang errors. ### Nim...

bbbscarter

### Description ```nim # Module main proc doThing*() import sub proc doThing*() = echo "hmm" # module sub.nim import main doThing() ``` ### Nim Version 2.0.8 and devel ### Current...

beef331

### Description For-loop transformation places for-loop variables before the transformed code, unnecessarily extending their scope, and then closure iters transformation lifts such variables because they appear in more than one...

yglukhov

getImpl now can get ast from a generic instance and type

1

This is very adhoc solution, but it does enable querying an approximation of the AST on generic instance/types.

beef331

Call operator fails to bind across imports

2

### Description The `callOperator` fails to bind when the usage and declaration are spread across two different files. For example: ```nim ## ## myLib.nim ## type Functor* = ref object...

Nycto

`Error: internal error: getTypeDescAux(tyUntyped)` on ambiguous table literal

2

**Code** ```nim template foo(f) = f discard {foo: ord(true)} ``` **Result** ```nim Error: internal error: getTypeDescAux(tyUntyped) No stack traceback available ``` Without discard I get `Error: expression '[(foo, 1)]' is...

Wh1teDuke

typeof(a[0]) in proc return type gives: Error: type mismatch ### Example ```nim # proc fn[T](a: T, index: int): typeof(a.x) = a.x # ok proc fn2(a: seq[int], index: int): typeof(a[0]) =...

timotheecour

getTypeInst for generics does not gives the full instantiation info in certain cases

3

Another case of difficulties working with types #7719/https://github.com/nim-lang/RFCs/issues/44 and subtypes #6454 in macros. In the following case I am trying to extract a subtype of multiple containers. It works fine...

mratsim