Cross Reference:
xref
: /
hets
/
HasCASL
/
test
/
SuperClassErrors.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
SuperClassErrors.hascasl revision c18e9c3c6d5039618f1f2c05526ece84c7794ea3
155
N/A
classes a < b
155
N/A
class b < a %% cycle
155
N/A
class c < d
155
N/A
class d < e
155
N/A
class e < c %% indirect cycle
155
N/A
class h : g %% no implicit declaration
155
N/A
class g
155
N/A
class g : (a,b) %% g is already real class
155
N/A
class i : (g,a)
155
N/A
class g < (a,i) %% cycle via i = g
155
N/A
class i %% i is already alias class
155
N/A
class i : (a,g) %% ok
155
N/A
class i : b
155
N/A
var t : Type
155
N/A
class i : { x . x < t }
155
N/A
155
N/A