comparison src/cjr_print.sml @ 877:dae141d911d9

MySQL accepts generated demo DDL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Jul 2009 13:59:30 -0400
parents 3c7b48040dcf
children a8952047e1d3
comparison
equal deleted inserted replaced
876:025806b3c014 877:dae141d911d9
2834 newline, 2834 newline,
2835 string ");", 2835 string ");",
2836 newline, 2836 newline,
2837 newline] 2837 newline]
2838 | DSequence s => 2838 | DSequence s =>
2839 box [string "CREATE SEQUENCE ", 2839 box [string (#createSequence (Settings.currentDbms ()) s),
2840 string s,
2841 string ";", 2840 string ";",
2842 newline, 2841 newline,
2843 newline] 2842 newline]
2844 | DView (s, xts, q) => 2843 | DView (s, xts, q) =>
2845 box [string "CREATE VIEW", 2844 box [string "CREATE VIEW",