Remove identity from Option.getUnsafe

ml-in-barcelona · Aug 2, 2024 · 171bd47 · 171bd47
1 parent 535a3b4
commit 171bd47
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/packages/Belt/src/Belt_Option.ml b/packages/Belt/src/Belt_Option.ml
@@ -39,5 +39,4 @@ let keepU opt f =
 let keep opt f = keepU opt (fun x -> f x)
 let forEachU opt f = match opt with Some x -> f x | None -> ()
 let forEach opt f = forEachU opt (fun x -> f x)
-
-external getUnsafe : 'a option -> 'a = "%identity"
+let getUnsafe = function Some x -> x | None -> assert false
diff --git a/packages/Belt/src/Belt_Option.mli b/packages/Belt/src/Belt_Option.mli
@@ -44,7 +44,7 @@ val getExn : 'a option -> 'a
   ]}
 *)
 
-external getUnsafe : 'a option -> 'a = "%identity"
+val getUnsafe : 'a option -> 'a
 (** [getUnsafe x] returns x
   This is an unsafe operation, it assumes x is neither not None
   or (Some (None .. ))