tersec

v1.1.8 minimal test release minimal and mainnet tarballs contains DS_Store files

1

``` $ wget -qO- https://github.com/ethereum/consensus-spec-tests/releases/download/v1.1.8/minimal.tar.gz | tar tz | grep DS_Store tests/minimal/._.DS_Store tests/minimal/.DS_Store tests/minimal/bellatrix/._.DS_Store tests/minimal/bellatrix/.DS_Store tests/minimal/bellatrix/sanity/._.DS_Store tests/minimal/bellatrix/sanity/.DS_Store tests/minimal/bellatrix/sanity/blocks/._.DS_Store tests/minimal/bellatrix/sanity/blocks/.DS_Store tests/minimal/bellatrix/sanity/blocks/pyspec_tests/._.DS_Store tests/minimal/bellatrix/sanity/blocks/pyspec_tests/.DS_Store tests/minimal/bellatrix/operations/._.DS_Store tests/minimal/bellatrix/operations/.DS_Store tests/minimal/bellatrix/operations/attester_slashing/._.DS_Store tests/minimal/bellatrix/operations/attester_slashing/.DS_Store ``` ``` $ wget -qO-...

Generic type constraints not respected with generic function

2

### Description ```nim proc n[T: bool](k: int | int) = #static: # doAssert T is bool # doAssert T isnot int # And runtime block: doAssert T is bool doAssert...

### Description `m.nim`: ```nim import ./j import ./e proc u(d: int | int) = var r: Y static: doAssert r is j.Y # because j is imported first doAssert r...

`type mismatch` error with pass through `import`/`export` with intermediate module also defining symbol

1

### Description `a.nim`: ```nim import "."/b type H = b.E discard H(default(F)) ``` `b.nim`: ```nim import "."/c export c type E* = object F* = b.E ``` `c.nim`: ```nim type...

### Description `a.nim` ```nim proc readValue(T: type): T = mixin readValue readValue(result) import "."/b type beaconBlocksByRange_v2Obj = object x: int discard readValue(beaconBlocksByRange_v2Obj) ``` `b.nim` ```nim import "."/c proc readValue*(val: var...

No `XDeclaredButNotUsed` in overloaded function with generics

6

### Description ```nim proc n() = discard proc n(g: int|int) = n() ``` ### Nim Version ``` Nim Compiler Version 1.6.20 [Linux: amd64] Compiled at 2024-03-20 Copyright (c) 2006-2023 by...

Regression in 32-bit Nim 2.0.2 from 1.6 in implicit convertibility of `int32` to `int`

9

### Description ```nim type K = tuple g, w: int static: doAssert sizeof(int32) == sizeof(int) doAssert low(int32) == low(int) doAssert high(int32) == high(int) let a: int32 = 1 i: int...

Method calling proc with return value overlapping declared generic type generates invalid C

2

### Description ```nim type X[T, E] = object m: T B = X[culonglong, cstring] S = ref object of RootObj proc j[T, E](m: X[T, E]): T = discard proc n(T:...

Constructing case object with discriminator of field of other object fails with `the field(s) 'g' are in conflict with this value`

4

### Description ```nim type U = object h: bool type K = object case h: bool of true, false: g: int let x = default(U) block: # This does build...

Overloaded `template`s across scopes where one has `untyped` parameter fail to build

2

### Description ```nim template m(a: uint, p: int) = discard block: template m(x: untyped, i: int) = echo x proc j(n: int | int) = m([0][0], 0) j(0) ``` ###...