Just an additional comment on your question: >> In general, how can I initialize an array? My current approach is If you know the size of your array, you can simply do a unification: [eclipse 1]: A = [](1,2,3,4). A = [](1, 2, 3, 4) Yes (0.00s cpu) Cheers, Kish ShenReceived on Fri Mar 05 12:56:38 2004
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:27 PM GMT GMT