diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 35 |
1 files changed, 2 insertions, 33 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 8b873ff..7bcc20c 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -639,7 +639,8 @@ from convertDynamics import :: TypeCodeVariableInfo, :: DynamicValueAliasInfo :: VarInfoPtr :== Ptr VarInfo -from convertcases import :: LetVarInfo, :: LetExpressionInfo +from convertcases import :: LetVarInfo, :: LetExpressionInfo, + :: RefCountsInCase, :: SplitsInCase cNotVarNumber :== -1 @@ -781,38 +782,6 @@ cNonRecursiveAppl :== False , aci_safe :: !Bool } -:: RefCountsInCase = - { rcc_all_variables :: ![CountedVariable] - , rcc_default_variables :: ![CountedVariable] - , rcc_pattern_variables :: ![[CountedVariable]] - } - -:: CountedVariable = - { cv_variable :: !VarInfoPtr - , cv_count :: !Int - } - -:: SplitCase = - { sc_alt_nr :: CaseAltNr // the number of the alternative, before which - // the case should be split - , sc_call :: Optional Expression // call to the function that was introduced for - // this split case - } - -:: NextAlt = - { na_case :: ExprInfoPtr // the case_info_ptr of the case - , na_alt_nr :: CaseAltNr // the number of the alternative - } - -:: CaseAltNr :== Int // the sequence number of the alternative (zero based), the - // default alternative is indicated by the number of the last - // alternative + 1 - -:: SplitsInCase = - { sic_next_alt :: Optional NextAlt // the alternative of an outer default, to which - // control should pass - , sic_splits :: [SplitCase] // the positions where this case should be split - } /* :: UnboundVariable = |