summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 09:50:19 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 09:50:19 -0400
commitf750e27d0e16da032227dbc71ecb7c63f5b77bc7 (patch)
treec1cd77d3f82dedbd270450204612186c547a83e8 /tests
parent4f6178266ffe0bf5423878b46486b82c19a56810 (diff)
Binops; equality tested on int; lame 404 substitute
Diffstat (limited to 'tests')
-rw-r--r--tests/eq.ur11
-rw-r--r--tests/eq.urp3
2 files changed, 7 insertions, 7 deletions
diff --git a/tests/eq.ur b/tests/eq.ur
index 14c50e3a..1a780a57 100644
--- a/tests/eq.ur
+++ b/tests/eq.ur
@@ -1,7 +1,4 @@
-val b1 = 1 = 1
-val b2 = "Good" = "Bad"
-
-fun eq_pair (t1 :: Type) (t2 :: Type) (eq1 : eq t1) (eq2 : eq t2) (x : t1 * t2) (y : t1 * t2) =
- x.1 = y.1
-
-val b3 = True <> False
+fun main () : transaction page = return <xml><body>
+ {txt _ (1 = 1)}, {txt _ (1 = 2)}<br/>
+ {txt _ (1 <> 1)}, {txt _ (1 <> 2)}
+</body></xml>
diff --git a/tests/eq.urp b/tests/eq.urp
new file mode 100644
index 00000000..948e8684
--- /dev/null
+++ b/tests/eq.urp
@@ -0,0 +1,3 @@
+debug
+
+eq