SuperClassErrors.hascasl revision fdbad18e66c0e293f94694458d47df305f050c71
class a < b
class b < a %% cycle
class c < d
class d < e
class e < c %% indirect cycle
class h = g %% no implicit declaration
class g
class g = (a,b) %% g is already real class
class i = (g,a)
class g < (a,i) %% cycle via i = g
class i %% i is already alias class
class i = (a,g) %% ok
class i = b %% wrong redefinition
var t : Type
class i = { x . x < t } %% wrong redefinition