diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-23 18:18:51 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-23 18:18:51 -0400 |
commit | fbde7928c43149e02806949343783dc6e885ab0f (patch) | |
tree | f6923214e0d8e9d058c248ab817aa08aba5fd2f9 /demo/crud1.ur | |
parent | c083f2b0659545c9a0f36faf1a56239f4efc8df2 (diff) |
Crud demo
Diffstat (limited to 'demo/crud1.ur')
-rw-r--r-- | demo/crud1.ur | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/demo/crud1.ur b/demo/crud1.ur new file mode 100644 index 00000000..3849e822 --- /dev/null +++ b/demo/crud1.ur @@ -0,0 +1,12 @@ +table t1 : {Id : int, A : int, B : string, C : float, D : bool} + +open Crud.Make(struct + val tab = t1 + + val title = "Crud1" + + val cols = {A = Crud.int "A", + B = Crud.string "B", + C = Crud.float "C", + D = Crud.bool "D"} + end) |