Abuzar Chaudhary wrote:
Fellow Witches,

I will rather reply as a wizard, if you don't mind ;-)

there exists this code:

local Y = 1 in local M = f(M Y)
          [X1 !Y] = L
          L = [1 2]
       in {Browse [M L]}
end end

which (upon clicking oz/feed paragraph) produces this error:

Indeed. Here is the explanation: Y is not declared in the inner 'local' statement, but !Y correspond to the Y declared in the outer 'local'. So the value of L is constrained in the following inconsistent ways:

      [X1 !Y] = L   % L=[_ 1]
      L = [1 2]     % L=[1 2]

To make the code more consistent, one can for instance replace Y=1 by Y=2 in the outer 'local' declaration.

Cheers,

Raphael the Wizard of Well-Defined Laziness and Other ByNeed Stuff

_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to