Changeset 3838


Ignore:
Timestamp:
Jul 10, 2008, 11:10:33 PM (12 years ago)
Author:
orlov
Message:
  • Fixed bug with "e e" patterns.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/compiler/refal/org/refal/plus/compiler/rfp_as2as.rf

    r3589 r3838  
    213213  } :: (e.Pe) e.Snt s.pragmas =
    214214    {
    215       <IsSubformat (<Format_Exp e.Pe>) (e.in)>,
     215      <Format_Exp e.Pe> : e.in,
    216216        <Vars e.Pe> :: e.args,
    217217        # \{ e.args : e (e t1) e (e t1) e; } =
     
    237237    (/*e.br*/) e.branches $iter {
    238238      e.branches : (BRANCH t.p (s.dir t.pp e.Pe) e.br_snt) e.rest, {
    239         <IsSubformat (<Format_Exp e.Pe>) (e.in)>,
     239        <Format_Exp e.Pe> : e.in,
    240240          <Vars e.Pe> :: e.vars,
    241241          # \{ e.vars : e (e t1) e (e t1) e; } =
     
    256256    (/*e.br*/) e.branches $iter {
    257257      e.branches : (BRANCH (s.dir e.Pe) e.br_snt) e.rest, {
    258         <IsSubformat (<Format_Exp e.Pe>) (e.in)>,
     258        <Format_Exp e.Pe> : e.in,
    259259          <Vars e.Pe> :: e.vars,
    260260          # \{ e.vars : e (e t1) e (e t1) e; } =
Note: See TracChangeset for help on using the changeset viewer.