mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2025-12-28 17:04:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix #6637 array index type depends generic (#20673)

Browse Source
This commit is contained in:
Bung
2022-10-27 18:22:04 +08:00
committed by GitHub
parent c341f20476
commit aa6f9d490f
2 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/semtypes.nim
View File

@@ -330,7 +330,7 @@ proc semArrayIndex(c: PContext, n: PNode): PType =
elif e.kind == nkSym and e.typ.kind == tyStatic:
if e.sym.ast != nil:
return semArrayIndex(c, e.sym.ast)
if not isOrdinalType(e.typ.lastSon):
if e.typ.lastSon.kind != tyGenericParam and not isOrdinalType(e.typ.lastSon):
let info = if n.safeLen > 1: n[1].info else: n.info
localError(c.config, info, errOrdinalTypeExpected % typeToString(e.typ, preferDesc))
result = makeRangeWithStaticExpr(c, e)

9
tests/generics/t6637.nim Normal file
View File

@@ -0,0 +1,9 @@
type
Grid2D*[I: SomeInteger, w, h: static[I], T] = object
grid: array[w, array[h, T]]
Grid2DIns = Grid2D[int, 2, 3, uint8]
let a = Grid2DIns()
doAssert a.grid.len == 2
doAssert a.grid[0].len == 3