aboutsummaryrefslogtreecommitdiff
path: root/sheet.ml
diff options
context:
space:
mode:
Diffstat (limited to 'sheet.ml')
-rwxr-xr-xsheet.ml9
1 files changed, 2 insertions, 7 deletions
diff --git a/sheet.ml b/sheet.ml
index 22446e5..67b1ee1 100755
--- a/sheet.ml
+++ b/sheet.ml
@@ -48,15 +48,10 @@ module Raw = struct
(** Extract a value from a reference.
This function is given to the evaluator for getting the values from a reference.
*)
- let get_ref from t ref : ScTypes.types option ScTypes.Refs.range = begin
-
- let extract_values = begin function
- | ScTypes.Result v -> v
- | ScTypes.Error e -> raise e
- end in
+ let get_ref from t ref : ScTypes.result option ScTypes.Refs.range = begin
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