[m-dev.] diff for review: overload resolution for higher-order terms

Simon TAYLOR stayl at students.cs.mu.oz.au
Sun Mar 23 17:42:19 AEDT 1997


> 
> Can someone please review this change?
> 
> Fix a bug: use the types to resolve overloading for higher-order terms.
> This avoids a software error in get_pred_and_proc_id when you try to
> take the address of an overloaded predicate or function, e.g. `<',
> without using an explicit module qualifier.
> 

That looks fine Fergus,

Simon.



More information about the developers mailing list