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 | a6eb484bd588045d401e61fed64fac553e0e3395 (patch) | |
tree | f6923214e0d8e9d058c248ab817aa08aba5fd2f9 /demo/crud1.ur | |
parent | 87893ed6cb1e40bb056be498feca42718be85d88 (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) |