From 2cd5c52da3e94a317e12a94eff040018b401dafc Mon Sep 17 00:00:00 2001 From: Olivier de Gevigney Date: Mon, 27 Jun 2016 22:37:47 -0700 Subject: [PATCH] Argument of stack constructor should be a list --- code/classes/class_types_stack.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/code/classes/class_types_stack.ml b/code/classes/class_types_stack.ml index f2bf00c..5cf7951 100644 --- a/code/classes/class_types_stack.ml +++ b/code/classes/class_types_stack.ml @@ -12,7 +12,7 @@ end module AbstractStack : sig type 'a t = < pop: 'a option; push: 'a -> unit > - val make : unit -> 'a t + val make : 'a list -> 'a t end = Stack (* part 2 *) @@ -26,5 +26,5 @@ module VisibleStack : sig method push : 'a -> unit end - val make : unit -> 'a t + val make : 'a list -> 'a t end = Stack