diff options
| author | Araq <rumpf_a@web.de> | 2017-02-11 00:42:12 +0100 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2017-02-11 00:42:12 +0100 |
| commit | 36d3fd64da21fe128f92ea49943c9dd834aa6848 (patch) | |
| tree | abb3261273ec70de718947617c2be8814c2b6a72 | |
| parent | c8ae7164e502b585843c584af65f78f67002830e (diff) | |
| download | Nim-36d3fd64da21fe128f92ea49943c9dd834aa6848.tar.gz | |
fixes #5354
| -rw-r--r-- | compiler/semexprs.nim | 10 | ||||
| -rw-r--r-- | tests/metatype/tfieldaccessor.nim | 17 |
2 files changed, 22 insertions, 5 deletions
diff --git a/compiler/semexprs.nim b/compiler/semexprs.nim index 57674735a..9972585c7 100644 --- a/compiler/semexprs.nim +++ b/compiler/semexprs.nim @@ -1093,11 +1093,11 @@ proc builtinFieldAccess(c: PContext, n: PNode, flags: TExprFlags): PNode = return readTypeParameter(c, ty, i, n.info) of tyObject, tyTuple: if ty.n != nil and ty.n.kind == nkRecList: - for field in ty.n: - if field.sym.name == i: - n.typ = newTypeWithSons(c, tyFieldAccessor, @[ty, field.sym.typ]) - n.typ.n = copyTree(n) - return n + let field = lookupInRecord(ty.n, i) + if field != nil: + n.typ = newTypeWithSons(c, tyFieldAccessor, @[ty, field.typ]) + n.typ.n = copyTree(n) + return n else: # echo "TYPE FIELD ACCESS" # debug ty diff --git a/tests/metatype/tfieldaccessor.nim b/tests/metatype/tfieldaccessor.nim new file mode 100644 index 000000000..7054dd22b --- /dev/null +++ b/tests/metatype/tfieldaccessor.nim @@ -0,0 +1,17 @@ +type + Test = object + x: int + case p: bool + of true: + a: int + else: + case q: bool + of true: + b: int + else: + discard + +proc f[T](t: typedesc[T]): int = + 1 + +assert Test.f == 1 |