From f750e27d0e16da032227dbc71ecb7c63f5b77bc7 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 09:50:19 -0400 Subject: Binops; equality tested on int; lame 404 substitute --- tests/eq.ur | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'tests/eq.ur') 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 + {txt _ (1 = 1)}, {txt _ (1 = 2)}
+ {txt _ (1 <> 1)}, {txt _ (1 <> 2)} + -- cgit v1.2.3