diff options
| author | Thomas Bauereiss | 2017-12-05 17:05:22 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-12-06 14:54:28 +0000 |
| commit | c3c3c40a1d4f81448d8356317e88be2b04363df7 (patch) | |
| tree | 4caeea3f28af968a59241df7a7ebd1828fd61086 /src/util.mli | |
| parent | 4a7d6e6d7e9221a19bc50c627b5714e45b1748bc (diff) | |
Make AST after rewriting for Lem backend type-checkable
- Add support for some internal nodes to type checker
- Add more explicit type annotations during rewriting
- Remove hardcoded rewrites for E_vector_update etc from Lem pretty-printer;
these will be resolved by the type checker during rewriting now
Diffstat (limited to 'src/util.mli')
| -rw-r--r-- | src/util.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util.mli b/src/util.mli index 38af1fc2..ac87cab8 100644 --- a/src/util.mli +++ b/src/util.mli @@ -84,7 +84,7 @@ val option_default : 'a -> 'a option -> 'a (** [option_binop f (Some x) (Some y)] returns [Some (f x y)], and in all other cases, [option_binop] returns [None]. *) -val option_binop : ('a -> 'a -> 'a) -> 'a option -> 'a option -> 'a option +val option_binop : ('a -> 'a -> 'b) -> 'a option -> 'a option -> 'b option (** [option_get_exn exn None] throws the exception [exn], whereas [option_get_exn exn (Some x)] returns [x]. *) |