diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2019-05-15 08:17:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-15 08:17:29 +0200 |
| commit | 9ecb24e443453066e2f9361784daf51f3e5c7f9c (patch) | |
| tree | 6a87cbc8f668bc970376b5ae67507a99dfe3ab3d | |
| parent | fa3d19b4773648744834c67e5b2b9411e062b844 (diff) | |
| download | Nim-9ecb24e443453066e2f9361784daf51f3e5c7f9c.tar.gz | |
fixes #88 (#11243)
| -rw-r--r-- | compiler/semexprs.nim | 4 | ||||
| -rw-r--r-- | tests/generics/tobjecttyperel.nim | 27 |
2 files changed, 27 insertions, 4 deletions
diff --git a/compiler/semexprs.nim b/compiler/semexprs.nim index 91da4a1ec..c0aaccf56 100644 --- a/compiler/semexprs.nim +++ b/compiler/semexprs.nim @@ -143,8 +143,8 @@ proc checkConvertible(c: PContext, targetTyp: PType, src: PNode): TConvStatus = if d == nil: result = convNotLegal - elif d.kind == tyObject and s.kind == tyObject: - result = checkConversionBetweenObjects(d, s, pointers) + elif d.skipTypes(abstractInst).kind == tyObject and s.skipTypes(abstractInst).kind == tyObject: + result = checkConversionBetweenObjects(d.skipTypes(abstractInst), s.skipTypes(abstractInst), pointers) elif (targetBaseTyp.kind in IntegralTypes) and (srcBaseTyp.kind in IntegralTypes): if targetTyp.isOrdinalType: diff --git a/tests/generics/tobjecttyperel.nim b/tests/generics/tobjecttyperel.nim index 6c2184cc2..80fe23459 100644 --- a/tests/generics/tobjecttyperel.nim +++ b/tests/generics/tobjecttyperel.nim @@ -4,7 +4,8 @@ discard """ 17 (width: 0.0, taste: "", color: 13) (width: 0.0, taste: "", color: 15) -cool''' +cool +test''' """ # bug #5241 @@ -62,4 +63,26 @@ method m[T](o: Foo[T]) = echo "cool" var v: Bar v.new() -v.m() # Abstract method not called anymore \ No newline at end of file +v.m() # Abstract method not called anymore + + +# bug #88 + +type + TGen[T] = object of RootObj + field: T + + TDerived[T] = object of TGen[T] + nextField: T + +proc doSomething[T](x: ref TGen[T]) = + type + Ty = ref TDerived[T] + echo Ty(x).nextField + +var + x: ref TDerived[string] +new(x) +x.nextField = "test" + +doSomething(x) |