[m-users.] Version confusion locationg term_io.rea_term
Sean Charles (emacstheviking)
objitsu at gmail.com
Wed Aug 21 23:06:03 AEST 2024
I was using
export PATH=$PATH:/usr/local/mercury-rotd-2024-06-28/bin
export MANPATH=$MANPATH:$PATH:/usr/local/mercury-rotd-2024-06-28/share/man
export INFOPATH=$INFOPATH:/usr/local/mercury-rotd-2024-06-28/share/info
and started playing with the `expand_terms.m` but after getting errors, it seems that the term_io module does not have that predicate.
I then switched back to
export PATH=$PATH:/usr/local/mercury-22.01.8/bin
export MANPATH=$MANPATH:$PATH:/usr/local/mercury-22.01.8/share/man
export INFOPATH=$INFOPATH:/usr/local/mercury-22.01.8/share/info
whoch seems to have said predicate, however I then get these errors:
Making Mercury/ints/dstack.int
dstack.m:316: Syntax error at token ':-': operator precedence error.
dstack.m:1663: Error: `format_call' is not a recognized pragma name.
dstack.m:1672: Error: `format_call' is not a recognized pragma name.
dstack.m:1683: Error: `format_call' is not a recognized pragma name.
lines 51-53 of srcdist-22.01.8/term_io.m
:- pred read_term(read_term(T)::out, io::di, io::uo) is det.
:- pred read_term(io.text_input_stream::in, read_term(T)::out,
io::di, io::uo) is det.
in term_io.m of srcdist-rotd-2024-06-28, there is no read_term/3 at all.
So is there a version that has the format_call predicate and term_io.read_term or not? I am a bit confused atm!!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20240821/74dd8dc8/attachment.html>
More information about the users
mailing list