From 48bc98e014fd0c21ca75017bf689e8e6e80f54e3 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Mon, 14 Mar 2011 15:10:01 -0700 Subject: [PATCH] fix ToString instance for Kind --- src/HaskKinds.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/HaskKinds.v b/src/HaskKinds.v index 583bb86..1452045 100644 --- a/src/HaskKinds.v +++ b/src/HaskKinds.v @@ -29,7 +29,7 @@ Fixpoint kindToString (k:Kind) : string := | KindTypeFunction k1 k2 => "("+++kindToString k1+++")=>"+++kindToString k2 | KindUnliftedType => "#" | KindUnboxedTuple => "(#)" - | KindArgType => "?" + | KindArgType => "??" | KindOpenType => "?" end. Instance KindToString : ToString Kind := { toString := kindToString }. -- 1.7.10.4