aboutsummaryrefslogtreecommitdiffhomepage
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
commitc71de1db0cf31466bfc5fe7e96021e5d3cba6979 (patch)
tree294baafc0fd3480fdce266c71f27090164d2114c /tests/post.urs
parentf08b20b1ecc66389fc6a829cf3819b3b38b07c48 (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