From 9a22207b565607db64f95dda5fdc1c9e56224ec9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 1 Nov 2008 17:19:12 -0400
Subject: Fix some type-class detection

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

(limited to 'lib/basis.urs')

diff --git a/lib/basis.urs b/lib/basis.urs
index a344b3ce..ca81c95f 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -56,6 +56,7 @@ val show_float : show float
 val show_string : show string
 val show_bool : show bool
 val show_time : show time
+val mkShow : t ::: Type -> (t -> string) -> show t
 
 class read
 val read : t ::: Type -> read t -> string -> option t
-- 
cgit v1.2.3