aboutsummaryrefslogtreecommitdiff
path: root/sheet.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-10-31 15:59:38 +0100
committerSébastien Dailly <sebastien@chimrod.com>2017-10-31 16:02:42 +0100
commitd8ed0babfa1c03c8f1968443a465972bb3bf460c (patch)
tree60f788e3e8733a6d3606e801bc21a24e419e070e /sheet.ml
parent01d7f77f65c3a2b83978b1f00c87b54f00647816 (diff)
Merged Evaluator types with ScTypes
Diffstat (limited to 'sheet.ml')
-rwxr-xr-xsheet.ml7
1 files changed, 1 insertions, 6 deletions
diff --git a/sheet.ml b/sheet.ml
index 241039e..67b1ee1 100755
--- a/sheet.ml
+++ b/sheet.ml
@@ -50,13 +50,8 @@ module Raw = struct
*)
let get_ref from t ref : ScTypes.result option ScTypes.Refs.range = begin
- let extract_values = begin function
- | ScTypes.Error e -> raise e
- | v -> v
- end in
-
ScTypes.Refs.collect ref
- |> ScTypes.Refs.map (fun coord -> Option.map extract_values (get_value coord t))
+ |> ScTypes.Refs.map (fun coord -> get_value coord t)
end