[m-rev.] For review: Make improvements to stack segments code.

[Julien Fischer]

On Mon, 7 Jun 2010, Paul Bone wrote:

>>>> Please post a revised log message and diff once you have addressed the
>>>> above.
>>>
>>> Okay,  There also seem to be some problems with hlc.gc.par, so I'll address
>>> those before I re-post it.
>>
>> You should also test in a trseg grade and probably one of the mmos
>> grades.
>>
>
> What's mmos?  A search in doc/user_guide.texi gives me nothing.  Searching
> runtime/mercury_grade.h tells me it means "Minimal Model Own Stacks".  I guess
> I'd like a description of what it does.  I've seen minimal model code that
> seems to have something to do with the managment of contexts and switching
> between them but I don't know what it actually does.
>
> I recall the term Minimal Model from Logic Programming class but don't remember
> enough to know the definition.  My point is, this should be in
> doc/user_guide.texi, but perhaps commented out.

No it shouldn't.  The minimal model tabling grades use the .mm grade
component.  At the moment there are two implementations, the old one
(.mm) and the new one (.mmos).  The intention is that the latter replace
the former, but it's not complete enough to do so yet.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------