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