Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

New type ac (argument counting for format strings). Private export of new function ac_of_format for Scanf (and the typechecker). 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7721 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Pierre Weis 2006-11-06 10:22:02 +00:00
parent e80a2387f4
commit 9bc5cb17bf
1 changed files with 16 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
stdlib/printf.mli
View File

@ -151,6 +151,14 @@ type index;;
external index_of_int : int -> index = "%identity";;
type ac = {
mutable ac_rglr : int;
mutable ac_skip : int;
mutable ac_rdrs : int;
};;
val ac_of_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ac;;
module Sformat : sig
external unsafe_to_string : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> string
= "%identity"
@ -165,20 +173,22 @@ module Sformat : sig
end
val scan_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 ->
'ee array ->
'g array ->
index ->
int ->
(index -> string -> int -> 'ff) ->
(index -> 'g -> 'h -> int -> 'ff) ->
(index -> 'i -> int -> 'ff) ->
(index -> int -> 'ff) ->
(index -> ('j, 'k, 'l, 'm, 'n, 'o) format6 -> int -> 'ff) -> 'ff
(index -> string -> int -> 'h) ->
(index -> 'i -> 'j -> int -> 'h) ->
(index -> 'k -> int -> 'h) ->
(index -> int -> 'h) ->
(index -> ('l, 'm, 'n, 'o, 'p, 'q) format6 -> int -> 'h) -> 'h
val sub_format :
(('a, 'b, 'c, 'd, 'e, 'f) format6 -> int) ->
(('a, 'b, 'c, 'd, 'e, 'f) format6 -> int -> char -> int) ->
char -> ('a, 'b, 'c, 'd, 'e, 'f) format6 -> int -> int
val summarize_format_type : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> string
val kapr :
(('a, 'b, 'c, 'd, 'e, 'f) format6 -> Obj.t array -> 'g) ->
('a, 'b, 'c, 'd, 'e, 'f) format6 -> 'g