diff options
Diffstat (limited to 'stdlib/stack.ml')
-rw-r--r-- | stdlib/stack.ml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/stdlib/stack.ml b/stdlib/stack.ml deleted file mode 100644 index 8b1710cdd3..0000000000 --- a/stdlib/stack.ml +++ /dev/null @@ -1,18 +0,0 @@ -type 'a t = { mutable c : 'a list } - -exception Empty - -let new () = { c = [] } - -let clear s = s.c <- [] - -let push x s = s.c <- x :: s.c - -let pop s = - match s.c with - hd::tl -> s.c <- tl; hd - | [] -> raise Empty - -let length s = List.length s.c - -let iter f s = List.iter f s.c |