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

Diff of /parser/parser.ml

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

revision 1473 by abate, Tue Jul 10 18:48:24 2007 UTC revision 1474 by abate, Tue Jul 10 18:53:27 2007 UTC
# Line 138  Line 138 
138      | DIRECTIVE "#env" -> [ mk loc (Directive `Env) ]      | DIRECTIVE "#env" -> [ mk loc (Directive `Env) ]
139      | DIRECTIVE "#print_schema"; name = IDENT ->      | DIRECTIVE "#print_schema"; name = IDENT ->
140          [ mk loc (Directive (`Print_schema (U.mk name))) ]          [ mk loc (Directive (`Print_schema (U.mk name))) ]
141      | DIRECTIVE "#print_type"; name = IDENT;      | DIRECTIVE "#print_type"; t = pat ->
142        schema_part = OPT [          [ mk loc (Directive (`Print_type t)) ]
         "#"; typ = [ IDENT | keyword ];  
         kind = OPT [ "as"; k = schema_kind -> k] ->  
           (kind, typ)  
       ] ->  
         (match schema_part with  
         | None -> [ mk loc (Directive (`Print_type (U.mk name))) ]  
         | Some (kind, typ) ->  
             [ mk loc  
               (Directive (`Print_schema_type (kind, U.mk name, U.mk typ))) ])  
143      | DIRECTIVE "#dump_value"; e = expr -> [ mk loc (Directive (`Dump e)) ]      | DIRECTIVE "#dump_value"; e = expr -> [ mk loc (Directive (`Dump e)) ]
144      | DIRECTIVE "#reinit_ns" -> [ mk loc (Directive `Reinit_ns) ]      | DIRECTIVE "#reinit_ns" -> [ mk loc (Directive `Reinit_ns) ]
145      | DIRECTIVE "#help" -> [ mk loc (Directive `Help) ]      | DIRECTIVE "#help" -> [ mk loc (Directive `Help) ]
Legend:
Removed from v.1473  
changed lines
  Added in v.1474
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5