aboutsummaryrefslogtreecommitdiff
path: root/sheet.ml
diff options
context:
space:
mode:
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