summaryrefslogtreecommitdiff
path: root/stdlib/stack.ml
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/stack.ml')
-rw-r--r--stdlib/stack.ml18
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