comparison src/mysql.sml @ 872:9654bce27cff

Validating views
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Jun 2009 16:17:32 -0400
parents 7fa9a37a34b3
children 41971801b62d
comparison
equal deleted inserted replaced
871:3ae6b655ced0 872:9654bce27cff
29 29
30 open Settings 30 open Settings
31 open Print.PD 31 open Print.PD
32 open Print 32 open Print
33 33
34 fun init {dbstring, prepared = ss, tables, sequences} = 34 fun init {dbstring, prepared = ss, tables, views, sequences} =
35 let 35 let
36 val host = ref NONE 36 val host = ref NONE
37 val user = ref NONE 37 val user = ref NONE
38 val passwd = ref NONE 38 val passwd = ref NONE
39 val db = ref NONE 39 val db = ref NONE