[m-dev.] Re: [HAL-dev] Adding Herbrand types to Mercury

[Ralph Becket]

Fergus Henderson, Tuesday, 27 January 2004:
> 
> Is it a design goal to allow users to implement their own constraint
> solver for Herbrand-style variables?

This begs the question, do we want to support combined solver/du types?
It seems to me that one could simply use combinator functions rather
than du constructors.  This way the compiler could treat du types,
solver types and Herbrand/Prolog types entirely separately.


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------