Merge pull request #2 from gitoleg/remove-type-annotation

gitoleg · web-flow · commit 618c4a6a61a7 · 2018-11-21T15:12:49.000-05:00
removed `bytes` type annotation
diff --git a/frontc/clexer.mll b/frontc/clexer.mll
@@ -396,7 +396,7 @@ and chr =
 {
 
 (*** get_buffer ***)
-let get_buffer (hr : handle ref) (dst : bytes) (len : int) : int =
+let get_buffer (hr : handle ref) dst (len : int) : int =
 	(*let (inter, chan, line, buffer, pos, lineno, out, name) = !hr in*)
 	let h = !hr in
 	try

Original file line number	Diff line number	Diff line change
`@@ -396,7 +396,7 @@ and chr =`
`396`	`396`	`{`
`397`	`397`
`398`	`398`	`(* get_buffer *)`
`399`		`-let get_buffer (hr : handle ref) (dst : bytes) (len : int) : int =`
	`399`	`+let get_buffer (hr : handle ref) dst (len : int) : int =`
`400`	`400`	`(let (inter, chan, line, buffer, pos, lineno, out, name) = !hr in)`
`401`	`401`	`let h = !hr in`
`402`	`402`	`try`