[Oz] Help using Search module ...

[P Ravi Prakash]

Hi,

I have a problem using Search module. When I execute the code given
below, the program hangs. But if I declare the variables A1, A2, A3 in
the procedure Gen instead of as global variables, it works fine. Could any
one please explain why this is happening?

I am using Mozart on Linux 5.2.

Thanks for your time.

Regards,

Ravi

----------------------------------------------------------------------------
functor
  import
    Search
    FD
    Application
    System
    Compiler
 
define
A1 A2 A3
 
    proc{Gen S}
      S = [A1 A2 A3]
      S ::: 10#20
      {FD.distribute ff S}
    end
 
{System.show {Search.base.one Gen}}
 
{Application.exit 0}
end
-----------------------------------------------------------------------------

  +-------------------------------------------------------------------------+
  |P Ravi Prakash,  KBCS Division         : Email: ravi at konark.ncst.ernet.in|
  |National Centre for Software Technology: Phone: 620 1606 x 41, 12 =======|
  |Gulmohar Cross Road 9, Juhu            : Fax: 022-621 0139 ==============|
  |Mumbai - 400 049, INDIA                : ================================|
  | 			Web: http://konark.ncst.ernet.in/~ravi/             |
  +-------------------------------------------------------------------------+

-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.