[M3devel] narrow still failing..

[mika at async.caltech.edu]

As in the ISTYPE/TYPECASE example, the following works:


PROCEDURE Z(VAR x : REFANY) =
  BEGIN
    TYPECASE x OF
      BDD.T(b) => x := BDD.Format(b)
    END;
  END Z;

(244)rover:~/refany/src>../FreeBSD4/refany
a


This does NOT work:

PROCEDURE Z(VAR x : REFANY) =
  BEGIN
    TYPECASE x OF
      BDD.T(b) => x := BDD.Format(x)
    END;
  END Z;


(242)rover:~/refany/src>../FreeBSD4/refany


***
*** runtime error:
***    NARROW failed
***    file "/big/home/mika/refany/src/Main.m3", line 22
***

  use option @M3stackdump to get a stack trace
Abort


Same result PM3 / CM3.

     Mika