[m-dev.] Polymorphism and solver type initialisation

Ralph Becket rafe at cs.mu.OZ.AU
Wed Jul 7 12:41:38 AEST 2004

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

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

More information about the developers mailing list