mirror of
https://github.com/nim-lang/Nim.git
synced 2026-01-04 04:02:41 +00:00
fc853cb726
closes #1969, closes #7547, closes #7737, closes #11838, closes #12283, closes #12714, closes #12720, closes #14053, closes #16118, closes #19670, closes #22645 I was going to wait on these but regression tests even for recent PRs are turning out to be important in wide reaching PRs like #24010. The other issues with the working label felt either finnicky (#7385, #9156, #12732, #15247), excessive to test (#12405, #12424, #17527), or I just don't know what fixed them/what the issue was (#16128: the PR link gives a server error by Github, #12457, #12487).
87 lines
2.1 KiB
Nim
87 lines
2.1 KiB
Nim
discard """
|
|
nimout: '''
|
|
type
|
|
Bob = object
|
|
type
|
|
Another = object
|
|
'''
|
|
"""
|
|
|
|
block: # issue #22645
|
|
type
|
|
Opt[T] = object
|
|
FutureBase = ref object of RootObj
|
|
Future[T] = ref object of FutureBase ## Typed future.
|
|
internalValue: T ## Stored value
|
|
template err[T](E: type Opt[T]): E = E()
|
|
proc works(): Future[Opt[int]] {.stackTrace: off, gcsafe, raises: [].} =
|
|
var chronosInternalRetFuture: FutureBase
|
|
template result(): untyped {.used.} =
|
|
Future[Opt[int]](chronosInternalRetFuture).internalValue
|
|
result = err(type(result))
|
|
proc breaks(): Future[Opt[int]] {.stackTrace: off, gcsafe, raises: [].} =
|
|
var chronosInternalRetFuture: FutureBase
|
|
template result(): untyped {.used.} =
|
|
cast[Future[Opt[int]]](chronosInternalRetFuture).internalValue
|
|
result = err(type(result))
|
|
|
|
import macros
|
|
|
|
block: # issue #16118
|
|
macro thing(name: static[string]) =
|
|
result = newStmtList(
|
|
nnkTypeSection.newTree(
|
|
nnkTypeDef.newTree(
|
|
ident(name),
|
|
newEmptyNode(),
|
|
nnkObjectTy.newTree(
|
|
newEmptyNode(),
|
|
newEmptyNode(),
|
|
nnkRecList.newTree()))))
|
|
template foo(name: string): untyped =
|
|
thing(name)
|
|
expandMacros:
|
|
foo("Bob")
|
|
block:
|
|
expandMacros:
|
|
foo("Another")
|
|
|
|
block: # issue #19670
|
|
type
|
|
Past[Z] = object
|
|
OpenObject = object
|
|
|
|
macro rewriter(prc: untyped): untyped =
|
|
prc.body.add(nnkCall.newTree(
|
|
prc.params[0]
|
|
))
|
|
prc
|
|
|
|
macro macroAsync(name, restype: untyped): untyped =
|
|
quote do:
|
|
proc `name`(): Past[seq[`restype`]] {.rewriter.} = discard
|
|
|
|
macroAsync(testMacro, OpenObject)
|
|
|
|
import asyncdispatch
|
|
|
|
block: # issue #11838 long
|
|
type
|
|
R[P] = object
|
|
updates: seq[P]
|
|
D[T, P] = ref object
|
|
ps: seq[P]
|
|
t: T
|
|
proc newD[T, P](ps: seq[P], t: T): D[T, P] =
|
|
D[T, P](ps: ps, t: t)
|
|
proc loop[T, P](d: D[T, P]) =
|
|
var results = newSeq[Future[R[P]]](10)
|
|
let d = newD[string, int](@[1], "")
|
|
d.loop()
|
|
|
|
block: # issue #11838 minimal
|
|
type R[T] = object
|
|
proc loop[T]() =
|
|
discard newSeq[R[R[T]]]()
|
|
loop[int]()
|