summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-30 14:36:48 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-30 14:36:48 -0400
commitd321a012ed51bf14ce6271198ccb29784efb7bd5 (patch)
tree797f3a4f11f0165ecee54b4870006be56399838d /tests
parente0f5b40bb999cf78e9ad479d8004cf00ed7b3059 (diff)
time type
Diffstat (limited to 'tests')
-rw-r--r--tests/time.ur3
-rw-r--r--tests/time.urp3
-rw-r--r--tests/time.urs1
3 files changed, 7 insertions, 0 deletions
diff --git a/tests/time.ur b/tests/time.ur
new file mode 100644
index 00000000..393939e9
--- /dev/null
+++ b/tests/time.ur
@@ -0,0 +1,3 @@
+val now : time = readError "10/30/08 14:35:42"
+
+fun main () = return <xml>{[now]}</xml>
diff --git a/tests/time.urp b/tests/time.urp
new file mode 100644
index 00000000..f48698e9
--- /dev/null
+++ b/tests/time.urp
@@ -0,0 +1,3 @@
+debug
+
+time
diff --git a/tests/time.urs b/tests/time.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/time.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page