This is now https://github.com/JuliaLang/julia/issues/14825
On Wednesday, January 27, 2016 at 4:52:00 PM UTC+1, Yichao Yu wrote: > > On Wed, Jan 27, 2016 at 10:35 AM, Tommy Hofmann <[email protected] > <javascript:>> wrote: > > I am trying to define two parametric types with circular dependency as > > follows. > > > > abstract abstest > > > > type t1{A <: abstest, B} > > x::A > > y::B > > end > > > > type t2{C, B} <: abstest > > x::C > > y::t1{t2{C, B}, B} > > end > > > > Unfortunately it doesn't work: > > ERROR: TypeError: t1: in A, expected A<:abstest, got Type{t2{C,B}} > > > > Apparently he is complaining about the definition of field y in the > > definition of type t2. But t2{C, B} is a subtype of abstest, so {t2{C, > B}, > > B} should be valid parameters for type t1. Probably I am missing > something > > here. > > Looks like a bug to me. You should probably open an issue about this. > > > > > Thanks, > > Tommy > > > > >
