[m-rev.] diff: fix solver type pruning bug

Ralph Becket rafe at cs.mu.OZ.AU
Fri Dec 5 14:06:42 AEDT 2003


Fergus Henderson, Friday,  5 December 2003:
> Estimated hours taken: 1
> Branches: main
> 
> Fix a bug where we were incorrectly pruning nondet goals with a non-local
> variable of inst "any" whose type contained a solver type in one of
> its fields.
> 
> compiler/inst_match.m:
> 	Fix a bug: when memoizing the results of previous calls to
> 	inst_matches_*, include the maybe(type) argument in the key
> 	of the memo table, since that argument can effect the result.

s/effect/affect/
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list