Nim

Nim copied to clipboard

Presence of unused macro causes illformed AST error

2

### Example ```nim macro fn*(fun:untyped):untyped = echo "first" fun macro fn*(key:string, fun:untyped):untyped = echo "second" fun let c = fn(proc(count:int):string = return "x = " & $count ) ``` ###...

iffy

Can `static T` be used as a generic proc parameter?

2

[The manual does not currently clarify this](https://nim-lang.org/docs/manual.html#special-types), so this might be a bug. ```nim type Foo[T :static[int]] = object proc bar[T :static[int]](x :T) :Foo[T] = discard ``` The signature of...

awr1

Use the type system to resolve ambiguity between symbols from different modules

5

Something I've encountered recently while trying to share code between modules: Across various modules I have some exported symbols which happen to have the same name. When I import these...

exelotl

Macro with typed param can't be used as a pragma attached to a type

2

### Example ```nim macro entity(entityType: typed) = discard type RootEntity = ref object of RootObj Player {.entity.} = ref object of RootEntity x, y: int ``` ### Current Output ```...

liquidev

Illegal type in tuple passed to Thread generic crashes the compiler

1

When helping someone over on the IRC channel debug a compiler crash I came over this bug. I boiled it down to a var field in a tuple passed to...

PMunch

Unexpected gensym in block

1

When my macro is used in a block, the identifier for my object is suffixed with some numbers (e.g. `_4855001`) but I'm not expecting that. Compare `Bob` with `Another_4855001` below:...

iffy

Make `$` on 0-length `MemSlice` produce Nim "" as per DMisener idea

3

in https://forum.nim-lang.org/t/12463 which seems reasonable enough to me. stdlib has several dozens of places doing result.setLen now, but if `experimental:strictDefs` move sot on by default and there is no easy...

c-blake

cannot instantiate generic object with cast to generic type in template

4

### Description ```nim type Opt[T] = object FutureBase* = ref object of RootObj Future*[T] = ref object of FutureBase ## Typed future. internalValue*: T ## Stored value template err[T](E: type...

arnetheduck

default type of integer literals ignores type list in unions of integers

2

### Description i expect this code to pass, but it does not ``` let a : int8 | uint8 = 3 assert sizeof(a)==sizeof(int8) # this fails ``` making the type...

slaide

Documentation request about int

3

Would it be possible to document when `int` behaves as a `type` and when `int` behaves as a `type class`. The differences between the two have some profound and perhaps...

m-holger