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
commit1841f3b75ec441d16d289cb768526c374f16960a (patch)
treeba523b94cf3cd06fdc212a16b0ae735ad2d11aa9 /tests
parent627c93b9779f632bd8d90e7e2de26a5a9c197f08 (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