[camlp5] Automatic conversion from revised syntax + parsers

`for i in *; do camlp5r pr_o.cmo $i > ../gramlib.auto/$i; done`

1 files changed, 25 insertions, 25 deletions

diff --git a/gramlib/token.ml b/gramlib/token.ml
index 9c1664ccd9..77c737b880 100644
--- a/gramlib/token.ml
+++ b/gramlib/token.ml
@@ -2,36 +2,36 @@
 (* token.ml,v *)
 (* Copyright (c) INRIA 2007-2017 *)
 
-type pattern = Plexing.pattern;
+type pattern = Plexing.pattern
 
-exception Error of string;
+exception Error of string
 
-type location = Ploc.t;
-type location_function = int -> location;
-type lexer_func 'te = Stream.t char -> (Stream.t 'te * location_function);
+type location = Ploc.t
+type location_function = int -> location
+type 'te lexer_func = char Stream.t -> 'te Stream.t * location_function
 
-type glexer 'te = Plexing.lexer 'te ==
-  { tok_func : lexer_func 'te;
-    tok_using : pattern -> unit;
-    tok_removing : pattern -> unit;
-    tok_match : mutable pattern -> 'te -> string;
-    tok_text : pattern -> string;
-    tok_comm : mutable option (list location) }
-;
+type 'te glexer =
+  'te Plexing.lexer =
+    { tok_func : 'te lexer_func;
+      tok_using : pattern -> unit;
+      tok_removing : pattern -> unit;
+      mutable tok_match : pattern -> 'te -> string;
+      tok_text : pattern -> string;
+      mutable tok_comm : location list option }
 
-value make_loc = Ploc.make_unlined;
-value dummy_loc = Ploc.dummy;
+let make_loc = Ploc.make_unlined
+let dummy_loc = Ploc.dummy
 
-value make_stream_and_location = Plexing.make_stream_and_location;
-value lexer_func_of_parser = Plexing.lexer_func_of_parser;
-value lexer_func_of_ocamllex = Plexing.lexer_func_of_ocamllex;
+let make_stream_and_location = Plexing.make_stream_and_location
+let lexer_func_of_parser = Plexing.lexer_func_of_parser
+let lexer_func_of_ocamllex = Plexing.lexer_func_of_ocamllex
 
-value eval_char = Plexing.eval_char;
-value eval_string = Plexing.eval_string;
+let eval_char = Plexing.eval_char
+let eval_string = Plexing.eval_string
 
-value lexer_text = Plexing.lexer_text;
-value default_match = Plexing.default_match;
+let lexer_text = Plexing.lexer_text
+let default_match = Plexing.default_match
 
-value line_nb = Plexing.line_nb;
-value bol_pos = Plexing.bol_pos;
-value restore_lexing_info = Plexing.restore_lexing_info;
+let line_nb = Plexing.line_nb
+let bol_pos = Plexing.bol_pos
+let restore_lexing_info = Plexing.restore_lexing_info