diff options
Diffstat (limited to 'backend')
| -rw-r--r-- | backend/backend.dcl | 14 | ||||
| -rw-r--r-- | backend/backend.icl | 22 | ||||
| -rw-r--r-- | backend/backendconvert.icl | 12 |
3 files changed, 24 insertions, 24 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl index f151e64..0f5a100 100644 --- a/backend/backend.dcl +++ b/backend/backend.dcl @@ -251,10 +251,10 @@ BEAbcCodeBlock :: !Bool !BEStringListP !BackEnd -> (!BECodeBlockP,!BackEnd); // BECodeBlockP BEAbcCodeBlock (int inline,BEStringListP instructions); BEAnyCodeBlock :: !BECodeParameterP !BECodeParameterP !BEStringListP !BackEnd -> (!BECodeBlockP,!BackEnd); // BECodeBlockP BEAnyCodeBlock (BECodeParameterP inParams,BECodeParameterP outParams,BEStringListP instructions); -BEDeclareIclModule :: !String !Int !Int !Int !Int !BackEnd -> BackEnd; -// void BEDeclareIclModule (CleanString name,int nFunctions,int nTypes,int nConstructors,int nFields); -BEDeclareDclModule :: !Int !String !Bool !Int !Int !Int !Int !BackEnd -> BackEnd; -// void BEDeclareDclModule (int moduleIndex,CleanString name,int systemModule,int nFunctions,int nTypes,int nConstructors,int nFields); +BEDeclareIclModule :: !String !String !Int !Int !Int !Int !BackEnd -> BackEnd; +// void BEDeclareIclModule (CleanString name,CleanString modificationTime,int nFunctions,int nTypes,int nConstructors,int nFields); +BEDeclareDclModule :: !Int !String !String !Bool !Int !Int !Int !Int !BackEnd -> BackEnd; +// void BEDeclareDclModule (int moduleIndex,CleanString name,CleanString modificationTime,int systemModule,int nFunctions,int nTypes,int nConstructors,int nFields); BEDeclarePredefinedModule :: !Int !Int !BackEnd -> BackEnd; // void BEDeclarePredefinedModule (int nTypes,int nConstructors); BEDefineRules :: !BEImpRuleP !BackEnd -> BackEnd; @@ -279,9 +279,9 @@ BEDeclareDynamicTypeSymbol :: !Int !Int !BackEnd -> BackEnd; // void BEDeclareDynamicTypeSymbol (int typeIndex,int moduleIndex); BEDynamicTempTypeSymbol :: !BackEnd -> (!BESymbolP,!BackEnd); // BESymbolP BEDynamicTempTypeSymbol (); -kBEVersionCurrent:==0x02000212; -kBEVersionOldestDefinition:==0x02000212; -kBEVersionOldestImplementation:==0x02000212; +kBEVersionCurrent:==0x02000213; +kBEVersionOldestDefinition:==0x02000213; +kBEVersionOldestImplementation:==0x02000213; kBEDebug:==1; kPredefinedModuleIndex:==1; BENoAnnot:==0; diff --git a/backend/backend.icl b/backend/backend.icl index d0494c2..ef7e6ad 100644 --- a/backend/backend.icl +++ b/backend/backend.icl @@ -680,17 +680,17 @@ BEAnyCodeBlock a0 a1 a2 a3 = code { }; // BECodeBlockP BEAnyCodeBlock (BECodeParameterP inParams,BECodeParameterP outParams,BEStringListP instructions); -BEDeclareIclModule :: !String !Int !Int !Int !Int !BackEnd -> BackEnd; -BEDeclareIclModule a0 a1 a2 a3 a4 a5 = code { - ccall BEDeclareIclModule "SIIII:V:I" +BEDeclareIclModule :: !String !String !Int !Int !Int !Int !BackEnd -> BackEnd; +BEDeclareIclModule a0 a1 a2 a3 a4 a5 a6 = code { + ccall BEDeclareIclModule "SSIIII:V:I" }; -// void BEDeclareIclModule (CleanString name,int nFunctions,int nTypes,int nConstructors,int nFields); +// void BEDeclareIclModule (CleanString name,CleanString modificationTime,int nFunctions,int nTypes,int nConstructors,int nFields); -BEDeclareDclModule :: !Int !String !Bool !Int !Int !Int !Int !BackEnd -> BackEnd; -BEDeclareDclModule a0 a1 a2 a3 a4 a5 a6 a7 = code { - ccall BEDeclareDclModule "ISIIIII:V:I" +BEDeclareDclModule :: !Int !String !String !Bool !Int !Int !Int !Int !BackEnd -> BackEnd; +BEDeclareDclModule a0 a1 a2 a3 a4 a5 a6 a7 a8 = code { + ccall BEDeclareDclModule "ISSIIIII:V:I" }; -// void BEDeclareDclModule (int moduleIndex,CleanString name,int systemModule,int nFunctions,int nTypes,int nConstructors,int nFields); +// void BEDeclareDclModule (int moduleIndex,CleanString name,CleanString modificationTime,int systemModule,int nFunctions,int nTypes,int nConstructors,int nFields); BEDeclarePredefinedModule :: !Int !Int !BackEnd -> BackEnd; BEDeclarePredefinedModule a0 a1 a2 = code { @@ -763,9 +763,9 @@ BEDynamicTempTypeSymbol a0 = code { ccall BEDynamicTempTypeSymbol ":I:I" }; // BESymbolP BEDynamicTempTypeSymbol (); -kBEVersionCurrent:==0x02000212; -kBEVersionOldestDefinition:==0x02000212; -kBEVersionOldestImplementation:==0x02000212; +kBEVersionCurrent:==0x02000213; +kBEVersionOldestDefinition:==0x02000213; +kBEVersionOldestImplementation:==0x02000213; kBEDebug:==1; kPredefinedModuleIndex:==1; BENoAnnot:==0; diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl index 17baf60..ad5ec69 100644 --- a/backend/backendconvert.icl +++ b/backend/backendconvert.icl @@ -383,7 +383,7 @@ backEndConvertModules p s main_dcl_module_n var_heap attr_var_heap be backEndConvertModulesH :: PredefinedSymbols FrontEndSyntaxTree !Int *BackEndState -> *BackEndState backEndConvertModulesH predefs {fe_icl = - fe_icl =: {icl_name, icl_functions, icl_common,icl_imported_objects,icl_used_module_numbers}, + fe_icl =: {icl_name, icl_modification_time, icl_functions, icl_common,icl_imported_objects,icl_used_module_numbers}, fe_components, fe_dcls, fe_arrayInstances, fe_dclIclConversions, fe_iclDclConversions,fe_globalFunctions} main_dcl_module_n backEnd // sanity check ... @@ -448,7 +448,7 @@ backEndConvertModulesH predefs {fe_icl = = defineOtherDclModules fe_dcls main_dcl_module_n icl_used_module_numbers (backEnd -*-> "defineOtherDclModules") #! backEnd - = appBackEnd (BEDeclareIclModule icl_name.id_name (size icl_functions) (size icl_common.com_type_defs) (size icl_common.com_cons_defs) (size icl_common.com_selector_defs)) (backEnd -*-> "BEDeclareIclModule") + = appBackEnd (BEDeclareIclModule icl_name.id_name icl_modification_time (size icl_functions) (size icl_common.com_type_defs) (size icl_common.com_cons_defs) (size icl_common.com_selector_defs)) (backEnd -*-> "BEDeclareIclModule") #! backEnd = declareFunctionSymbols icl_functions (getConversions fe_iclDclConversions) functionIndices fe_globalFunctions (backEnd -*-> "declareFunctionSymbols") with @@ -522,12 +522,12 @@ isSystem _ declareCurrentDclModule :: IclModule DclModule Int -> BackEnder declareCurrentDclModule _ {dcl_module_kind=MK_None} _ = identity -declareCurrentDclModule {icl_common} {dcl_name, dcl_functions, dcl_module_kind, dcl_common} main_dcl_module_n - = appBackEnd (BEDeclareDclModule main_dcl_module_n dcl_name.id_name (isSystem dcl_module_kind) (size dcl_functions) (size icl_common.com_type_defs) (size dcl_common.com_cons_defs) (size dcl_common.com_selector_defs)) +declareCurrentDclModule {icl_common} {dcl_name, dcl_modification_time, dcl_functions, dcl_module_kind, dcl_common} main_dcl_module_n + = appBackEnd (BEDeclareDclModule main_dcl_module_n dcl_name.id_name dcl_modification_time (isSystem dcl_module_kind) (size dcl_functions) (size icl_common.com_type_defs) (size dcl_common.com_cons_defs) (size dcl_common.com_selector_defs)) declareDclModule :: ModuleIndex DclModule -> BackEnder -declareDclModule moduleIndex {dcl_name, dcl_common, dcl_functions, dcl_module_kind} - = appBackEnd (BEDeclareDclModule moduleIndex dcl_name.id_name (isSystem dcl_module_kind) (size dcl_functions) (size dcl_common.com_type_defs) (size dcl_common.com_cons_defs) (size dcl_common.com_selector_defs)) +declareDclModule moduleIndex {dcl_name, dcl_modification_time, dcl_common, dcl_functions, dcl_module_kind} + = appBackEnd (BEDeclareDclModule moduleIndex dcl_name.id_name dcl_modification_time (isSystem dcl_module_kind) (size dcl_functions) (size dcl_common.com_type_defs) (size dcl_common.com_cons_defs) (size dcl_common.com_selector_defs)) /* defineCurrentDclModule :: IclModule DclModule {#Int} -> BackEnder defineCurrentDclModule {icl_common} {dcl_name, dcl_common, dcl_functions, dcl_is_system, dcl_conversions} typeConversions |