annotate src/sources @ 884:ced093080e17

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