[m-rev.] for review: fast_loose_memo

[Ralph Becket]

Zoltan Somogyi, Friday, 20 May 2005:
> For review by anyone. I will add the new feature to the NEWS file only
> after more testing.

I have not reviewed the code closely, but it looked fine at a cursory
glance.

> Index: doc/reference_manual.texi
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
> retrieving revision 1.316
> diff -u -b -r1.316 reference_manual.texi
> --- doc/reference_manual.texi	26 Apr 2005 07:38:01 -0000	1.316
> +++ doc/reference_manual.texi	20 May 2005 06:33:43 -0000
> @@ -8856,6 +8856,13 @@
>  does no loop checking, @samp{pragma loop_check} checks for loops
>  and throws an exception if a loop is detected, while
>  @samp{pragma minimal_model} computes the ``minimal model'' semantics.
> + at samp{pragma fast_loose_memo} is a variant of @samp{pragma memo}.
> +While @samp{memo} tabling requires time proportional to the size of
> +the input arguments to look up the current call in its table,
> + at samp{fast_loose_memo} requires constant time.
> +The tradeoff is that @samp{fast_loose_memo} does not recognize
> +calls as duplicates if they involve input argumens that are logically equal

s/argumens/arguments/

> +but are stored at different locations in memory.


--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------