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

Diff of /parser/parser.ml

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

revision 8 by abate, Tue Jul 10 16:57:08 2007 UTC revision 9 by abate, Tue Jul 10 16:57:19 2007 UTC
# Line 66  Line 66 
66    ];    ];
67    
68    arrow: [    arrow: [
69      [ t1 = pat LEVEL "prod"; "->"; t2 = pat -> (t1,t2)]      [ t1 = pat LEVEL "no_arrow"; "->"; t2 = pat -> (t1,t2)]
70    ];    ];
71    
72    branches: [    branches: [
# Line 130  Line 130 
130                      mk loc (Record (Types.label l,o,x))                      mk loc (Record (Types.label l,o,x))
131                  ] SEP ";" ->                  ] SEP ";" ->
132          match r with          match r with
133            | [] -> mk noloc (Internal Types.Record.any)            | [] -> mk loc (Internal Types.Record.any)
134            | h::t -> List.fold_left (fun t1 t2 -> mk noloc (And (t1,t2))) h t            | h::t -> List.fold_left (fun t1 t2 -> mk loc (And (t1,t2))) h t
135        ] ];        ] ];
136    
137    const:    const:
Legend:
Removed from v.8  
changed lines
  Added in v.9
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5