59 lines
963 B
Nim
59 lines
963 B
Nim
discard """
|
|
msg: "int\nstring\nTBar[int]"
|
|
output: "int\nstring\nTBar[int]\nint\nrange 0..2\nstring"
|
|
"""
|
|
|
|
import typetraits
|
|
|
|
# simple case of type trait usage inside/outside of static blocks
|
|
proc foo(x) =
|
|
static:
|
|
var t = type(x)
|
|
echo t.name
|
|
|
|
echo x.type.name
|
|
|
|
type
|
|
TBar[U] = object
|
|
x: U
|
|
|
|
var bar: TBar[int]
|
|
|
|
foo 10
|
|
foo "test"
|
|
foo bar
|
|
|
|
# generic params on user types work too
|
|
proc foo2[T](x: TBar[T]) =
|
|
echo T.name
|
|
|
|
foo2 bar
|
|
|
|
# less usual generic params on built-in types
|
|
var arr: array[0..2, int] = [1, 2, 3]
|
|
|
|
proc foo3[R, T](x: array[R, T]) =
|
|
echo name(R)
|
|
|
|
foo3 arr
|
|
|
|
const TypeList = [int, string, seq[int]]
|
|
|
|
macro selectType(inType: typedesc): typedesc =
|
|
var typeSeq = @[float, TBar[int]]
|
|
|
|
for t in TypeList:
|
|
typeSeq.add(t)
|
|
|
|
typeSeq.add(inType)
|
|
typeSeq.add(type(10))
|
|
|
|
var typeSeq2: seq[typedesc] = @[]
|
|
typeSeq2 = typeSeq
|
|
|
|
result = typeSeq2[5]
|
|
|
|
var xvar: selectType(string)
|
|
xvar = "proba"
|
|
echo xvar.type.name
|
|
|