Distribute Global Variables

[Gianni Alberti]

Hi
I like to know what is wrong in the following program:

functor
  import
      FD
      System
      Search
define
    A = {List.make 5 }
    A ::: 0#1      
proc {UNO A}
    {FD.sum A '=:' 4}
    {FD.distribute ff A}
end
in
{System.show   {Search.all UNO 0 _} }
end

respect to the following :

functor
  import
      FD
      System
      Search
define
proc {UNO A}
    A = {List.make 5 }
    A ::: 0#1      
    {FD.sum A '=:' 4}
    {FD.distribute ff A}
end
in
{System.show   {Search.all UNO 0 _} }
end

The difference is that I want to use a global variable for distribution : what is my fault ?

Thanks 
Gianni Alberti
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.info.ucl.ac.be/pipermail/mozart-users/attachments/20020225/9d209879/attachment.html