Commit ff77bcb8 authored by charguer's avatar charguer

compile using caml 4.07

parent 16d53dd2
......@@ -70,6 +70,8 @@ let status = ref Terminfo.Uninitialised
let num_loc_lines = ref 0 (* number of lines already printed after input *)
(* ARTHUR commented out
(* Highlight the locations using standout mode. *)
let highlight_terminfo ppf num_lines lb loc1 loc2 =
......@@ -192,6 +194,8 @@ let rec highlight_locations ppf loc1 loc2 =
with Exit -> false
end
*)
(* Print the location in some way or another *)
open Format
......@@ -222,7 +226,7 @@ let print ppf loc =
if startchar < 0 then (0, 1) else (startchar, endchar)
in
if file = "" then begin
if highlight_locations ppf loc none then () else
if false (* ARTHUR 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
......
......@@ -54,7 +54,7 @@ val prerr_warning: t -> Warnings.t -> unit
val echo_eof: unit -> unit
val reset: unit -> unit
val highlight_locations: formatter -> t -> t -> bool
(*val highlight_locations: formatter -> t -> t -> bool*)
(* CFML added *)
......
......@@ -27,7 +27,7 @@ exception Escape_error
let report_error ppf = function
| Unclosed(opening_loc, opening, closing_loc, closing) ->
if String.length !Location.input_name = 0
&& Location.highlight_locations ppf opening_loc closing_loc
&& false (* ARTHUR Location.highlight_locations ppf opening_loc closing_loc *)
then fprintf ppf "Syntax error: '%s' expected, \
the highlighted '%s' might be unmatched" closing opening
else begin
......
......@@ -19,7 +19,9 @@ type status =
| Bad_term
| Good_term of int
;;
(*ARTHUR
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";;
*)
\ No newline at end of file
......@@ -19,7 +19,9 @@ type status =
| Bad_term
| Good_term of int (* number of lines of the terminal *)
;;
(* ARTHUR
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";;
*)
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment