comparison src/mono_print.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents f7e2026dd5ae
children fa2019a63ea4
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
436 space, 436 space,
437 string "*)"] 437 string "*)"]
438 | DSequence s => box [string "(* SQL sequence ", 438 | DSequence s => box [string "(* SQL sequence ",
439 string s, 439 string s,
440 string "*)"] 440 string "*)"]
441 | DView (s, _, e) => box [string "(* SQL view ",
442 string s,
443 space,
444 string "as",
445 space,
446 p_exp env e,
447 string "*)"]
441 | DDatabase {name, expunge, initialize} => box [string "database", 448 | DDatabase {name, expunge, initialize} => box [string "database",
442 space, 449 space,
443 string name, 450 string name,
444 space, 451 space,
445 string "(", 452 string "(",