git.annexia.org
/
wrappi.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Begin generating C implementation code.
[wrappi.git]
/
generator-lib
/
wrappi_types.mli
diff --git
a/generator-lib/wrappi_types.mli
b/generator-lib/wrappi_types.mli
index
b836685
..
04283d5
100644
(file)
--- a/
generator-lib/wrappi_types.mli
+++ b/
generator-lib/wrappi_types.mli
@@
-41,9
+41,9
@@
type prec
type parameter = string * ptype * prec option
(** API parameter (argument name, type, optional precondition). *)
type parameter = string * ptype * prec option
(** API parameter (argument name, type, optional precondition). *)
-type rtype = R
Err
| Return of ptype
+type rtype = R
Void
| Return of ptype
(** API return type. A superset of {!ptype} because we allow the
(** API return type. A superset of {!ptype} because we allow the
- special value [R
Err] for dealing with errno
. *)
+ special value [R
Void] for functions that don't return any value
. *)
type ftype = rtype * parameter list * parameter list
(** A function type. Return type, list of required parameters, list
type ftype = rtype * parameter list * parameter list
(** A function type. Return type, list of required parameters, list
@@
-54,6
+54,7
@@
type c_code = string
type entry_point = {
ep_loc : Camlp4.PreCast.Loc.t;
type entry_point = {
ep_loc : Camlp4.PreCast.Loc.t;
+ ep_local : bool;
ep_name : string;
ep_ftype : ftype;
ep_code : c_code option;
ep_name : string;
ep_ftype : ftype;
ep_code : c_code option;