comparison src/core_print.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents 5819fb63c93a
children fa2019a63ea4
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
564 p_named x n, 564 p_named x n,
565 space, 565 space,
566 string "as", 566 string "as",
567 space, 567 space,
568 string s] 568 string s]
569 | DView (x, n, s, e, _) => box [string "view",
570 space,
571 p_named x n,
572 space,
573 string "as",
574 space,
575 p_exp env e]
569 | DDatabase s => box [string "database", 576 | DDatabase s => box [string "database",
570 space, 577 space,
571 string s] 578 string s]
572 | DCookie (x, n, c, s) => box [string "cookie", 579 | DCookie (x, n, c, s) => box [string "cookie",
573 space, 580 space,