Revert "test cases for the new features"

This reverts commit 66653e8f14.
This commit is contained in:
Araq
2013-05-27 23:16:00 +02:00
parent 66653e8f14
commit e1b668c868
4 changed files with 4 additions and 78 deletions

View File

@@ -1,29 +0,0 @@
type
TFoo[T, U, R = int] = object
x: T
y: U
z: R
TBar[T] = TFoo[T, array[4, T], T]
var x1: TFoo[int, float]
static:
assert type(x1.x) is int
assert type(x1.y) is float
assert type(x1.z) is int
var x2: TFoo[string, R = float, U = seq[int]]
static:
assert type(x2.x) is string
assert type(x2.y) is seq[int]
assert type(x2.z) is float
var x3: TBar[float]
static:
assert type(x3.x) is float
assert type(x3.y) is array[4, float]
assert type(x3.z) is float

View File

@@ -5,8 +5,6 @@ type
T1 = expr
T2 = expr
Numeric = int|float
proc takesExpr(x, y) =
echo x, y
@@ -34,22 +32,3 @@ takesFoo(f, f)
takes2Types(1, 1, "string")
takes2Types[string, int]("test", "test", 1)
proc takesSeq(x: seq) =
echo "seq"
takesSeq(@[1, 2, 3])
takesSeq(@["x", "y", "z"])
proc takesSeqOfFoos(x: seq[TFoo]) =
echo "foo seq"
var sf = newSeq[TFoo[int]](3)
takesSeq(sf)
takesSeqOfFoos(sf)
proc takesFooOfNumeric(x: TFoo[Numeric]) =
echo "foo of numeric"
takesFooOfNumeric(sf[0])

View File

@@ -1,17 +0,0 @@
discard """
file: "tstaticparams.nim"
output: "abracadabra\ntest"
"""
type
TFoo[T; Val: expr[string]] = object
data: array[4, T]
proc takeFoo(x: TFoo) =
echo "abracadabra"
echo TFoo.Val
var x: TFoo[int, "test"]
takeFoo(x)