* included in the distribution.
*
* $RCSfile: type.c,v $
- * $Revision: 1.32 $
- * $Date: 2000/04/04 01:07:49 $
+ * $Revision: 1.34 $
+ * $Date: 2000/04/06 14:23:55 $
* ------------------------------------------------------------------------*/
#include "hugsbasictypes.h"
for (; nonNull(predsAre); predsAre=tl(predsAre)) {
evs = cons(assumeEvid(hd(predsAre),typeOff),evs);
}
- if (!isName(h) || !isCfun(h)) {
+ /* we now _always_ do this: if (!isName(h) || !isCfun(h)) */ {
h = applyToArgs(h,rev(evs));
}
}
} else {
dummyVar = inventVar();
- setCurrModule(modulePrimPrel);
+ setCurrModule(modulePrelPrim);
starToStar = simpleKind(1);