[m-dev.] [HAL-dev] Adding Herbrand types to Mercury (fwd)

[Ralph Becket]

Fergus Henderson, Wednesday, 17 December 2003:
> 
> With the current Mercury implementation, this would be suboptimal
> efficiency-wise, because there are two levels of indirection for each
> level of binding, one for '$'/1, and one for bound/1.
> 
> Something like this instead
> 
> 	:- solver type t
> 		--->	'$free'
> 		;	'$bound'(t)
> 		;	f
> 		;	g(t)
> 		where equality is unify_t.
> 
> could be considerably more efficient.

True.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------