From efeb64a601c052ed533caee0131befe2c96bb91c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 21 Jul 2012 15:16:57 -0400 Subject: Top.postFields --- tests/formFields.ur | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 tests/formFields.ur (limited to 'tests/formFields.ur') diff --git a/tests/formFields.ur b/tests/formFields.ur new file mode 100644 index 00000000..2dbf2d53 --- /dev/null +++ b/tests/formFields.ur @@ -0,0 +1,3 @@ +fun main (pb : postBody) : transaction page = return + {List.mapX (fn (n, v) =>
  • {[n]} = {[v]}
    • ) (postFields pb)} +     -- cgit v1.2.3