From 496433cdd2f108b483e4762776dfe1305c466eee Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 18 Dec 2010 10:56:31 -0500 Subject: postBody type --- tests/post.ur | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 tests/post.ur (limited to 'tests/post.ur') diff --git a/tests/post.ur b/tests/post.ur new file mode 100644 index 00000000..4cee7a45 --- /dev/null +++ b/tests/post.ur @@ -0,0 +1,5 @@ +fun callMe n s pb = return + n = {[n]}
+ s = {[s]}
+ pb : {[postType pb]} = {[postData pb]} + -- cgit v1.2.3