Subject: Re: read_term problem in 3.3.6?

From: Jan Wielemaker <[email-masked]>
Date: Thu, 15 Jun 2000 14:01:41 +0200

> read_term(Goal, [syntax_errors(Errs), variable_names(Vars)])
> 
> ...works just fine in version 2.8.x, but crashes in 3.3.6 with the
> error:
> 
> ERROR: Domain error: `read_option' expected, found
> `syntax_errors(_G329)'
> 
> The documentation for read_term doesn't seem to have changed -
> syntax_errors is still there.  Anybody know what the problem is?

The option is still there, but the arguments changed.  Bascially
use

	catch(read_term(Goal,
			[ syntax_errors(error),
			  variable_names(Vars)
			]), E, true),
	(   nonvar(E)
	->  <a syntax error>
	;   <read ok>
	).

This is compliant to the ISO standard.

	Regards --- Jan