<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">I am using:</div><div class=""><br class=""></div><div class="">{13:25}~/Documents/code/mercury/f2:keyword-recog ✗ ➭ mmc --version</div><div class="">Mercury Compiler, version 20.06.1, on x86_64-apple-darwin19.6.0</div><div class="">Copyright (C) 1993-2012 The University of Melbourne</div><div class="">Copyright (C) 2013-2020 The Mercury team</div><div class=""><br class=""></div><div class="">and</div><div class=""><blockquote type="cite" class=""><blockquote type="cite" class="" style="font-family: Flexi_IBM_VGA_True_437; font-size: 23px;">bifmap("require",_).</blockquote></blockquote><br class=""></div><div class="">Why is it I never see these things before posting. I looked and looked and fixed a lit of things but… thank you Zoltan.</div><div class=""><br class=""></div><div><br class=""><blockquote type="cite" class=""><div class="">On 20 May 2021, at 12:14, Zoltan Somogyi <<a href="mailto:zoltan.somogyi@runbox.com" class="">zoltan.somogyi@runbox.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">2021-05-20 21:03 GMT+10:00 "Sean Charles (emacstheviking)" <</span><a href="mailto:objitsu@gmail.com" style="font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class="">objitsu@gmail.com</a><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">>:</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><blockquote type="cite" style="font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">Hi,<br class=""><br class="">I have created a predicate called bifmap/2 that is declared as nondet, as given the same input string, the body of a token, it could produce more than one result as I allow alternative forms in my language eg, “o>” and “emit”, “λ” and “defun” etc. I am trying to implem,ent a help functio for my repl, and the issue I have is again trying to figure out what the compiler is telling me, the error is:<br class=""><br class="">mmc -s hlc.gc -O4 -E --make felt<br class="">Making Mercury/int3s/words.int3<br class="">Making Mercury/ints/words.int<br class="">Making Mercury/cs/words.c<br class="">words.m:230: In clause for `bifmap(in, out)':<br class="">words.m:230: mode mismatch in disjunction.<br class="">words.m:230: The variable `HeadVar__2' is ground in 118 out of 119 branches.<br class="">words.m:230: It has the following instantiation states.<br class="">words.m:109: In this branch, `HeadVar__2' has the ground instantiatedness<br class="">words.m:109: unique(binaryop(unique(gt))).<br class="">words.m:110: In this branch, `HeadVar__2' has the ground instantiatedness<br class="">words.m:110: unique(binaryop(unique(lt))).<br class="">words.m:111: In this branch, `HeadVar__2' has the ground instantiatedness<br class="">words.m:111: unique(binaryop(unique(gte))).<br class="">words.m:112: In this branch, `HeadVar__2' has the ground instantiatedness<br class="">words.m:112: unique(binaryop(unique(lte))).<br class="">words.m:113: In this branch, `HeadVar__2' has the ground instantiatedness<br class="">words.m:113: unique(binaryop(unique(neq))).<br class="">words.m:114: In this branch, `HeadVar__2' has the ground instantiatedness<br class="">... error log truncated, see `words.err' for the complete log.<br class="">** Error making `Mercury/cs/words.c'.<br class="">make: *** [felt] Error 1<br class="">The terminal process "/bin/zsh '-c', 'make'" terminated with exit code: 2.<span class="Apple-converted-space"> </span><br class=""></blockquote><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">You must be using an old Mercury compiler. On recent compilers, the error</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">message is much shorter and to the point:</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">words.m:215: In clause for `bifmap(in, out)':</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">words.m:215: mode mismatch in disjunction.</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">words.m:215: The variable `HeadVar__2' is ground in 118 out of 119 branches.</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">words.m:201: In this branch, `HeadVar__2' is free.</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">This info is also in the error output you would have got, but your error log got truncated</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">before that.</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">Line 201 says:</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><blockquote type="cite" style="font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">bifmap("require",_).<br class=""></blockquote><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">Since _ is the anonymous variable in Mercury as in Prolog, if the input is "require",</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">bifmap does not bind its second argument.</span><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Flexi_IBM_VGA_True_437; font-size: 23px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">Zoltan.</span></div></blockquote></div><br class=""></body></html>