Simplify fresh_ty type

OCamlPro · May 10, 2024 · b64ecd1 · b64ecd1
1 parent bb2ac60
commit b64ecd1
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/lib/frontend/d_cnf.ml b/src/lib/frontend/d_cnf.ml
@@ -104,7 +104,7 @@ module Cache = struct
   let find_ty id =
     HT.find ae_ty_ht (Id id)
 
-  let fresh_ty ?(is_var = true) ?(id = None) () =
+  let fresh_ty ?(is_var = true) ?id () =
     if is_var
     then Ty.fresh_tvar ()
     else
@@ -113,11 +113,11 @@ module Cache = struct
       | None -> Ty.fresh_empty_text ()
 
   let update_ty_store ?(is_var = true) id =
-    let ty = fresh_ty ~is_var ~id:(Some id) () in
+    let ty = fresh_ty ~is_var ~id () in
     store_ty id ty
 
   let update_ty_store_ret ?(is_var = true) id =
-    let ty = fresh_ty ~is_var ~id:(Some id) () in
+    let ty = fresh_ty ~is_var ~id () in
     store_ty id ty;
     ty