annotate src/sources @ 858:346cf1908a17

Avoid using prepared statements for non-persistent protocols
author Adam Chlipala <adamc@hcoop.net>
date Sat, 27 Jun 2009 10:50:45 -0400
parents 7f653298dd66
children 60240acd15b9
rev   line source
adamc@378 1 config.sig
adamc@378 2 config.sml
adamc@378 3
adamc@6 4 search.sig
adamc@6 5 search.sml
adamc@6 6
adamc@5 7 list_util.sig
adamc@5 8 list_util.sml
adamc@5 9
adamc@193 10 order.sig
adamc@193 11 order.sml
adamc@193 12
adamc@0 13 errormsg.sig
adamc@0 14 errormsg.sml
adamc@0 15
adamc@764 16 settings.sig
adamc@764 17 settings.sml
adamc@764 18
adamc@858 19 cgi.sig
adamc@858 20 cgi.sml
adamc@858 21
adamc@14 22 print.sig
adamc@14 23 print.sml
adamc@14 24
adamc@14 25 prim.sig
adamc@14 26 prim.sml
adamc@14 27
adamc@731 28 datatype_kind.sml
adamc@732 29
adamc@732 30 export.sig
adamc@731 31 export.sml
adamc@731 32
adamc@4 33 source.sml
adamc@1 34
adamc@244 35 urweb.grm
adamc@244 36 urweb.lex
adamc@1 37
adamc@4 38 source_print.sig
adamc@4 39 source_print.sml
adamc@1 40
adamc@2 41 elab.sml
adamc@2 42
adamc@13 43 elab_util.sig
adamc@13 44 elab_util.sml
adamc@13 45
adamc@10 46 elab_env.sig
adamc@10 47 elab_env.sml
adamc@10 48
adamc@3 49 elab_print.sig
adamc@3 50 elab_print.sml
adamc@3 51
adamc@81 52 elab_ops.sig
adamc@81 53 elab_ops.sml
adamc@81 54
adamc@82 55 disjoint.sig
adamc@82 56 disjoint.sml
adamc@82 57
adamc@329 58 elab_err.sig
adamc@329 59 elab_err.sml
adamc@329 60
adamc@2 61 elaborate.sig
adamc@2 62 elaborate.sml
adamc@2 63
adamc@448 64 unnest.sig
adamc@448 65 unnest.sml
adamc@448 66
adamc@313 67 termination.sig
adamc@313 68 termination.sml
adamc@313 69
adamc@38 70 expl.sml
adamc@38 71
adamc@38 72 expl_util.sig
adamc@38 73 expl_util.sml
adamc@38 74
adamc@38 75 expl_env.sig
adamc@38 76 expl_env.sml
adamc@38 77
adamc@38 78 expl_print.sig
adamc@38 79 expl_print.sml
adamc@38 80
adamc@38 81 explify.sig
adamc@38 82 explify.sml
adamc@38 83
adamc@16 84 core.sml
adamc@16 85
adamc@16 86 core_util.sig
adamc@16 87 core_util.sml
adamc@16 88
adamc@16 89 core_env.sig
adamc@16 90 core_env.sml
adamc@16 91
adamc@16 92 core_print.sig
adamc@16 93 core_print.sml
adamc@16 94
adamc@16 95 corify.sig
adamc@16 96 corify.sml
adamc@16 97
adamc@20 98 reduce.sig
adamc@20 99 reduce.sml
adamc@20 100
adamc@23 101 shake.sig
adamc@23 102 shake.sml
adamc@23 103
adamc@315 104 unpoly.sig
adamc@315 105 unpoly.sml
adamc@315 106
adamc@193 107 specialize.sig
adamc@193 108 specialize.sml
adamc@193 109
adamc@482 110 reduce_local.sig
adamc@482 111 reduce_local.sml
adamc@482 112
adamc@520 113 core_untangle.sig
adamc@520 114 core_untangle.sml
adamc@520 115
adamc@443 116 especialize.sig
adamc@443 117 especialize.sml
adamc@443 118
adamc@607 119 rpcify.sig
adamc@607 120 rpcify.sml
adamc@607 121
adamc@110 122 tag.sig
adamc@110 123 tag.sml
adamc@110 124
adamc@732 125 effectize.sig
adamc@732 126 effectize.sml
adamc@732 127
adamc@680 128 marshalcheck.sig
adamc@680 129 marshalcheck.sml
adamc@680 130
adamc@25 131 mono.sml
adamc@25 132
adamc@26 133 mono_util.sig
adamc@26 134 mono_util.sml
adamc@26 135
adamc@25 136 mono_env.sig
adamc@25 137 mono_env.sml
adamc@25 138
adamc@25 139 mono_print.sig
adamc@25 140 mono_print.sml
adamc@25 141
adamc@108 142 monoize.sig
adamc@108 143 monoize.sml
adamc@108 144
adamc@453 145 mono_reduce.sig
adamc@453 146 mono_reduce.sml
adamc@453 147
adamc@96 148 mono_opt.sig
adamc@96 149 mono_opt.sml
adamc@96 150
adamc@133 151 untangle.sig
adamc@133 152 untangle.sml
adamc@133 153
adamc@134 154 mono_shake.sig
adamc@134 155 mono_shake.sml
adamc@134 156
adamc@567 157 jscomp.sig
adamc@567 158 jscomp.sml
adamc@567 159
adamc@378 160 pathcheck.sig
adamc@377 161 pathcheck.sml
adamc@377 162
adamc@506 163 fuse.sig
adamc@506 164 fuse.sml
adamc@506 165
adamc@29 166 cjr.sml
adamc@29 167
adamc@29 168 cjr_env.sig
adamc@29 169 cjr_env.sml
adamc@29 170
adamc@29 171 cjr_print.sig
adamc@29 172 cjr_print.sml
adamc@29 173
adamc@29 174 cjrize.sig
adamc@29 175 cjrize.sml
adamc@29 176
adamc@643 177 scriptcheck.sig
adamc@643 178 scriptcheck.sml
adamc@643 179
adamc@282 180 prepare.sig
adamc@282 181 prepare.sml
adamc@282 182
adamc@1 183 compiler.sig
adamc@1 184 compiler.sml
adamc@380 185
adamc@380 186 demo.sig
adamc@380 187 demo.sml