test/typequals.expect

   1
   2 tq.h:3:45: Datatype tmixm inconsistently declared as immutable
   3    tq.lcl:3:1: Specification of tmixm
   4 tq.h:4:45: Datatype tmixa inconsistently declared as abstract type
   5    tq.lcl:5:14: Specification of tmixa
   6 tq.h:5:45: Datatype tmixi inconsistently declared as mutable
   7    tq.lcl:4:1: Specification of tmixi
   8 typequals.c: (in function f)
   9 typequals.c:6:4: Operand of * is abstract type (tam): *xtam
  10 typequals.c:7:4: Operand of * is abstract type (tai): *xtai
  11
  12 Finished checking --- 5 code warnings, as expected
  13
  14 typequals.c: (in function f)
  15 typequals.c:6:4: Operand of * is abstract type (tam): *xtam
  16 typequals.c:7:4: Operand of * is abstract type (tai): *xtai
  17
  18 Finished checking --- 2 code warnings, as expected