* included in the distribution.
*
* $RCSfile: type.c,v $
- * $Revision: 1.20 $
- * $Date: 1999/12/16 16:34:46 $
+ * $Revision: 1.22 $
+ * $Date: 2000/01/12 14:52:54 $
* ------------------------------------------------------------------------*/
#include "prelude.h"
mark(typeProgIO);
break;
- case POSTPREL: break;
+ case POSTPREL:
+
+ if (combined) {
+ setCurrModule(modulePrelude);
+ dummyVar = inventVar();
+ typeUnit = mkTuple(0);
+ arrow = fn(aVar,bVar);
+ listof = ap(typeList,aVar);
+ boundPair = ap(ap(mkTuple(2),aVar),aVar);
+ nameUnit = findQualNameWithoutConsultingExportList
+ (mkQVar(findText("PrelBase"),
+ findText("()")));
+ }
+ break;
case PREPREL :
typeChecker(RESET);
starToStar = simpleKind(1);
- typeUnit = addPrimTycon(findText("()"),
- STAR,0,DATATYPE,NIL);
+ typeUnit = findTycon(findText("()"));
+ assert(nonNull(typeUnit));
+
typeArrow = addPrimTycon(findText("(->)"),
simpleKind(2),2,
DATATYPE,NIL);