1 files changed, 90 insertions, 0 deletions
diff --git a/frontend/predef.dcl b/frontend/predef.dcl
new file mode 100644
index 0000000..585a764
--- /dev/null
+++ b/frontend/predef.dcl
@@ -0,0 +1,90 @@
+definition module predef
+
+	
+import syntax, hashtable
+
+::	PredefinedSymbols	:== {# PredefinedSymbol}
+
+::	PredefinedSymbol =
+	{	pds_ident	:: !Ident
+	,	pds_module	:: !Index
+	,	pds_def		:: !Index
+	}
+
+/* identifiers not present the hastable */
+
+
+
+PD_PredefinedModule			:== 0
+
+PD_StringType				:== 1
+PD_ListType					:== 2
+PD_Arity2TupleType			:== 3
+PD_Arity32TupleType			:== 33
+
+PD_LazyArrayType			:== 34
+PD_StrictArrayType			:== 35
+PD_UnboxedArrayType			:== 36
+
+PD_ConsSymbol				:== 37
+PD_NilSymbol				:== 38
+PD_Arity2TupleSymbol		:== 39
+PD_Arity32TupleSymbol		:== 69
+
+PD_TypeVar_a0				:== 70
+PD_TypeVar_a31				:== 101
+
+PD_TypeCodeMember			:== 123
+
+/* identifiers present in the hastable */
+
+PD_StdArray					:== 102
+PD_StdEnum					:== 103
+PD_StdBool					:== 104
+
+PD_AndOp					:== 105
+PD_OrOp						:== 106
+
+
+/* Array functions */
+
+PD_ArrayClass				:== 107
+
+PD_CreateArrayFun			:== 108
+PD__CreateArrayFun			:== 109
+PD_ArraySelectFun			:== 110
+PD_UnqArraySelectFun		:== 111
+PD_ArrayUpdateFun			:== 112
+PD_ArrayReplaceFun			:== 113
+PD_ArraySizeFun				:== 114
+PD_UnqArraySizeFun			:== 115
+
+/* Enum/Comprehension functions */
+
+PD_SmallerFun				:== 116
+PD_IncFun					:== 117
+PD_From						:== 118
+PD_FromThen					:== 119
+PD_FromTo					:== 120
+PD_FromThenTo				:== 121
+
+/* Dynamics */
+
+PD_TypeCodeClass			:== 122
+
+PD_TypeObjectType			:== 124
+PD_TypeConsSymbol			:== 125
+PD_unify					:== 126
+PD_variablePlaceholder		:== 127
+PD_StdDynamics				:== 128
+PD_undo_indirections		:== 129
+
+PD_NrOfPredefSymbols		:== 130
+
+
+GetTupleConsIndex tup_arity :== PD_Arity2TupleSymbol + tup_arity - 2
+GetTupleTypeIndex tup_arity :== PD_Arity2TupleType + tup_arity - 2
+
+buildPredefinedSymbols :: !*HashTable -> (!.PredefinedSymbols,!*HashTable)
+
+buildPredefinedModule :: !*PredefinedSymbols -> (!ScannedModule, !.PredefinedSymbols)