If you define an abstract type `Name1{S}`, then Julia automatically
defines another abstract type `Name` with `Name1{S} <: Name`.This would break if you tried to insert `S` into the type hierarchy as well. -erik On Sat, Apr 2, 2016 at 2:51 PM, Tomas Lycken <[email protected]> wrote: > If it's abstract, what is the purpose of the type parameter? In other words, > what is the ultimate goal you're reaching for? > > //T > > On Saturday, April 2, 2016 at 3:17:34 AM UTC+2, Scott Lundberg wrote: >> >> You can define: >> >> abstract Name1{S <: Name2} <: Name3{S} >> >> but I want to define: >> >> abstract Name1{S <: Name2} <: S >> >> However the second line does not work. Is there some other way to >> accomplish the same thing? Thanks! -- Erik Schnetter <[email protected]> http://www.perimeterinstitute.ca/personal/eschnetter/
