From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 14 Mar 2011 22:10:01 +0000 (-0700)
Subject: fix ToString instance for Kind
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=48bc98e014fd0c21ca75017bf689e8e6e80f54e3

fix ToString instance for Kind
---

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 }.