Mercurial > urweb
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 |