diff options
| author | ronny | 2001-05-08 09:31:50 +0000 |
|---|---|---|
| committer | ronny | 2001-05-08 09:31:50 +0000 |
| commit | 2e4549b67437968f9ef7433f873f277008fa42ef (patch) | |
| tree | fe050ada7e9e6e9be3969c04a83fcf265056ef34 | |
| parent | satisfying John's pervert and bizarre wishes for better error messages (diff) | |
added VI_Labelled_Empty and VI_LocalLetVar to VarInfo
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@393 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/syntax.dcl | 4 | ||||
| -rw-r--r-- | frontend/syntax.icl | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 4a05bb2..b1cf44a 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -545,6 +545,8 @@ cIsALocalVar :== False // MdM VI_CPSLocalExprVar !Int /* MdM - the index of the variable as generated by the theorem prover */ // ... MdM + | VI_Labelled_Empty {#Char} // RWS debugging + | VI_LocalLetVar // RWS, mark Let vars during case transformation :: ExtendedVarInfo = EVI_VarType !AType @@ -702,6 +704,7 @@ cNonRecursiveAppl :== False /* for converting case into function patterns the following auxiliary constuctors are used */ + | EI_Default !Expression !AType !ExprInfoPtr | EI_DefaultFunction !SymbIdent ![Expression] | EI_Extended !ExtendedExprInfo !ExprInfo @@ -709,6 +712,7 @@ cNonRecursiveAppl :== False :: ExtendedExprInfo = EEI_ActiveCase !ActiveCaseInfo + :: ActiveCaseInfo = { aci_params :: ![FreeVar] , aci_opt_unfolder :: !(Optional SymbIdent) diff --git a/frontend/syntax.icl b/frontend/syntax.icl index e537e0b..3c91861 100644 --- a/frontend/syntax.icl +++ b/frontend/syntax.icl @@ -6,6 +6,7 @@ import scanner, general, Heap, typeproperties, utilities SupportGenerics :== False PA_BUG on off :== on + switch_import_syntax one_point_three two_point_zero :== one_point_three SwitchFusion fuse dont_fuse :== dont_fuse @@ -527,6 +528,8 @@ cIsALocalVar :== False // MdM VI_CPSLocalExprVar !Int /* MdM - the index of the variable as generated by the theorem prover */ // ... MdM + | VI_Labelled_Empty {#Char} // RWS debugging + | VI_LocalLetVar // RWS, mark Let vars during case transformation :: ExtendedVarInfo = EVI_VarType !AType |