Mercurial > urweb
comparison src/expl_print.sml @ 754:8688e01ae469
A view query works
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 28 Apr 2009 15:04:37 -0400 |
parents | acb8537f58f0 |
children | 6271f0e3c272 |
comparison
equal
deleted
inserted
replaced
753:d484df4e841a | 754:8688e01ae469 |
---|---|
679 space, | 679 space, |
680 p_exp env ce] | 680 p_exp env ce] |
681 | DSequence (_, x, n) => box [string "sequence", | 681 | DSequence (_, x, n) => box [string "sequence", |
682 space, | 682 space, |
683 p_named x n] | 683 p_named x n] |
684 | DView (_, x, n, e, _) => box [string "view", | |
685 space, | |
686 p_named x n, | |
687 space, | |
688 string "as", | |
689 space, | |
690 p_exp env e] | |
684 | DDatabase s => box [string "database", | 691 | DDatabase s => box [string "database", |
685 space, | 692 space, |
686 string s] | 693 string s] |
687 | DCookie (_, x, n, c) => box [string "cookie", | 694 | DCookie (_, x, n, c) => box [string "cookie", |
688 space, | 695 space, |