diff options
| author | Dana N. Xu <na.xu@inria.fr> | 2013-02-18 09:58:43 +0000 |
|---|---|---|
| committer | Dana N. Xu <na.xu@inria.fr> | 2013-02-18 09:58:43 +0000 |
| commit | cda7d49f0f7f8f38b6292ff897fca0bbc4bd0d94 (patch) | |
| tree | f3b95c1887a91e882adfbe14eb9729dc641d3789 /typing | |
| parent | 935f356e5eed57c101547c0883784673b32bea74 (diff) | |
| download | ocaml-contracts.tar.gz | |
updatecontracts
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@13295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing')
| -rw-r--r-- | typing/typedtree.mli | 6 | ||||
| -rw-r--r-- | typing/types.mli | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/typing/typedtree.mli b/typing/typedtree.mli index 5999ea071e..b314c8eafa 100644 --- a/typing/typedtree.mli +++ b/typing/typedtree.mli @@ -120,10 +120,10 @@ and core_contract = and core_contract_desc = Tctr_pred of Ident.t * expression * ((pattern * expression) list) option - | Tctr_arrow of Ident.t option * core_contract * core_contract - | Tctr_tuple of (Ident.t option * core_contract) list + | Tctr_arrow of Ident.t * core_contract * core_contract + | Tctr_tuple of (Ident.t * core_contract) list | Tctr_constr of Path.t * constructor_description - * (Ident.t option * core_contract) list + * (Ident.t * core_contract) list | Tctr_and of core_contract * core_contract | Tctr_or of core_contract * core_contract | Tctr_typconstr of Path.t * core_contract list diff --git a/typing/types.mli b/typing/types.mli index b99d00c1f6..584d7d6a4c 100644 --- a/typing/types.mli +++ b/typing/types.mli @@ -261,10 +261,10 @@ and core_contract = and core_contract_desc = Tctr_pred of Ident.t * expression * ((pattern * expression) list) option - | Tctr_arrow of Ident.t option * core_contract * core_contract - | Tctr_tuple of (Ident.t option * core_contract) list + | Tctr_arrow of Ident.t * core_contract * core_contract + | Tctr_tuple of (Ident.t * core_contract) list | Tctr_constr of Path.t * constructor_description - * (Ident.t option * core_contract) list + * (Ident.t * core_contract) list | Tctr_and of core_contract * core_contract | Tctr_or of core_contract * core_contract | Tctr_typconstr of Path.t * core_contract list |