Add option iter

diff --git a/compiler/src/lib/tiger/tiger_opt.ml b/compiler/src/lib/tiger/tiger_opt.ml
index cdacd0e..8eee986 100644 (file)
--- a/compiler/src/lib/tiger/tiger_opt.ml
+++ b/compiler/src/lib/tiger/tiger_opt.ml
@@ -5,6 +5,9 @@ let map t f =
   | None   -> None
   | Some x -> Some (f x)
 
   | None   -> None
   | Some x -> Some (f x)
 

+let iter t ~f =
+  ignore (map t f)
+

 let get t ~default =
   match t with
   | None   -> default
 let get t ~default =
   match t with
   | None   -> default

diff --git a/compiler/src/lib/tiger/tiger_opt.mli b/compiler/src/lib/tiger/tiger_opt.mli
index 719e854..662ca4a 100644 (file)
--- a/compiler/src/lib/tiger/tiger_opt.mli
+++ b/compiler/src/lib/tiger/tiger_opt.mli
@@ -2,4 +2,6 @@ type 'a t = 'a option
 
 val map : 'a t -> ('a -> 'b) -> 'b t
 
 
 val map : 'a t -> ('a -> 'b) -> 'b t
 

+val iter : 'a t -> f:('a -> unit) -> unit
+

 val get : 'a t -> default:'a -> 'a
 val get : 'a t -> default:'a -> 'a