SuperClassErrors.hascasl revision c18e9c3c6d5039618f1f2c05526ece84c7794ea3
classes 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
var t : Type
class i : { x . x < t }