summaryrefslogtreecommitdiff
path: root/tests/eq.ur
diff options
context:
space:
mode:
Diffstat (limited to 'tests/eq.ur')
-rw-r--r--tests/eq.ur11
1 files changed, 4 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>