diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-09-28 15:23:14 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-09-28 15:23:14 +0000 |
| commit | ea5408dc21bd8748e7d9917e8deaf9c639883475 (patch) | |
| tree | 751361fa626263d984a70501d5e4206cb03b1554 /toplevel/toplevel.ml | |
| parent | 5b95fb206ab93a94736d8e5343326ff44953189e (diff) | |
corrections pour ocamlweb
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@88 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel/toplevel.ml')
| -rw-r--r-- | toplevel/toplevel.ml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/toplevel/toplevel.ml b/toplevel/toplevel.ml index dcad19bed..643433e0c 100644 --- a/toplevel/toplevel.ml +++ b/toplevel/toplevel.ml @@ -40,8 +40,8 @@ let resynch_buffer ibuf = ibuf.start <- ibuf.start + ll | _ -> () -(* Read a char in an input channel, displaying a prompt af every - begining of line. *) +(* Read a char in an input channel, displaying a prompt at every + beginning of line. *) let prompt_char ic ibuf count = let bol = match ibuf.bols with @@ -125,8 +125,7 @@ let print_highlight_location ib (bp,ep) = let print_location_in_file s fname (bp,ep) = let errstrm = [< 'sTR"Error while reading "; 'sTR s; 'sTR" :"; 'fNL; 'sTR"File "; 'sTR ("\""^fname^"\"") >] in - if (bp,ep) = Ast.dummy_loc - then + if (bp,ep) = Ast.dummy_loc then [< errstrm; 'sTR", unknown location."; 'fNL >] else let ic = open_in fname in @@ -241,8 +240,8 @@ let rec discard_to_dot () = (* If the error occured while parsing, we read the input until a dot token - * in encountered. - *) + * in encountered. *) + let process_error = function | DuringCommandInterp _ as e -> e | e -> @@ -266,7 +265,8 @@ let do_vernac () = begin try raw_do_vernac top_buffer.tokens - with e -> mSGNL (print_toplevel_error (process_error e)) + with e -> + mSGNL (print_toplevel_error (process_error e)) end; flush_all() |