Commits

camlspotter committed e2d44d2

annot type is recovered

Comments (0)

Files changed (2)

                           Abstraction.module_type mty))))
       ()
       
-  let recorded () = Hashtbl.fold (fun k (_,vs) st -> (k,vs)::st) recorded []
+  let recorded () = Hashtbl.fold (fun k (_,vs) st -> 
+    List.map (fun v -> k,v) vs @ st) recorded []
 end
 
 module Top = struct
     | Cwd of string
     | Load_paths of string list
     | Top of Abstraction.structure option
-    | Annots of (Location.t * Annot.t list) list
+    | Annots of (Location.t * Annot.t) list
 
   (* marshalled type *)
   type t = elem list
     Location.t ->
     Types.module_type -> Types.signature -> unit
   val record_module_type_def : Location.t -> Ident.t -> Types.module_type -> unit
-  val recorded : unit -> (Location.t * t list) list
+  val recorded : unit -> (Location.t * t) list
 end
 
 module Top : sig
     | Cwd of string
     | Load_paths of string list
     | Top of Abstraction.structure option
-    | Annots of (Location.t * Annot.t list) list
+    | Annots of (Location.t * Annot.t) list
 
   (* marshalled type *)
   type t = elem list