diff options
| author | johnvg | 2002-10-24 13:50:57 +0000 |
|---|---|---|
| committer | johnvg | 2002-10-24 13:50:57 +0000 |
| commit | 9abd91ad851a5ecca23d9d7ad9eb84ea7e69f5fb (patch) | |
| tree | 1f44309dbc1c9adf1bdfd685f350f98c66d37a9b /backend/backend.dcl | |
| parent | disable destructive root updates of records without BOXED_RECORDS (diff) | |
add BEFlatTypeX and BERecordTypeX definitions in comment
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1260 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/backend.dcl')
| -rw-r--r-- | backend/backend.dcl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl index 62759ac..695d76c 100644 --- a/backend/backend.dcl +++ b/backend/backend.dcl @@ -206,10 +206,14 @@ BENoTypes :: !BackEnd -> (!BETypeP,!BackEnd); // BETypeP BENoTypes (); BEFlatType :: !BESymbolP !BETypeVarListP !BackEnd -> (!BEFlatTypeP,!BackEnd); // BEFlatTypeP BEFlatType (BESymbolP symbol,BETypeVarListP arguments); +//BEFlatTypeX :: !BESymbolP !BEAttribution !BETypeVarListP !BackEnd -> (!BEFlatTypeP,!BackEnd); +// BEFlatTypeP BEFlatTypeX (BESymbolP symbol,BEAttribution attribute,BETypeVarListP arguments); BEAlgebraicType :: !BEFlatTypeP !BEConstructorListP !BackEnd -> BackEnd; // void BEAlgebraicType (BEFlatTypeP lhs,BEConstructorListP constructors); BERecordType :: !Int !BEFlatTypeP !BETypeNodeP !BEFieldListP !BackEnd -> BackEnd; // void BERecordType (int moduleIndex,BEFlatTypeP lhs,BETypeNodeP constructorType,BEFieldListP fields); +//BERecordTypeX :: !Int !BEFlatTypeP !BETypeNodeP !Int !BEFieldListP !BackEnd -> BackEnd; +// void BERecordType (int moduleIndex,BEFlatTypeP lhs,BETypeNodeP constructorType,int is_boxoed_record,BEFieldListP fields); BEAbsType :: !BEFlatTypeP !BackEnd -> BackEnd; // void BEAbsType (BEFlatTypeP lhs); BEConstructors :: !BEConstructorListP !BEConstructorListP !BackEnd -> (!BEConstructorListP,!BackEnd); |