Changeset 4519 for trunk/configs

Show
Ignore:
Timestamp:
10/19/08 09:04:40 (3 months ago)
Author:
pmoura
Message:

Ciao also supports a read_term/3 options that returns line information.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/configs/ciao_aux.config

    r4517 r4519  
    538538% '$lgt_read_term'(@stream, -term, +list, -integer) 
    539539 
    540 '$lgt_read_term'(Stream, Term, Options, -1) :- 
    541     read_term(Stream, Term, Options). 
     540'$lgt_read_term'(Stream, Term, Options, Line) :- 
     541    read_term(Stream, Term, [lines(Line, _)| Options]). 
    542542 
    543543