mirror of
https://github.com/nim-lang/Nim.git
synced 2025-12-29 01:14:41 +00:00
a1777200c1
fixes #24150, refs #22022
An exception is raised in the `semExprWithType` call, which means `dec
c.inTypeofContext` is never called, but `compiles` allows compilation to
continue. This means `c.inTypeofContext` is left perpetually nonzero,
which prevents `compileTime` evaluation for the rest of the program.
To fix this, `defer:` is used for the `dec c.inTypeofContext` call, as
is done for
[`instCounter`](d51d88700b/compiler/seminst.nim (L374))
in other parts of the compiler.
37 lines
937 B
Nim
37 lines
937 B
Nim
block: # issue #10753
|
|
proc foo(x: int): int {.compileTime.} = x
|
|
const a = foo(123)
|
|
doAssert foo(123) == a
|
|
|
|
proc bar[T](x: T): T {.compileTime.} = x
|
|
const b = bar(123)
|
|
doAssert bar(123) == b
|
|
const c = bar("abc")
|
|
doAssert bar("abc") == c
|
|
|
|
block: # issue #22021
|
|
proc foo(x: static int): int {.compileTime.} = x + 1
|
|
doAssert foo(123) == 124
|
|
|
|
block: # issue #19365
|
|
proc f[T](x: static T): T {.compileTime.} = x + x
|
|
doAssert f(123) == 246
|
|
doAssert f(1.0) == 2.0
|
|
|
|
block:
|
|
# don't fold compile time procs in typeof
|
|
proc fail[T](x: T): T {.compileTime.} =
|
|
doAssert false
|
|
x
|
|
doAssert typeof(fail(123)) is typeof(123)
|
|
proc p(x: int): int = x
|
|
|
|
type Foo = typeof(p(fail(123)))
|
|
|
|
block: # issue #24150, related regression
|
|
proc w(T: type): T {.compileTime.} = default(ptr T)[]
|
|
template y(v: auto): auto = typeof(v) is int
|
|
discard compiles(y(w int))
|
|
proc s(): int {.compileTime.} = discard
|
|
discard s()
|