diff options
| author | johnvg | 2001-08-31 15:16:37 +0000 |
|---|---|---|
| committer | johnvg | 2001-08-31 15:16:37 +0000 |
| commit | 6dff58c14283825f922097480d2518301230529d (patch) | |
| tree | 118348628eadbbaae4013e246396b92a05e8493c /backend/backend.dcl | |
| parent | added code for strict and unboxed lists (diff) | |
new functions for strict and unboxed lists
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@722 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/backend.dcl')
| -rw-r--r-- | backend/backend.dcl | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl index 5bbb0ef..0a07b81 100644 --- a/backend/backend.dcl +++ b/backend/backend.dcl @@ -67,6 +67,22 @@ BEBoolSymbol :: !Bool !BackEnd -> (!BESymbolP,!BackEnd); // BESymbolP BEBoolSymbol (int value); BELiteralSymbol :: !BESymbKind !String !BackEnd -> (!BESymbolP,!BackEnd); // BESymbolP BELiteralSymbol (BESymbKind kind,CleanString value); + +BEPredefineListConstructorSymbol :: !Int !Int !BESymbKind !Int !Int !BackEnd -> BackEnd; +// void BEPredefineListConstructorSymbol(int constructorIndex,int moduleIndex,BESymbKind symbolKind,int head_strictnes,int tail_stricness); +BEPredefineListTypeSymbol :: !Int !Int !BESymbKind !Int !Int !BackEnd -> BackEnd; +// void BEPredefineListTypeSymbol(int typeIndex,int moduleIndex,BESymbKind symbolKind,int head_strictnes,int tail_stricness); +BEAdjustStrictListConsInstance :: !Int !Int !BackEnd -> BackEnd; +// void BEAdjustStrictListConsInstance(int functionIndex,int moduleIndex); +BEAdjustUnboxedListDeconsInstance :: !Int !Int !BackEnd -> BackEnd; +// void BEAdjustUnboxedListDeconsInstance(int functionIndex,int moduleIndex); +BEAdjustOverloadedNilFunction :: !Int !Int !BackEnd -> BackEnd; +// void BEAdjustOverloadedNilFunction(int functionIndex,int moduleIndex); +BEOverloadedConsSymbol :: !Int !Int !Int !Int !BackEnd -> (!BESymbolP,!BackEnd); +// BESymbolP BEOverloadedConsSymbol (int constructorIndex,int moduleIndex,int deconsIndex,int deconsModuleIndex); +BEOverloadedPushNode :: !Int !BESymbolP !BEArgP !BENodeIdListP !BENodeP !BackEnd -> (!BENodeP,!BackEnd); +// BENodeP BEOverloadedPushNode (int arity,BESymbolP symbol,BEArgP arguments,BENodeIdListP nodeIds,BENodeP decons_node); + BEPredefineConstructorSymbol :: !Int !Int !Int !BESymbKind !BackEnd -> BackEnd; // void BEPredefineConstructorSymbol (int arity,int constructorIndex,int moduleIndex,BESymbKind symbolKind); BEPredefineTypeSymbol :: !Int !Int !Int !BESymbKind !BackEnd -> BackEnd; |