annotate src/sources @ 2092:d4eb9b6729f8

Another try at a proper fix for constraint matching in subsignature checking
author Adam Chlipala <adam@chlipala.net>
date Tue, 23 Dec 2014 11:23:27 -0500
parents a9159911c3ba
children ef766ef6e242
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
andersk@1906 171 $(SRC)/monoize.sig
andersk@1906 172 $(SRC)/monoize.sml
adamc@108 173
andersk@1906 174 $(SRC)/mono_reduce.sig
andersk@1906 175 $(SRC)/mono_reduce.sml
adamc@453 176
andersk@1906 177 $(SRC)/mono_opt.sig
andersk@1906 178 $(SRC)/mono_opt.sml
adamc@96 179
andersk@1906 180 $(SRC)/untangle.sig
andersk@1906 181 $(SRC)/untangle.sml
adamc@133 182
andersk@1906 183 $(SRC)/mono_shake.sig
andersk@1906 184 $(SRC)/mono_shake.sml
adamc@134 185
andersk@1906 186 $(SRC)/fuse.sig
andersk@1906 187 $(SRC)/fuse.sml
adamc@1235 188
andersk@1906 189 $(SRC)/sql.sml
ezyang@1697 190
andersk@1906 191 $(SRC)/iflow.sig
andersk@1906 192 $(SRC)/iflow.sml
adamc@1200 193
andersk@1906 194 $(SRC)/name_js.sig
andersk@1906 195 $(SRC)/name_js.sml
adam@1800 196
andersk@1906 197 $(SRC)/jscomp.sig
andersk@1906 198 $(SRC)/jscomp.sml
adamc@567 199
andersk@1906 200 $(SRC)/pathcheck.sig
andersk@1906 201 $(SRC)/pathcheck.sml
adamc@377 202
andersk@1906 203 $(SRC)/sidecheck.sig
andersk@1906 204 $(SRC)/sidecheck.sml
adam@1595 205
andersk@1906 206 $(SRC)/sigcheck.sig
andersk@1906 207 $(SRC)/sigcheck.sml
adam@1856 208
andersk@1906 209 $(SRC)/cjr.sml
adamc@29 210
andersk@1906 211 $(SRC)/postgres.sig
andersk@1906 212 $(SRC)/postgres.sml
adamc@881 213
andersk@1906 214 $(SRC)/cjr_env.sig
andersk@1906 215 $(SRC)/cjr_env.sml
adamc@29 216
andersk@1906 217 $(SRC)/cjr_print.sig
andersk@1906 218 $(SRC)/cjr_print.sml
adamc@29 219
andersk@1906 220 $(SRC)/cjrize.sig
andersk@1906 221 $(SRC)/cjrize.sml
adamc@29 222
andersk@1906 223 $(SRC)/scriptcheck.sig
andersk@1906 224 $(SRC)/scriptcheck.sml
adamc@643 225
adam@2056 226 $(SRC)/dbmodecheck.sig
adam@2056 227 $(SRC)/dbmodecheck.sml
adam@2056 228
andersk@1906 229 $(SRC)/prepare.sig
andersk@1906 230 $(SRC)/prepare.sml
adamc@282 231
andersk@1906 232 $(SRC)/checknest.sig
andersk@1906 233 $(SRC)/checknest.sml
adamc@879 234
andersk@1906 235 $(SRC)/compiler.sig
andersk@1906 236 $(SRC)/compiler.sml
adamc@380 237
andersk@1906 238 $(SRC)/demo.sig
andersk@1906 239 $(SRC)/demo.sml
adam@1493 240
andersk@1906 241 $(SRC)/tutorial.sig
andersk@1906 242 $(SRC)/tutorial.sml