Merge pull request #1 from gitoleg/safe-string

compilation with safe string + few fixed warnings

Author: gitoleg

.gitignore

@@ -0,0 +1,21 @@
+*.byte
+*.native
+*.exe
+*.cma
+*.cmi
+*.cmo
+*.cmx
+*.cmxa
+*.a
+*.o
+*/.dep
+_build/
+frontc/clexer.ml
+frontc/clexer.mli
+frontc/cparser.ml
+frontc/cparser.mli
+frontc/cparser.output
+calipso/calipso
+calipso/calipso_stat
+ctoxml/ctoxml
+printc/printc

calipso/algo.ml

@@ -303,7 +303,7 @@ let apply_weights nd ins outs =
 
 	let test_edges stats =
 		let lng = List.length stats in
-		let wghts = Array.create lng 0 in
+		let wghts = Array.make lng 0 in
 		begin
 			for i = 0 to (lng - 1) do
 				for j = 0 to (lng - 1) do

calipso/label.ml

@@ -14,7 +14,7 @@ module BitField =
 struct
 	type t = bool array
 
-	let empty (sz : int) : t = Array.create sz false
+	let empty (sz : int) : t = Array.make sz false
 
 	(*** accessors **)
 	let size (bf : t) : int = Array.length bf

frontc/clexer.mll

@@ -396,7 +396,7 @@ and chr =
 {
 
 (*** get_buffer ***)
-let get_buffer (hr : handle ref) (dst : string) (len : int) : int =
+let get_buffer (hr : handle ref) (dst : bytes) (len : int) : int =
 	(*let (inter, chan, line, buffer, pos, lineno, out, name) = !hr in*)
 	let h = !hr in
 	try