CPS doesn't rewrite locals with proc types correctly

Question

CPS doesn't rewrite locals with proc types correctly

alaviss opened this issue 3 years ago · comments

import cps

proc foo(x: int) =
  discard

proc bar() {.cps: Continuation.} =
  var f = foo
  f(10)

bar()

Got:

test.nim(7, 7) Error: inconsistent typing for reintroduced symbol 'f': previous type was: proc (x: int){.noSideEffect, gcsafe, locks: 0.}; new type is: proc (x: int){.closure.}

Smooth Operator · Answer 1 · Fri Jun 25 2021 05:19:15 GMT+0800 (China Standard Time)

What made you decide this is a CPS bug?

alaviss · Answer 2 · Fri Jun 25 2021 07:08:03 GMT+0800 (China Standard Time)

I just put it there until I figure out where the issue is from.

alaviss · Answer 3 · Mon Oct 18 2021 06:18:23 GMT+0800 (China Standard Time)

Reported upstream: nim-lang/Nim#19010