From eaf65c4e6aec33c3e4855124189d0cfc54e23279 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Wed, 30 Nov 2005 13:20:04 +0000
Subject: [PATCH] Transfer: Ord extends Eq.

---
 transfer/examples/overload.tr | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/transfer/examples/overload.tr b/transfer/examples/overload.tr
index ef610e76b..dafefa203 100644
--- a/transfer/examples/overload.tr
+++ b/transfer/examples/overload.tr
@@ -90,7 +90,8 @@ data Ordering : Type where
 	GT : Ordering
 
 Ord : Type -> Type
-Ord A = sig { compare : A -> A -> Ordering }
+Ord A = sig eq : A -> A -> Bool
+	    compare : A -> A -> Ordering
 
 compare : (A : Type) -> Ord A -> A -> A -> Ordering
 compare _ d = d.compare