From a75aaa90b3b827f9ef002491bc081df36260f136 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 9 Apr 2009 12:31:56 -0400
Subject: Made type class system very general; demo compiles

---
 lib/ur/basis.urs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/ur')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index d69ddfcb..87f20d6b 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -71,7 +71,7 @@ val read_time : read time
 
 (** * Monads *)
 
-class monad :: Type -> Type
+class monad :: (Type -> Type) -> Type
 val return : m ::: (Type -> Type) -> t ::: Type
              -> monad m
              -> t -> m t
-- 
cgit v1.2.3