Commits

camlspotter committed fa88d5b

removed terminfo

Comments (0)

Files changed (5)

 FILES[] =
     misc
     linenum
-    terminfo
     warnings
     location
     pos
 let input_name = ref "_none_"
 let input_lexbuf = ref (None : lexbuf option)
 
+(*
 (* Terminal info *)
 
 let status = ref Terminfo.Uninitialised
           try highlight_terminfo ppf num_lines lb loc1 loc2; true
           with Exit -> false
       end
+*)
 
 (* Print the location in some way or another *)
 
 open Format
 
+(*
 let reset () =
   num_loc_lines := 0
+*)
 
 let (msg_file, msg_line, msg_chars, msg_to, msg_colon, msg_head) =
   ("File \"", "\", line ", ", characters ", "-", ":", "")
     if startchar < 0 then (0, 1) else (startchar, endchar)
   in
   if file = "" then begin
+(*
     if highlight_locations ppf loc none then () else
+*)
       fprintf ppf "Characters %i-%i:@."
               loc.loc_start.pos_cnum loc.loc_end.pos_cnum
   end else begin
 let print_warning loc ppf w =
   if Warnings.is_active w then begin
     let printw ppf w =
-      let n = Warnings.print ppf w in
+      let _n = Warnings.print ppf w in
+(*
       num_loc_lines := !num_loc_lines + n
+*)
+      ()
     in
     fprintf ppf "%a" print loc;
     fprintf ppf "Warning %a@." printw w;
     pp_print_flush ppf ();
+(*
     incr num_loc_lines;
+*)
   end
 ;;
 
 
 let echo_eof () =
   print_newline ();
+(*
   incr num_loc_lines
+*)
 val print_warning: t -> formatter -> Warnings.t -> unit
 val prerr_warning: t -> Warnings.t -> unit
 val echo_eof: unit -> unit
-val reset: unit -> unit
+(* val reset: unit -> unit *)
 
-val highlight_locations: formatter -> t -> t -> bool
+(* val highlight_locations: formatter -> t -> t -> bool *)

terminfo.ml

-(***********************************************************************)
-(*                                                                     *)
-(*                           Objective Caml                            *)
-(*                                                                     *)
-(*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
-(*                                                                     *)
-(*  Copyright 1996 Institut National de Recherche en Informatique et   *)
-(*  en Automatique.  All rights reserved.  This file is distributed    *)
-(*  under the terms of the Q Public License version 1.0.               *)
-(*                                                                     *)
-(***********************************************************************)
-
-(* $Id: terminfo.ml 6045 2004-01-01 16:42:43Z doligez $ *)
-
-(* Basic interface to the terminfo database *)
-
-type status =
-  | Uninitialised
-  | Bad_term
-  | Good_term of int
-;;
-external setup : out_channel -> status = "caml_terminfo_setup";;
-external backup : int -> unit = "caml_terminfo_backup";;
-external standout : bool -> unit = "caml_terminfo_standout";;
-external resume : int -> unit = "caml_terminfo_resume";;

terminfo.mli

-(***********************************************************************)
-(*                                                                     *)
-(*                           Objective Caml                            *)
-(*                                                                     *)
-(*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
-(*                                                                     *)
-(*  Copyright 1996 Institut National de Recherche en Informatique et   *)
-(*  en Automatique.  All rights reserved.  This file is distributed    *)
-(*  under the terms of the Q Public License version 1.0.               *)
-(*                                                                     *)
-(***********************************************************************)
-
-(* $Id: terminfo.mli 6045 2004-01-01 16:42:43Z doligez $ *)
-
-(* Basic interface to the terminfo database *)
-
-type status =
-  | Uninitialised
-  | Bad_term
-  | Good_term of int  (* number of lines of the terminal *)
-;;
-external setup : out_channel -> status = "caml_terminfo_setup";;
-external backup : int -> unit = "caml_terminfo_backup";;
-external standout : bool -> unit = "caml_terminfo_standout";;
-external resume : int -> unit = "caml_terminfo_resume";;