mirror of
https://github.com/nim-lang/Nim.git
synced 2025-12-28 17:04:41 +00:00
ecf9efa397
* document general use of `_`, error message, fixes fixes #20687, fixes #21435 Documentation and changelog updated to clarify new universal behavior of `_`. Also new error message for attempting to use `_`, new tests, and fixes with overloadable symbols and implicit generics. * add test for #21435
123 lines
2.4 KiB
Nim
123 lines
2.4 KiB
Nim
discard """
|
|
targets: "c cpp js"
|
|
"""
|
|
|
|
import std/[assertions, sequtils]
|
|
|
|
proc test() =
|
|
block:
|
|
proc ok(_, _, a: int): int =
|
|
doAssert not compiles(_)
|
|
a
|
|
doassert ok(4, 2, 5) == 5
|
|
|
|
block:
|
|
proc ok(_: int, _: int, a: int): int = a
|
|
doAssert ok(4, 2, 5) == 5
|
|
|
|
block:
|
|
proc ok(_: int, _: float, a: int): int = a
|
|
doAssert ok(1, 2.0, 5) == 5
|
|
|
|
block:
|
|
proc ok(_: int, _: float, _: string, a: int): int = a
|
|
doAssert ok(1, 2.6, "5", 5) == 5
|
|
|
|
block:
|
|
proc ok[T](_, _, a: T): T =
|
|
doAssert not compiles(_)
|
|
a
|
|
doAssert ok(4, 2, 5) == 5
|
|
doAssert ok("a", "b", "c") == "c"
|
|
doAssert not compiles(ok(1, 2, "a"))
|
|
|
|
block:
|
|
let ok = proc (_, _, a: int): int =
|
|
doAssert not compiles(_)
|
|
a
|
|
doAssert ok(4, 2, 5) == 5
|
|
|
|
block:
|
|
proc foo(lam: proc (_, _, a: int): int): int =
|
|
lam(4, 2, 5)
|
|
doAssert foo(proc (_, _, a: auto): auto =
|
|
doAssert not compiles(_)
|
|
a) == 5
|
|
|
|
block:
|
|
iterator fn(_, _: int, c: int): int = yield c
|
|
doAssert toSeq(fn(1,2,3)) == @[3]
|
|
|
|
block:
|
|
template ok(_, _, a: int): int = a
|
|
doAssert ok(4, 2, 5) == 5
|
|
|
|
block:
|
|
doAssert not (compiles do:
|
|
template bad(_: int): int = _
|
|
discard bad(3))
|
|
|
|
block:
|
|
template ok(_: int, _: int, a: int): int = a
|
|
doAssert ok(4, 2, 5) == 5
|
|
|
|
block:
|
|
template ok(_: int, _: float, a: int): int = a
|
|
doAssert ok(1, 2.0, 5) == 5
|
|
|
|
block:
|
|
template ok(_: int, _: float, _: string, a: int): int = a
|
|
doAssert ok(1, 2.6, "5", 5) == 5
|
|
|
|
block:
|
|
template main2() =
|
|
iterator fn(_, _: int, c: int): int = yield c
|
|
main2()
|
|
|
|
block:
|
|
template main =
|
|
proc foo(_: int) =
|
|
let a = _
|
|
doAssert not compiles(main())
|
|
|
|
block: # generic params
|
|
doAssert not (compiles do:
|
|
proc foo[_](t: typedesc[_]): seq[_] = @[default(_)]
|
|
doAssert foo[int]() == 0)
|
|
|
|
block:
|
|
proc foo[_, _](): int = 123
|
|
doAssert foo[int, bool]() == 123
|
|
|
|
block:
|
|
proc foo[T; U](_: typedesc[T]; _: typedesc[U]): (T, U) = (default(T), default(U))
|
|
doAssert foo(int, bool) == (0, false)
|
|
|
|
proc closureTest() =
|
|
var x = 0
|
|
|
|
block:
|
|
proc foo(_, _: int) = x += 5
|
|
|
|
foo(1, 2)
|
|
doAssert x == 5
|
|
|
|
block:
|
|
proc foo(_: int, _: float) = x += 5
|
|
|
|
foo(1, 2)
|
|
doAssert x == 10
|
|
|
|
block:
|
|
proc foo(_: int, _: float, _: string) = x += 5
|
|
|
|
foo(1, 2, "5")
|
|
doAssert x == 15
|
|
|
|
static: test()
|
|
test()
|
|
|
|
when not defined(js):
|
|
static: closureTest()
|
|
closureTest()
|