Ignore:
Timestamp:
Jul 27, 2006, 8:40:44 AM (14 years ago)
Author:
orlov
Message:
  • Proper generation of debug info for use with Debug library (-dbg option).
  • Result expressions can contain blocks.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/compiler/rfp_check.rf

    r1920 r2034  
    165165    e.Sentence : t.Statement e.Snt,
    166166      t.Statement : {
    167         (RESULT t e.Re) =
    168           {
    169             <Vars e.Re> : e (s.type t.Pragma e.name) e,
     167        (RESULT t e.Re) = <Check-Vars (e.vars) e.Re>, e.vars;
     168        (PAREN e.Re) = <Check-Vars (e.vars) e.Re>, e.vars;
     169        (CALL t t e.Re) = <Check-Vars (e.vars) e.Re>, e.vars;
     170        (s.type t.Pragma e.name), s.type : \{ EVAR; SVAR; TVAR; VVAR; } =
     171          {
     172            e.vars : e (s.t t.p e.name) e,
    170173              {
    171                 e.vars : e (s.t t.p e.name) e,
    172                   {
    173                     s.t : s.type;
    174                     <Print-Error Error!
    175                       Var-Type (s.t t.p e.name) s.type t.Pragma>;
    176                   };
    177                 <Print-Error Error!
    178                   Var-Re (s.type t.Pragma e.name) t.Pragma>;
    179               },
    180               $fail;
    181             e.vars;
    182           };
     174                s.t : s.type;
     175                <Print-Error Error! Var-Type (s.t t.p e.name) s.type t.Pragma>;
     176              };
     177            <Print-Error Error! Var-Re (s.type t.Pragma e.name) t.Pragma>;
     178          },
     179          e.vars;
    183180        (FORMAT t e.He) =
    184181          <Vars e.He> : e.He-vars,
Note: See TracChangeset for help on using the changeset viewer.