/[svn]/parser/parser.ml
ViewVC logotype

Diff of /parser/parser.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 406 by abate, Tue Jul 10 17:29:53 2007 UTC revision 407 by abate, Tue Jul 10 17:32:25 2007 UTC
# Line 127  Line 127 
127      [ LIDENT "filter"; t = pat; p = pat -> `Filter(t,p)      [ LIDENT "filter"; t = pat; p = pat -> `Filter(t,p)
128      | LIDENT "accept"; p = pat -> `Accept p      | LIDENT "accept"; p = pat -> `Accept p
129      | LIDENT "compile"; t = pat; p = LIST1 pat -> `Compile (t,p)      | LIDENT "compile"; t = pat; p = LIST1 pat -> `Compile (t,p)
130        | LIDENT "sample"; t = pat -> `Sample t
131      | LIDENT "subtype"; t1 = pat; t2 = pat -> `Subtype (t1,t2)      | LIDENT "subtype"; t1 = pat; t2 = pat -> `Subtype (t1,t2)
132      ]      ]
133    ];    ];
Legend:
Removed from v.406  
changed lines
  Added in v.407
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5