pike.git/ src/ testsuite.in

2002-11-07

2002-11-07 17:14:09 by Marcus Comstedt <marcus@mc.pp.se>

• d1c9bc729b3929e68a34df66921325570a277d4e (8 lines) (+7/-1) ^{[ Show | Annotate ]}
  Branch: 7.9

Test for covariance of test_program within typesystem.

Rev: src/testsuite.in:1.560

1: - test_true([["$Id: testsuite.in,v 1.559 2002/11/07 17:03:28 marcus Exp $"]]); + test_true([["$Id: testsuite.in,v 1.560 2002/11/07 17:14:09 marcus Exp $"]]);      // This triggered a bug only if run sufficiently early.   test_compile_any([[#pike 7.2]])
1016:    class B {inherit A;}    int a() {return object_program (B()->clone()) == B;}   ]]) + test_program([[ +  class A {this_program clone() {return this_program();}} +  class B {inherit A;} +  int a() {return typeof(B()->clone()) <= B;} + ]])      test_program([[    class A {