comparison src/sources @ 1989:210fb3dfc483

Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Feb 2014 10:27:15 -0500
parents 0d2fdc2cc46c
children a9159911c3ba 01c8aceac480
comparison
equal deleted inserted replaced
1988:abb6981a2c4c 1989:210fb3dfc483
113 $(SRC)/core_env.sml 113 $(SRC)/core_env.sml
114 114
115 $(SRC)/core_print.sig 115 $(SRC)/core_print.sig
116 $(SRC)/core_print.sml 116 $(SRC)/core_print.sml
117 117
118 $(SRC)/expl_rename.sig
119 $(SRC)/expl_rename.sml
120
118 $(SRC)/corify.sig 121 $(SRC)/corify.sig
119 $(SRC)/corify.sml 122 $(SRC)/corify.sml
120 123
121 $(SRC)/reduce_local.sig 124 $(SRC)/reduce_local.sig
122 $(SRC)/reduce_local.sml 125 $(SRC)/reduce_local.sml