Mercurial > urweb

annotate src/sources @ 2112:b4702145f8de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Feb 2015 11:09:25 -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