diff options
Diffstat (limited to 'generator/generator_types.ml')
| -rw-r--r-- | generator/generator_types.ml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/generator/generator_types.ml b/generator/generator_types.ml index 94592991..16cb0895 100644 --- a/generator/generator_types.ml +++ b/generator/generator_types.ml @@ -20,7 +20,7 @@ (* Types used to describe the API. *) -type style = ret * args * args +type style = ret * args * optargs (* The [style] is a tuple which describes the return value and * arguments of a function. * @@ -203,6 +203,14 @@ and argt = *) | Pointer of (string * string) +and optargs = optargt list + +and optargt = + | OBool of string (* boolean *) + | OInt of string (* int (smallish ints, signed, <= 31 bits) *) + | OInt64 of string (* any 64 bit int *) + | OString of string (* const char *name, cannot be NULL *) + type errcode = [ `CannotReturnError | `ErrorIsMinusOne | `ErrorIsNULL ] type flags = |