From Piet.Mertens@arts.kuleuven.ac.be  Thu Mar  2 09:33:23 2000
Received: from mail.cc.kuleuven.ac.be (mail.cc.kuleuven.ac.be [134.58.10.6])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id JAA19896
	for <prolog@swi.psy.uva.nl>; Thu, 2 Mar 2000 09:33:23 +0100 (MET)
Received: from gandhi (gandhi.arts.kuleuven.ac.be [134.58.129.10])
	by mail.cc.kuleuven.ac.be (8.9.3/8.9.0) with SMTP id JAA69254
	for <prolog@swi.psy.uva.nl>; Thu, 2 Mar 2000 09:33:38 +0100
Message-Id: <3.0.5.32.20000302093503.0095eec0@onyx.arts.kuleuven.ac.be>
X-Sender: pmertens@onyx.arts.kuleuven.ac.be
X-Mailer: QUALCOMM Windows Eudora Pro Version 3.0.5 (32)
Date: Thu, 02 Mar 2000 09:35:03 -0600
To: prolog@swi.psy.uva.nl
From: Piet Mertens <Piet.Mertens@arts.kuleuven.ac.be>
Subject: saved state command line args
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"

Hello,

After upgrading from 2.8.1 to 3.2.6 on a Linux machine
and after recompiling saved states, 
command line arguments no longer seem to be accessible 
to the saved state in the old way.

The saved state is prepared as follows:

:- consult(my_pl_file).
:- qsave_program(savedstate)
:- halt.

The test file contains the following 

go :-     
	unix(argv(Arguments)),
	append(_SystemArgs, [--|Args], Arguments), !,
	write('ARGS:'), write(Args), nl.

It used to be called as follows:

$ ./savedstate -t go -- a b c

But this no longer works: the prolog banner appears, followed
by the main prompt:

?- 

Could anyone give me some advice ?

Many thanks,

Piet

