* included in the distribution.
*
* $RCSfile: type.c,v $
- * $Revision: 1.32 $
- * $Date: 2000/04/04 01:07:49 $
+ * $Revision: 1.36 $
+ * $Date: 2000/05/26 17:42:18 $
* ------------------------------------------------------------------------*/
#include "hugsbasictypes.h"
#include "connect.h"
#include "errors.h"
+#include "Rts.h" /* to make StgPtr visible in Assembler.h */
#include "Assembler.h" /* for AsmCTypes */
/*#define DEBUG_TYPES*/
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));
}
}
case FROMQUAL : { Int beta = newTyvars(1);
saveVarsAss();
+ enterPendingBtyvs();
spCheck(l,snd(snd(q)),NIL,genQual,m,beta);
enterSkolVars();
fst(snd(q))
shouldBe(l,fst(snd(q)),NIL,genQual,aVar,beta);
typeComp(l,m,e,qs1);
restoreVarsAss();
- doneBtyvs(l);
+ leavePendingBtyvs();
leaveSkolVars(l,typeIs,typeOff,0);
}
break;
} else {
dummyVar = inventVar();
- setCurrModule(modulePrimPrel);
+ setCurrModule(modulePrelPrim);
starToStar = simpleKind(1);