瀏覽代碼

Whitespace cleanup

Rudy Ges 2 年之前
父節點
當前提交
032d7e74b0
共有 1 個文件被更改,包括 26 次插入27 次删除
  1. 26 27
      src/compiler/messageReporting.ml

+ 26 - 27
src/compiler/messageReporting.ml

@@ -21,34 +21,33 @@ let resolve_source file l1 p1 l2 p2 =
 			end
 		in
 
-			let read_char line = match input_char_or_done ch line with
-				| '\n' -> inc 1 line
-				| '\r' ->
-					ignore(input_char_or_done ch line);
-					inc 2 line
-				| c -> begin
-					let line = ref (line ^ (String.make 1 c)) in
-					let rec skip n =
-						if n > 0 then begin
-							let c = input_char_or_done ch !line in
-							line := !line ^ (String.make 1 c);
-							skip (n - 1)
-						end
-					in
-
-					let code = int_of_char c in
-					if code < 0xC0 then ()
-					else if code < 0xE0 then skip 1
-					else if code < 0xF0 then skip 2
-					else skip 3;
-
-					(1, !line)
-				end
-			in
+		let read_char line = match input_char_or_done ch line with
+			| '\n' -> inc 1 line
+			| '\r' ->
+				ignore(input_char_or_done ch line);
+				inc 2 line
+			| c -> begin
+				let line = ref (line ^ (String.make 1 c)) in
+				let rec skip n =
+					if n > 0 then begin
+						let c = input_char_or_done ch !line in
+						line := !line ^ (String.make 1 c);
+						skip (n - 1)
+					end
+				in
+
+				let code = int_of_char c in
+				if code < 0xC0 then ()
+				else if code < 0xE0 then skip 1
+				else if code < 0xF0 then skip 2
+				else skip 3;
+
+				(1, !line)
+			end
+		in
 
-			let (delta, line) = read_char line in
-			(* Printf.printf "Loop %d %d: %s \n" delta p line; *)
-			loop (p + delta) line
+		let (delta, line) = read_char line in
+		loop (p + delta) line
 	in
 
 	try loop 0 ""; with End_of_file -> close_in ch;