Mercurial > urweb
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 "(", |