1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
|
discard """
output: "vec2"
"""
# bug #5131
import macros
type
vecBase[I: static[int], T] = distinct array[I, T]
vec2* = vecBase[2, float32]
proc isRange(n: NimNode, rangeLen: int = -1): bool =
if n.kind == nnkBracketExpr and $(n[0]) == "range":
if rangeLen == -1:
result = true
elif n[2].intVal - n[1].intVal + 1 == rangeLen:
result = true
proc getTypeName(t: NimNode, skipVar = false): string =
case t.kind
of nnkBracketExpr:
if $(t[0]) == "array" and t[1].isRange(2) and $(t[2]) == "float32":
result = "vec2"
elif $(t[0]) == "array" and t[1].isRange(3) and $(t[2]) == "float32":
result = "vec3"
elif $(t[0]) == "array" and t[1].isRange(4) and $(t[2]) == "float32":
result = "vec4"
elif $(t[0]) == "distinct":
result = getTypeName(t[1], skipVar)
of nnkSym:
case $t
of "vecBase": result = getTypeName(getType(t), skipVar)
of "float32": result = "float"
else:
result = $t
of nnkVarTy:
result = getTypeName(t[0])
if not skipVar:
result = "inout " & result
else:
echo "UNKNOWN TYPE: ", treeRepr(t)
assert(false, "Unknown type")
macro typeName(t: typed): string =
result = newLit(getTypeName(getType(t)))
var tt : vec2
echo typeName(tt)
|