diff options
author | Yuriy Glukhov <yuriy.glukhov@gmail.com> | 2018-06-06 16:17:24 +0300 |
---|---|---|
committer | Yuriy Glukhov <yuriy.glukhov@gmail.com> | 2018-06-06 16:35:40 +0300 |
commit | 0ec2b33c50bf96e2b9f164fd8d44fe04fa76de52 (patch) | |
tree | 7db9a041e51164a1b82ceeec929202baf75e8832 | |
parent | e957d369b17cfb3532e2fe2aadfcde2bd3a0f11c (diff) | |
download | Nim-0ec2b33c50bf96e2b9f164fd8d44fe04fa76de52.tar.gz |
Fixed yield in dotExpr and nkOfBranch lowering. Closes #7969.
-rw-r--r-- | compiler/closureiters.nim | 17 | ||||
-rw-r--r-- | tests/iter/tyieldintry.nim | 24 |
2 files changed, 39 insertions, 2 deletions
diff --git a/compiler/closureiters.nim b/compiler/closureiters.nim index 75f0b92f6..3d86954c2 100644 --- a/compiler/closureiters.nim +++ b/compiler/closureiters.nim @@ -735,6 +735,19 @@ proc lowerStmtListExprs(ctx: var Ctx, n: PNode, needsSplit: var bool): PNode = n[0] = newSymNode(ctx.g.getSysSym(n[0].info, "true")) n[1] = newBody + + of nkDotExpr: + var ns = false + n[0] = ctx.lowerStmtListExprs(n[0], ns) + if ns: + needsSplit = true + result = newNodeI(nkStmtListExpr, n.info) + result.typ = n.typ + let (st, ex) = exprToStmtList(n[0]) + result.add(st) + n[0] = ex + result.add(n) + else: for i in 0 ..< n.len: n[i] = ctx.lowerStmtListExprs(n[i], needsSplit) @@ -843,8 +856,8 @@ proc transformClosureIteratorBody(ctx: var Ctx, n: PNode, gotoOut: PNode): PNode result[0] = ctx.transformClosureIteratorBody(result[0], gotoOut) of nkElifBranch, nkElifExpr, nkOfBranch: - result[1] = addGotoOut(result[1], gotoOut) - result[1] = ctx.transformClosureIteratorBody(result[1], gotoOut) + result[^1] = addGotoOut(result[^1], gotoOut) + result[^1] = ctx.transformClosureIteratorBody(result[^1], gotoOut) of nkIfStmt, nkCaseStmt: for i in 0 ..< n.len: diff --git a/tests/iter/tyieldintry.nim b/tests/iter/tyieldintry.nim index 31ec65a83..c9e5843b8 100644 --- a/tests/iter/tyieldintry.nim +++ b/tests/iter/tyieldintry.nim @@ -368,5 +368,29 @@ block: # Short cirquits test(it, 1, 0, 0) +block: #7969 + type + SomeObj = object + id: int + + iterator it(): int {.closure.} = + template yieldAndSomeObj: SomeObj = + var s: SomeObj + s.id = 2 + yield 1 + s + + checkpoint(yieldAndSomeObj().id) + + var i = 5 + case i + of 0: + checkpoint(123) + of 1, 2, 5: + checkpoint(3) + else: + checkpoint(123) + + test(it, 1, 2, 3) echo "ok" |