[m-dev.] Polymorphism and solver type initialisation

[Ralph Becket]

My current solver types implementation does not handle polymorphic code:
when a call is being scheduled during mode analysis, a call to the
appropriate solver type initialisation predicate is inserted for any
call arguments that have inst `free', but which the call expects to have
inst `any'.  It is currently a mode error if the compiler cannot
statically determine the right initialisation predicate, hence
polymorphic solver type code does not work at present.

The proposed solution is to have the initialisation predicate as a
method of a solver type class, a la HAL, to which all solver types will
belong.

Anybody see a problem with that?

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