summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 09:21:34 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 09:21:34 -0500
commitd7bd7d38e8f785b7366495ce977379929e5eb913 (patch)
treeba523b94cf3cd06fdc212a16b0ae735ad2d11aa9 /tests
parenteaa8aa9f310d95a31747ea4c81ee1013c1734a7d (diff)
Monoizing FFI transactions correctly
Diffstat (limited to 'tests')
-rw-r--r--tests/reqheader.ur5
-rw-r--r--tests/reqheader.urp3
2 files changed, 8 insertions, 0 deletions
diff --git a/tests/reqheader.ur b/tests/reqheader.ur
new file mode 100644
index 00000000..8b69cc3a
--- /dev/null
+++ b/tests/reqheader.ur
@@ -0,0 +1,5 @@
+fun main () : transaction page =
+ ua <- requestHeader "UserAgent";
+ case ua of
+ None => return <xml>Not found</xml>
+ | Some s => return <xml>UserAgent: {[s]}</xml>
diff --git a/tests/reqheader.urp b/tests/reqheader.urp
new file mode 100644
index 00000000..4541390f
--- /dev/null
+++ b/tests/reqheader.urp
@@ -0,0 +1,3 @@
+debug
+
+reqheader