diff options
| author | jcosborn <jcosborn@users.noreply.github.com> | 2017-12-04 10:37:25 -0600 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2017-12-04 17:37:25 +0100 |
| commit | 35d7a99b6a4cdd44e216811790e528ae6b8e44ff (patch) | |
| tree | 0634a09141d01ae7be3afd0c89037d65703cf020 /tests/macros | |
| parent | c039bbf6e1186ba8a6f65fa6e0179c8245f2d483 (diff) | |
| download | Nim-35d7a99b6a4cdd44e216811790e528ae6b8e44ff.tar.gz | |
fix getTypeInst for tyGenericInst (#6868)
Diffstat (limited to 'tests/macros')
| -rw-r--r-- | tests/macros/tgettypeinst.nim | 32 |
1 files changed, 26 insertions, 6 deletions
diff --git a/tests/macros/tgettypeinst.nim b/tests/macros/tgettypeinst.nim index 8e1d9bc13..ea98721c4 100644 --- a/tests/macros/tgettypeinst.nim +++ b/tests/macros/tgettypeinst.nim @@ -27,9 +27,10 @@ macro testX(x,inst0: typed; recurse: static[bool]; implX: typed): typed = let inst = x.getTypeInst let instr = inst.symToIdent.treeRepr let inst0r = inst0.symToIdent.treeRepr - #echo instr - #echo inst0r - doAssert(instr == inst0r) + if instr != inst0r: + echo "instr:\n", instr + echo "inst0r:\n", inst0r + doAssert(instr == inst0r) # check that getTypeImpl(x) is correct # if implX is nil then compare to inst0 @@ -41,9 +42,10 @@ macro testX(x,inst0: typed; recurse: static[bool]; implX: typed): typed = else: implX[0][2] let implr = impl.symToIdent.treerepr let impl0r = impl0.symToIdent.treerepr - #echo implr - #echo impl0r - doAssert(implr == impl0r) + if implr != impl0r: + echo "implr:\n", implr + echo "impl0r:\n", impl0r + doAssert(implr == impl0r) result = newStmtList() #template echoString(s: string) = echo s.replace("\n","\n ") @@ -111,6 +113,14 @@ type Generic[T] = seq[int] Concrete = Generic[int] + Alias1 = float + Alias2 = Concrete + + Vec[N: static[int],T] = object + arr: array[N,T] + Vec4[T] = Vec[4,T] + + test(bool) test(char) test(int) @@ -149,6 +159,16 @@ test(Generic[int]): type _ = seq[int] test(Generic[float]): type _ = seq[int] +test(Alias1): + type _ = float +test(Alias2): + type _ = Generic[int] +test(Vec[4,float32]): + type _ = object + arr: array[0..3,float32] +test(Vec4[float32]): + type _ = object + arr: array[0..3,float32] # bug #4862 static: |