Changeset 4535 for trunk/configs

Timestamp:

10/24/08 04:59:09 (3 months ago)

Author:

pmoura

Message:

Removed Ciao support for reporting term line count due to a buggy implementation of the read_term/3 option lines/2 in the latest stable release of this Prolog compiler (1.10 #8).

Files:

• trunk/configs/ciao_aux.config (modified) (1 diff)

trunk/configs/ciao_aux.config

@@ -540 +540 @@
 % '$lgt_read_term'(@stream, -term, +list, -integer)
 
-'$lgt_read_term'(Stream, Term, Options, Line) :-
-    read_term(Stream, Term, [lines(Line, _)| Options]).
+'$lgt_read_term'(Stream, Term, Options, -1) :-
+%   read_term(Stream, Term, [lines(Line, _)| Options]). % buggy in 1.10 #8
+    read_term(Stream, Term, Options).