From ea4ef2583b38bedc9699d17bf8180075f821f44e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Fri, 8 Oct 2010 14:34:31 +0200 Subject: [PATCH] Fix print location. It was not respecting boxes by using a \n instead of a @\n. --- compiler/global/location.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/global/location.ml b/compiler/global/location.ml index 37a6c00..1837584 100644 --- a/compiler/global/location.ml +++ b/compiler/global/location.ml @@ -58,7 +58,7 @@ let copy_lines nl ic ff prompt = pp_print_string ff prompt; (try pp_print_string ff (input_line ic) with End_of_file -> pp_print_string ff ""); - pp_print_char ff '\n' + fprintf ff "@\n" done let copy_chunk p1 p2 ic ff = @@ -118,11 +118,11 @@ let print_location ff (Loc(p1,p2)) = else ( (* sum up the middle lines to 6 *) copy_lines 3 ic ff ">"; - pp_print_string ff "..........\n"; + fprintf ff "..........@\n"; skip_lines (l2-l1-7) ic; (* skip middle lines *) copy_lines 3 ic ff ">" ); - pp_print_string ff ">"; + fprintf ff ">"; copy_chunk lp2 np2 ic ff; (* copy interesting begining of l2 *) ) with Sys_error _ -> ();