diff options
Diffstat (limited to 'checker')
| -rw-r--r-- | checker/values.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/checker/values.ml b/checker/values.ml index 55c6367a73..9a0d9922f9 100644 --- a/checker/values.ml +++ b/checker/values.ml @@ -69,10 +69,8 @@ let v_map vk vd = let v_computation f = Annot ("Future.computation", v_ref - (v_sum "computation" 2 - [| [| Fail "Closure" |]; - [| f ; v_sum "option" 1 [| [| Fail "Val(_,Some _)" |] |] |]; - [| Fail "Exn" |] |])) + (v_sum "Future.comput" 0 + [| [| Fail "Ongoing" |]; [| f |] |])) (** kernel/names *) |