comparison src/elab_env.sml @ 2196:100352dbae36

Fix tricky case of functor signature subsumption
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Nov 2015 15:28:12 -0500
parents 22117edf8fd3
children
comparison
equal deleted inserted replaced
2195:18e6fb487880 2196:100352dbae36
236 sgn : (string * sgn) IM.map, 236 sgn : (string * sgn) IM.map,
237 237
238 renameStr : (int * sgn) SM.map, 238 renameStr : (int * sgn) SM.map,
239 str : (string * sgn) IM.map 239 str : (string * sgn) IM.map
240 } 240 }
241
242 fun dump (env : env) =
243 (print "NamedC:\n";
244 IM.appi (fn (n, (x, k, co)) => print (x ^ " [" ^ Int.toString n ^ "]\n")) (#namedC env))
241 245
242 val namedCounter = ref 0 246 val namedCounter = ref 0
243 247
244 fun newNamed () = 248 fun newNamed () =
245 let 249 let