annotate src/sources @ 2253:d665925acff8

Factor out [Monoize.Fm] to make it accessible to [Sqlcache].
author Ziv Scully <ziv@mit.edu>
date Mon, 21 Sep 2015 14:54:07 -0400
parents 88cc0f44c940
children 44ae2254f8fb
rev   line source
andersk@1906 1 $(SRC)/config.sig
adamc@378 2 config.sml
adamc@378 3
andersk@1906 4 $(SRC)/search.sig
andersk@1906 5 $(SRC)/search.sml
adamc@6 6
andersk@1906 7 $(SRC)/list_util.sig
andersk@1906 8 $(SRC)/list_util.sml
adamc@5 9
andersk@1906 10 $(SRC)/order.sig
andersk@1906 11 $(SRC)/order.sml
adamc@193 12
andersk@1906 13 $(SRC)/errormsg.sig
andersk@1906 14 $(SRC)/errormsg.sml
adamc@0 15
andersk@1906 16 $(SRC)/print.sig
andersk@1906 17 $(SRC)/print.sml
adamc@876 18
andersk@1906 19 $(SRC)/settings.sig
andersk@1906 20 $(SRC)/settings.sml
adamc@764 21
andersk@1906 22 $(SRC)/http.sig
andersk@1906 23 $(SRC)/http.sml
adamc@865 24
andersk@1906 25 $(SRC)/cgi.sig
andersk@1906 26 $(SRC)/cgi.sml
adamc@858 27
andersk@1906 28 $(SRC)/fastcgi.sig
andersk@1906 29 $(SRC)/fastcgi.sml
adamc@859 30
andersk@1906 31 $(SRC)/static.sig
andersk@1906 32 $(SRC)/static.sml
adam@1493 33
andersk@1906 34 $(SRC)/prim.sig
andersk@1906 35 $(SRC)/prim.sml
adam@1656 36
andersk@1906 37 $(SRC)/mysql.sig
andersk@1906 38 $(SRC)/mysql.sml
adamc@866 39
andersk@1906 40 $(SRC)/sqlite.sig
andersk@1906 41 $(SRC)/sqlite.sml
adamc@885 42
andersk@1906 43 $(SRC)/datatype_kind.sml
adamc@732 44
andersk@1906 45 $(SRC)/export.sig
andersk@1906 46 $(SRC)/export.sml
adamc@731 47
andersk@1906 48 $(SRC)/source.sml
adamc@1 49
andersk@1906 50 $(SRC)/utf8.sig
andersk@1906 51 $(SRC)/utf8.sml
adam@1592 52
adam@1592 53 ../xml/entities.sml
adam@1592 54
adamc@244 55 urweb.grm
adamc@244 56 urweb.lex
adamc@1 57
andersk@1906 58 $(SRC)/source_print.sig
andersk@1906 59 $(SRC)/source_print.sml
adamc@1 60
andersk@1906 61 $(SRC)/elab.sml
adamc@2 62
andersk@1906 63 $(SRC)/elab_util.sig
andersk@1906 64 $(SRC)/elab_util.sml
adamc@13 65
andersk@1906 66 $(SRC)/elab_env.sig
andersk@1906 67 $(SRC)/elab_env.sml
adamc@10 68
andersk@1906 69 $(SRC)/elab_print.sig
andersk@1906 70 $(SRC)/elab_print.sml
adamc@3 71
andersk@1906 72 $(SRC)/elab_ops.sig
andersk@1906 73 $(SRC)/elab_ops.sml
adamc@81 74
andersk@1906 75 $(SRC)/disjoint.sig
andersk@1906 76 $(SRC)/disjoint.sml
adamc@82 77
andersk@1906 78 $(SRC)/elab_err.sig
andersk@1906 79 $(SRC)/elab_err.sml
adamc@329 80
andersk@1906 81 $(SRC)/mod_db.sig
andersk@1906 82 $(SRC)/mod_db.sml
adam@1732 83
andersk@1906 84 $(SRC)/elaborate.sig
andersk@1906 85 $(SRC)/elaborate.sml
adamc@2 86
andersk@1906 87 $(SRC)/unnest.sig
andersk@1906 88 $(SRC)/unnest.sml
adamc@448 89
andersk@1906 90 $(SRC)/termination.sig
andersk@1906 91 $(SRC)/termination.sml
adamc@313 92
andersk@1906 93 $(SRC)/expl.sml
adamc@38 94
andersk@1906 95 $(SRC)/expl_util.sig
andersk@1906 96 $(SRC)/expl_util.sml
adamc@38 97
andersk@1906 98 $(SRC)/expl_env.sig
andersk@1906 99 $(SRC)/expl_env.sml
adamc@38 100
andersk@1906 101 $(SRC)/expl_print.sig
andersk@1906 102 $(SRC)/expl_print.sml
adamc@38 103
andersk@1906 104 $(SRC)/explify.sig
andersk@1906 105 $(SRC)/explify.sml
adamc@38 106
andersk@1906 107 $(SRC)/core.sml
adamc@16 108
andersk@1906 109 $(SRC)/core_util.sig
andersk@1906 110 $(SRC)/core_util.sml
adamc@16 111
andersk@1906 112 $(SRC)/core_env.sig
andersk@1906 113 $(SRC)/core_env.sml
adamc@16 114
andersk@1906 115 $(SRC)/core_print.sig
andersk@1906 116 $(SRC)/core_print.sml
adamc@16 117
adam@1989 118 $(SRC)/expl_rename.sig
adam@1989 119 $(SRC)/expl_rename.sml
adam@1989 120
andersk@1906 121 $(SRC)/corify.sig
andersk@1906 122 $(SRC)/corify.sml
adamc@16 123
andersk@1906 124 $(SRC)/reduce_local.sig
andersk@1906 125 $(SRC)/reduce_local.sml
adamc@20 126
andersk@1906 127 $(SRC)/shake.sig
andersk@1906 128 $(SRC)/shake.sml
adamc@23 129
andersk@1906 130 $(SRC)/core_untangle.sig
andersk@1906 131 $(SRC)/core_untangle.sml
adam@1289 132
andersk@1906 133 $(SRC)/especialize.sig
andersk@1906 134 $(SRC)/especialize.sml
adam@1289 135
andersk@1906 136 $(SRC)/reduce.sig
andersk@1906 137 $(SRC)/reduce.sml
adamc@1276 138
andersk@1906 139 $(SRC)/unpoly.sig
andersk@1906 140 $(SRC)/unpoly.sml
adamc@315 141
andersk@1906 142 $(SRC)/specialize.sig
andersk@1906 143 $(SRC)/specialize.sml
adamc@193 144
andersk@1906 145 $(SRC)/rpcify.sig
andersk@1906 146 $(SRC)/rpcify.sml
adamc@607 147
andersk@1906 148 $(SRC)/tag.sig
andersk@1906 149 $(SRC)/tag.sml
adamc@110 150
andersk@1906 151 $(SRC)/effectize.sig
andersk@1906 152 $(SRC)/effectize.sml
adamc@732 153
andersk@1906 154 $(SRC)/marshalcheck.sig
andersk@1906 155 $(SRC)/marshalcheck.sml
adamc@680 156
andersk@1906 157 $(SRC)/css.sig
andersk@1906 158 $(SRC)/css.sml
adamc@1170 159
andersk@1906 160 $(SRC)/mono.sml
adamc@25 161
andersk@1906 162 $(SRC)/mono_util.sig
andersk@1906 163 $(SRC)/mono_util.sml
adamc@26 164
andersk@1906 165 $(SRC)/mono_env.sig
andersk@1906 166 $(SRC)/mono_env.sml
adamc@25 167
andersk@1906 168 $(SRC)/mono_print.sig
andersk@1906 169 $(SRC)/mono_print.sml
adamc@25 170
ziv@2253 171 $(SRC)/mono_fm.sig
ziv@2253 172 $(SRC)/mono_fm.sml
ziv@2253 173
ziv@2215 174 $(SRC)/sql.sig
ziv@2215 175 $(SRC)/sql.sml
ziv@2215 176
ziv@2216 177 $(SRC)/union_find_fn.sml
ziv@2215 178 $(SRC)/multimap_fn.sml
ziv@2240 179 $(SRC)/option_key_fn.sml
ziv@2240 180 $(SRC)/triple_key_fn.sml
ziv@2215 181
ziv@2233 182 $(SRC)/cache.sml
ziv@2230 183 $(SRC)/toy_cache.sml
ziv@2234 184 $(SRC)/lru_cache.sml
ziv@2230 185
ziv@2215 186 $(SRC)/sqlcache.sig
ziv@2215 187 $(SRC)/sqlcache.sml
ziv@2215 188
andersk@1906 189 $(SRC)/monoize.sig
andersk@1906 190 $(SRC)/monoize.sml
adamc@108 191
andersk@1906 192 $(SRC)/mono_reduce.sig
andersk@1906 193 $(SRC)/mono_reduce.sml
adamc@453 194
andersk@1906 195 $(SRC)/mono_opt.sig
andersk@1906 196 $(SRC)/mono_opt.sml
adamc@96 197
andersk@1906 198 $(SRC)/untangle.sig
andersk@1906 199 $(SRC)/untangle.sml
adamc@133 200
andersk@1906 201 $(SRC)/mono_shake.sig
andersk@1906 202 $(SRC)/mono_shake.sml
adamc@134 203
andersk@1906 204 $(SRC)/fuse.sig
andersk@1906 205 $(SRC)/fuse.sml
adamc@1235 206
andersk@1906 207 $(SRC)/iflow.sig
andersk@1906 208 $(SRC)/iflow.sml
adamc@1200 209
andersk@1906 210 $(SRC)/name_js.sig
andersk@1906 211 $(SRC)/name_js.sml
adam@1800 212
andersk@1906 213 $(SRC)/jscomp.sig
andersk@1906 214 $(SRC)/jscomp.sml
adamc@567 215
andersk@1906 216 $(SRC)/pathcheck.sig
andersk@1906 217 $(SRC)/pathcheck.sml
adamc@377 218
andersk@1906 219 $(SRC)/sidecheck.sig
andersk@1906 220 $(SRC)/sidecheck.sml
adam@1595 221
andersk@1906 222 $(SRC)/sigcheck.sig
andersk@1906 223 $(SRC)/sigcheck.sml
adam@1856 224
ziv@2213 225 $(SRC)/mono_inline.sml
ziv@2213 226
andersk@1906 227 $(SRC)/cjr.sml
adamc@29 228
andersk@1906 229 $(SRC)/postgres.sig
andersk@1906 230 $(SRC)/postgres.sml
adamc@881 231
andersk@1906 232 $(SRC)/cjr_env.sig
andersk@1906 233 $(SRC)/cjr_env.sml
adamc@29 234
andersk@1906 235 $(SRC)/cjr_print.sig
andersk@1906 236 $(SRC)/cjr_print.sml
adamc@29 237
andersk@1906 238 $(SRC)/cjrize.sig
andersk@1906 239 $(SRC)/cjrize.sml
adamc@29 240
andersk@1906 241 $(SRC)/scriptcheck.sig
andersk@1906 242 $(SRC)/scriptcheck.sml
adamc@643 243
adam@2056 244 $(SRC)/dbmodecheck.sig
adam@2056 245 $(SRC)/dbmodecheck.sml
adam@2056 246
andersk@1906 247 $(SRC)/prepare.sig
andersk@1906 248 $(SRC)/prepare.sml
adamc@282 249
andersk@1906 250 $(SRC)/checknest.sig
andersk@1906 251 $(SRC)/checknest.sml
adamc@879 252
andersk@1906 253 $(SRC)/compiler.sig
andersk@1906 254 $(SRC)/compiler.sml
adamc@380 255
andersk@1906 256 $(SRC)/demo.sig
andersk@1906 257 $(SRC)/demo.sml
adam@1493 258
andersk@1906 259 $(SRC)/tutorial.sig
andersk@1906 260 $(SRC)/tutorial.sml