Re: [Gm2] mea culpa, testcase9 is good, but testcase8??

[Gaius Mulley]

Dragiša Durić <address@hidden> writes:

> (* as per comments, but why??? *)
>
> MODULE TestCase8;
>
> TYPE
>   T = POINTER TO RECORD
>     cmp: PROCEDURE;
>     left, right: T;
>   END;
>
> VAR
>   a, b: T;
>
> BEGIN
>   IF a^.cmp <> b^.cmp THEN (* FAIL *)
>   END;
>   IF NOT (a^.cmp = b^.cmp) THEN (* PASS *)
>   END;
> END TestCase8.
>
> -- 
> Dragiša Durić <address@hidden>

Hi Dragiša,

thanks for the additional test code - I've now added this to the list
of pending bugs..

regards,
Gaius