SuperClassWarnings.hascasl revision fdbad18e66c0e293f94694458d47df305f050c71
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder%% all warnings
c63ebf815c8a874525cf18670ad74847f7fc7b26Christian Maederclass a < b %% implicit super class declaration
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederclass b %% redeclared class
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclass c < Type %% useless (always true)
456238178f89e5a3de2988ee6c8af924297d52d9Christian Maederclass d < a %% ok
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclass d < b %% transitive via a
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclass d < a %% direct repetition
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian Maederclass e < (Type, f) %% Type is silently ignored
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maederclass g < (h,h) %% doubles are silently ignored