[m-users.] minimal model pragma and compilation options

[C. M. Sperberg-McQueen]

Zoltan Somogyi writes:

> 2022-01-14 09:32 GMT+11:00 "C. M. Sperberg-McQueen" <cmsmcq at blackmesatech.com>:
>>> What must I do to persuade mmc --make to compile a program that uses
>>> minimal-model tabling? 
>
> You must first install the Mercury runtime and standard library
> in a grade that supports minimal model tabling. Since most people
> who use Mercury do not use minimal model tabling, no such grade
> is installed by default. Which means that ...
>
>> I have not yet found an answer to this question but I am beginning to
>> suspect that it will require recompiling Mercury.
>
> ... this correct.

Thank you.

This is just to report that I was able to download the source
distribution and compile it with support for minimal model tabling
without any particular trouble, and the pragma works as I hoped it
would: my left-recursive arithmetic parser now successfully handles
expressions which exercise the left-recursive rules.

-- 
C. M. Sperberg-McQueen
Black Mesa Technologies LLC
http://blackmesatech.com