Where is Mercury's type inference?

From: seguso (see_at_my.signature)
Date: 03/13/04 

Date: Sat, 13 Mar 2004 12:38:45 GMT

Maybe I don't understand what you mean by type inference...

This compiles well:

:-type verb ---> verb(name:: verbName , requiresProgram::bool).

:-pred testPredicate(verb).
:-mode testPredicate(in) is det.
testPredicate(verb(_, _)).

But this doesn't:

:-pred testPredicate(_).
:-mode testPredicate(in) is det.
testPredicate(verb(_, _)).

So, where is Mercury's type inference?

Thanks! 

-- 
Best Regards,
Maurizio Colucci
Please remove the uppercase letters "S,P,A,M":
seSgPuAsMo.forever@tin.it