[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