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

Diff of /parser/parser.ml

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

revision 98 by abate, Tue Jul 10 17:05:27 2007 UTC revision 99 by abate, Tue Jul 10 17:06:11 2007 UTC
# Line 243  Line 243 
243      | "no_arrow" [ x = pat; "|"; y = pat -> mk loc (Or (x,y)) ]      | "no_arrow" [ x = pat; "|"; y = pat -> mk loc (Or (x,y)) ]
244      | "simple" [ x = pat; "&"; y = pat -> mk loc (And (x,y,true))      | "simple" [ x = pat; "&"; y = pat -> mk loc (And (x,y,true))
245  (*             | x = pat; ":"; y = pat -> mk loc (And (x,y,false))   *)  (*             | x = pat; ":"; y = pat -> mk loc (And (x,y,false))   *)
246                 | x = pat; "-"; y = pat -> mk loc (Diff (x,y)) ]                 | x = pat; "\\"; y = pat -> mk loc (Diff (x,y)) ]
247      |      |
248        [ "{"; r = record_spec; "}" -> r        [ "{"; r = record_spec; "}" -> r
249        | LIDENT "_" -> mk loc (Internal Types.any)        | LIDENT "_" -> mk loc (Internal Types.any)
Legend:
Removed from v.98  
changed lines
  Added in v.99
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5