[m-dev.] bugs in intermod.m

[Fergus Henderson]

I wrote:

> Hi Simon,
> 
> There is some code in intermod.m around line 500 --
> the predicate fix_function_or_higher_order_in_unify_rhs --
> which assumes that only higher-order terms can be
> module qualified.  This assumption is no longer true,
> now that you've implemented module qualification of functors.
> 
> Could you please fix this?

Never mind, it's easier if I do it.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.