Mercurial > urweb
comparison src/cjr_print.sml @ 754:8688e01ae469
A view query works
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 28 Apr 2009 15:04:37 -0400 |
parents | e42f08f96eb5 |
children | 8ce31c052dce |
comparison
equal
deleted
inserted
replaced
753:d484df4e841a | 754:8688e01ae469 |
---|---|
2067 newline] | 2067 newline] |
2068 | DSequence x => box [string "/* SQL sequence ", | 2068 | DSequence x => box [string "/* SQL sequence ", |
2069 string x, | 2069 string x, |
2070 string " */", | 2070 string " */", |
2071 newline] | 2071 newline] |
2072 | DView (x, _, s) => box [string "/* SQL view ", | |
2073 string x, | |
2074 space, | |
2075 string "AS", | |
2076 space, | |
2077 string s, | |
2078 space, | |
2079 string " */", | |
2080 newline] | |
2072 | DDatabase {name, expunge, initialize} => | 2081 | DDatabase {name, expunge, initialize} => |
2073 box [string "static void uw_db_validate(uw_context);", | 2082 box [string "static void uw_db_validate(uw_context);", |
2074 newline, | 2083 newline, |
2075 string "static void uw_db_prepare(uw_context);", | 2084 string "static void uw_db_prepare(uw_context);", |
2076 newline, | 2085 newline, |
3087 box [string "CREATE SEQUENCE ", | 3096 box [string "CREATE SEQUENCE ", |
3088 string s, | 3097 string s, |
3089 string ";", | 3098 string ";", |
3090 newline, | 3099 newline, |
3091 newline] | 3100 newline] |
3101 | DView (s, xts, q) => | |
3102 box [string "CREATE VIEW", | |
3103 space, | |
3104 string s, | |
3105 space, | |
3106 string "AS", | |
3107 space, | |
3108 string q, | |
3109 string ";", | |
3110 newline, | |
3111 newline] | |
3092 | _ => box [] | 3112 | _ => box [] |
3093 in | 3113 in |
3094 (pp, E.declBinds env dAll) | 3114 (pp, E.declBinds env dAll) |
3095 end) | 3115 end) |
3096 env ds | 3116 env ds |