diff options
| author | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2016-03-16 19:08:59 +0100 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2016-04-12 14:50:00 +0200 |
| commit | aa7118f331a1ca8d1a448b143f32a8b4967de78c (patch) | |
| tree | 4f89f9e94b0176f01ee5e4d98a31a350351f5e76 /middle_end/semantics_of_primitives.mli | |
| parent | b751de0f06b76de4350d2a8cda6f2ad262142c54 (diff) | |
| download | ocaml-aa7118f331a1ca8d1a448b143f32a8b4967de78c.tar.gz | |
Improve approximations using block kind
Diffstat (limited to 'middle_end/semantics_of_primitives.mli')
| -rw-r--r-- | middle_end/semantics_of_primitives.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/middle_end/semantics_of_primitives.mli b/middle_end/semantics_of_primitives.mli index 6523173302..32205cee75 100644 --- a/middle_end/semantics_of_primitives.mli +++ b/middle_end/semantics_of_primitives.mli @@ -63,3 +63,9 @@ type coeffects = No_coeffects | Has_coeffects val for_primitive : Lambda.primitive -> effects * coeffects + +type return_type = + | Float + | Other + +val return_type_of_primitive : Lambda.primitive -> return_type |