Detect cycles in type declarations

[tiger.ml.git] / compiler / src / lib / tiger / tiger_map_sig.ml

diff --git a/compiler/src/lib/tiger/tiger_map_sig.ml b/compiler/src/lib/tiger/tiger_map_sig.ml
index ed21d33..6356ed3 100644 (file)
--- a/compiler/src/lib/tiger/tiger_map_sig.ml
+++ b/compiler/src/lib/tiger/tiger_map_sig.ml
@@ -11,5 +11,6 @@ module type S = sig
 
   val to_dot : ('k, 'v) t -> k_to_string:('k -> string) -> string
 
 
   val to_dot : ('k, 'v) t -> k_to_string:('k -> string) -> string
 

-  val of_list : ('k * 'v) list -> ('k, 'v) t
+  val of_list : ('k * 'v) list -> ('k , 'v) t
+  val to_list : ('k , 'v) t    -> ('k * 'v) list

 end
 end