diff options
Diffstat (limited to 'dev/ocamlweb-doc')
| -rw-r--r-- | dev/ocamlweb-doc/ast.ml | 4 | ||||
| -rw-r--r-- | dev/ocamlweb-doc/lex.mll | 4 | ||||
| -rw-r--r-- | dev/ocamlweb-doc/parse.ml | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/dev/ocamlweb-doc/ast.ml b/dev/ocamlweb-doc/ast.ml index 2153ef47c0..4eb135d83c 100644 --- a/dev/ocamlweb-doc/ast.ml +++ b/dev/ocamlweb-doc/ast.ml @@ -22,7 +22,7 @@ type constr_ast = (string * binder list * constr_ast * string option * constr_ast) list * string | Match of case_item list * constr_ast option * - (pattern list * constr_ast) list + (pattern list * constr_ast) list and red_fun = Simpl @@ -34,7 +34,7 @@ and fix_kind = Fix | CoFix and case_item = constr_ast * (string option * constr_ast option) -and pattern = +and pattern = PatAs of pattern * string | PatType of pattern * constr_ast | PatConstr of string * pattern list diff --git a/dev/ocamlweb-doc/lex.mll b/dev/ocamlweb-doc/lex.mll index 617163e7e7..059526d9bf 100644 --- a/dev/ocamlweb-doc/lex.mll +++ b/dev/ocamlweb-doc/lex.mll @@ -7,7 +7,7 @@ let comment_depth = ref 0 let print s = output_string !chan_out s - + exception Fin_fichier } @@ -77,5 +77,5 @@ and comment = parse | "(*" (*"*)"*) { incr comment_depth; comment lexbuf } | (*"(*"*) "*)" { decr comment_depth; if !comment_depth > 0 then comment lexbuf } - | eof { raise Fin_fichier } + | eof { raise Fin_fichier } | _ { comment lexbuf } diff --git a/dev/ocamlweb-doc/parse.ml b/dev/ocamlweb-doc/parse.ml index e537b1f2f4..b145fffda6 100644 --- a/dev/ocamlweb-doc/parse.ml +++ b/dev/ocamlweb-doc/parse.ml @@ -82,7 +82,7 @@ let rec str_stack = function | Term (t,s) -> str_stack s ^ " (" ^ str_ast t ^ ")" | Oper(ops,lop,t,s) -> str_stack (Term(t,s)) ^ " " ^ lop ^ " " ^ - String.concat " " (List.rev ops) + String.concat " " (List.rev ops) let pps s = prerr_endline (str_stack s) let err s stk = failwith (s^": "^str_stack stk) |