diff options
Diffstat (limited to 'backend/backend.dcl')
| -rw-r--r-- | backend/backend.dcl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl index 07cfbfe..2c696be 100644 --- a/backend/backend.dcl +++ b/backend/backend.dcl @@ -283,8 +283,10 @@ BESetMainDclModuleN :: !Int !BackEnd -> BackEnd; // void BESetMainDclModuleN (int main_dcl_module_n_parameter); BEStrictPositions :: !Int !BackEnd -> (!Int,!Int,!BackEnd); // void BEStrictPositions (int functionIndex,int* bits,int** positions); -BECopyInts :: !Int !Int !Int -> Int; +//BECopyInts :: !Int !Int !Int -> Int; // int BECopyInts (int cLength,int* ints,int* cleanArray); +BEGetIntFromArray :: !Int !Int -> Int; +// int BEGetIntFromArray (int index,int* ints); BEDeclareDynamicTypeSymbol :: !Int !Int !BackEnd -> BackEnd; // void BEDeclareDynamicTypeSymbol (int typeIndex,int moduleIndex); BEDynamicTempTypeSymbol :: !BackEnd -> (!BESymbolP,!BackEnd); |