diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-07 13:47:10 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 13:47:10 -0400 |
| commit | 725ce6746ebcd76fc3a8c7aa3248805493d71fa0 (patch) | |
| tree | 8292403aa4aeb15da4f89189e97210b353704140 /tests/insert.ur | |
| parent | 8443e6fb491fa8c8877e53e6548e2fca401e24d5 (diff) | |
Elaborated 'insert'
Diffstat (limited to 'tests/insert.ur')
| -rw-r--r-- | tests/insert.ur | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/insert.ur b/tests/insert.ur new file mode 100644 index 00000000..58db4ef1 --- /dev/null +++ b/tests/insert.ur @@ -0,0 +1,5 @@ +table t1 : {A : int, B : string, C : float, D : bool} + +fun main () : transaction page = + () <- dml (insert t1 {A = 5, B = "6", C = 7.0, D = True}); + return <html><body>Inserted.</body></html> |