comparison src/sources @ 876:025806b3c014

Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Jul 2009 16:09:54 -0400
parents 03e7f111fe99
children b2a175a0f2ef
comparison
equal deleted inserted replaced
875:c50101ddf7fa 876:025806b3c014
10 order.sig 10 order.sig
11 order.sml 11 order.sml
12 12
13 errormsg.sig 13 errormsg.sig
14 errormsg.sml 14 errormsg.sml
15
16 print.sig
17 print.sml
15 18
16 settings.sig 19 settings.sig
17 settings.sml 20 settings.sml
18 21
19 http.sig 22 http.sig
28 postgres.sig 31 postgres.sig
29 postgres.sml 32 postgres.sml
30 33
31 mysql.sig 34 mysql.sig
32 mysql.sml 35 mysql.sml
33
34 print.sig
35 print.sml
36 36
37 prim.sig 37 prim.sig
38 prim.sml 38 prim.sml
39 39
40 datatype_kind.sml 40 datatype_kind.sml