<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">I was using<div><br></div><div><div><font face="Andale Mono">export PATH=$PATH:/usr/local/mercury-rotd-2024-06-28/bin</font></div><div><font face="Andale Mono">export MANPATH=$MANPATH:$PATH:/usr/local/mercury-rotd-2024-06-28/share/man</font></div><div><font face="Andale Mono">export INFOPATH=$INFOPATH:/usr/local/mercury-rotd-2024-06-28/share/info</font></div></div><div><br></div><div>and started playing with the `expand_terms.m` but after getting errors, it seems that the term_io module does not have that predicate.</div><div><br></div><div>I then switched back to</div><div><br></div><div><div><font face="Andale Mono">export PATH=$PATH:/usr/local/mercury-22.01.8/bin</font></div><div><font face="Andale Mono">export MANPATH=$MANPATH:$PATH:/usr/local/mercury-22.01.8/share/man</font></div><div><font face="Andale Mono">export INFOPATH=$INFOPATH:/usr/local/mercury-22.01.8/share/info</font></div></div><div><br></div><div>whoch seems to have said predicate, however I then get these errors:</div><div><br></div><div><div><font face="Andale Mono">Making Mercury/ints/dstack.int</font></div><div><font face="Andale Mono">dstack.m:316: Syntax error at token ':-': operator precedence error.</font></div><div><font face="Andale Mono">dstack.m:1663: Error: `format_call' is not a recognized pragma name.</font></div><div><font face="Andale Mono">dstack.m:1672: Error: `format_call' is not a recognized pragma name.</font></div><div><font face="Andale Mono">dstack.m:1683: Error: `format_call' is not a recognized pragma name.</font></div></div><div><br></div><div><br></div><div>lines 51-53 of srcdist-22.01.8/term_io.m</div><div><div style="background-color: rgb(255, 255, 255); font-family: "Ubuntu Mono", "Nouveau IBM", "Courier New", "Iosevka Fixed", SimSun-ExtB, "JetBrains Mono", Px437_IBM_XGA-AI_7x15, "Px437 ApricotXenC", Edlo, "IntelOne Mono", Drucifer, Menlo, "APL385 Unicode", Monaco, MicroKnight, monospace, Menlo, Monaco, "Courier New", monospace; line-height: 27px; white-space: pre;"><div><span style="color: rgb(200, 0, 164);">:- pred</span> read_term<span style="color: rgb(200, 0, 164);">(</span>read_term<span style="color: rgb(200, 0, 164);">(T)::</span>out<span style="color: rgb(200, 0, 164);">,</span> io<span style="color: rgb(200, 0, 164);">::</span>di<span style="color: rgb(200, 0, 164);">,</span> io<span style="color: rgb(200, 0, 164);">::</span>uo<span style="color: rgb(200, 0, 164);">)</span> <span style="color: rgb(200, 0, 164);">is</span> <span style="color: rgb(200, 0, 164);">det.</span></div><div><span style="color: rgb(200, 0, 164);">:- pred</span> read_term<span style="color: rgb(200, 0, 164);">(</span>io.text_input_stream<span style="color: rgb(200, 0, 164);">::</span>in<span style="color: rgb(200, 0, 164);">,</span> read_term<span style="color: rgb(200, 0, 164);">(T)::</span>out<span style="color: rgb(200, 0, 164);">,</span></div><div> io<span style="color: rgb(200, 0, 164);">::</span>di<span style="color: rgb(200, 0, 164);">,</span> io<span style="color: rgb(200, 0, 164);">::</span>uo<span style="color: rgb(200, 0, 164);">)</span> <span style="color: rgb(200, 0, 164);">is</span> <span style="color: rgb(200, 0, 164);">det.</span></div><div><span style="color: rgb(200, 0, 164);"><br></span></div><div><span style="color: rgb(200, 0, 164);">in term_io.m of srcdist-rotd-2024-06-28, there is no read_term/3 at all.</span></div><div><span style="color: rgb(200, 0, 164);"><br></span></div><div><span style="font-family: Helvetica; white-space: normal;">So is there a version that has the format_call predicate and term_io.read_term or not? I am a bit confused atm!!</span></div><div><span style="font-family: Helvetica; white-space: normal;"><br></span></div></div></div></body></html>