summaryrefslogtreecommitdiff
path: root/tests/post.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-18 10:56:31 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-18 10:56:31 -0500
commit496433cdd2f108b483e4762776dfe1305c466eee (patch)
tree294baafc0fd3480fdce266c71f27090164d2114c /tests/post.urs
parent8f2b2ce3da639c8a140d21a22b0ae67dbbdc649d (diff)
postBody type
Diffstat (limited to 'tests/post.urs')
-rw-r--r--tests/post.urs1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/post.urs b/tests/post.urs
new file mode 100644
index 00000000..5d6e6460
--- /dev/null
+++ b/tests/post.urs
@@ -0,0 +1 @@
+val callMe : int -> string -> postBody -> transaction page