test cases for the new typedesc features

tests/run/ttypedesc1.nim

@@ -1,10 +1,12 @@
-import unittest
+import unittest, typetraits
 
 type 
   TFoo[T, U] = object
     x: T
     y: U
 
+proc getTypeName(t: typedesc): string = t.name
+
 proc foo(T: typedesc[float], a: expr): string =
   result = "float " & $(a.len > 5)
 
@@ -21,6 +23,9 @@ template foo(T: typedesc[seq]): expr = "seq"
 test "types can be used as proc params":
   # XXX: `check` needs to know that TFoo[int, float] is a type and 
   # cannot be assigned for a local variable for later inspection
+  check ((string.getTypeName == "string"))
+  check ((getTypeName(int) == "int"))
+  
   check ((foo(TFoo[int, float], 1000) == "TFoo 1000"))
   
   var f = 10.0

tests/run/ttypetraits.nim

@@ -1,6 +1,6 @@
 discard """
   msg:    "int\nstring\nTBar[int]"
-  output: "int\nstring\nTBar[int]\nint\nrange 0..2"
+  output: "int\nstring\nTBar[int]\nint\nrange 0..2\nstring"
 """
 
 import typetraits
@@ -36,3 +36,24 @@ 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
+