diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index d70b6e7..350717d 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -380,10 +380,16 @@ cIsNonCoercible :== 2 } :: CheckedBody = - { cb_args :: ![FreeVar] - , cb_rhs :: ![Expression] + { cb_args :: ![FreeVar] + , cb_rhs :: ![CheckedAlternative] } +:: CheckedAlternative = + { ca_rhs :: !Expression + , ca_position :: !Position // the position is NoPos iff the position information for this + } // alternative is already stored in a case alternative + // (in ap_position, bp_position or dp_position) + :: TransformedBody = { tb_args :: ![FreeVar] , tb_rhs :: !Expression @@ -1012,6 +1018,7 @@ cIsNotStrict :== False , case_default :: !Optional Expression , case_ident :: !Optional Ident , case_info_ptr :: !ExprInfoPtr + , case_default_pos:: !Position } :: Let = |