[mercury-users] strange mmc behavior

[Holger Krug]

On Thu, Jul 26, 2001 at 06:55:30PM +1000, Fergus Henderson wrote:
> But this could occur if you have a type error in the pred
> declaration for `in_accepting_state', for example if you declared
> the argument to have type `T' rather than type `live_lexeme(T)'.
> The module qualifiers on the constructor names in bound insts are
> determined by the module qualifier on the corresponding type.  If
> the corresponding type is a type variable, then the module
> qualifiers won't get filled in automatically.  Try fully
> module-qualifying all the constructor names in your bound insts.

Thank you, now it works !

-- 
Holger Krug
hkrug at rationalizer.com
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------