diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-02-25 15:46:29 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-02-25 15:46:29 -0500 |
| commit | 5d8e871068b06290e038e81068623ebb5d43a95a (patch) | |
| tree | cc6c641e4fc676b2057f7fdbf662ae69ed8ca19d /src | |
| parent | 05f8f0c4cdae3cdde84eca29e647ec627e19160a (diff) | |
Deal with Postgres's wonky type-changing for nullable columns of views
Diffstat (limited to 'src')
| -rw-r--r-- | src/postgres.sml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/postgres.sml b/src/postgres.sml index 7209f34a..70360163 100644 --- a/src/postgres.sml +++ b/src/postgres.sml @@ -75,9 +75,13 @@ fun checkRel (table, checkNullable) (s, xts) = String.concat ["(column_name = 'uw_", CharVector.map Char.toLower (ident x), - "' AND data_type = '", - p_sql_type_base t, - "'", + (case p_sql_type_base t of + "bigint" => + "' AND data_type IN ('bigint', 'numeric')" + | t => + String.concat ["' AND data_type = '", + t, + "'"]), if checkNullable then (" AND is_nullable = '" ^ (if isNotNull t then |