From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 14 Mar 2011 08:46:43 +0000 (-0700)
Subject: ToString instance for HaskCore
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=87dbd44f39812a80c05bd5275107311f0794e16a

ToString instance for HaskCore
---

diff --git a/src/HaskCore.v b/src/HaskCore.v
index 3d5f860..244139a 100644
--- a/src/HaskCore.v
+++ b/src/HaskCore.v
@@ -48,4 +48,7 @@ Variable hetmet_brak_name   : CoreName.              Extract Inlined Constant he
 (* the magic wired-in name for the modal type elimination form *)
 Variable hetmet_esc_name    : CoreName.              Extract Inlined Constant hetmet_esc_name  => "PrelNames.hetmet_esc_name".
 
+Variable coreExprToString : @CoreExpr CoreVar -> string.  Extract Inlined Constant coreExprToString => "outputableToString".
 
+Instance CoreExprToString : ToString (@CoreExpr CoreVar) :=
+  { toString := coreExprToString }.
\ No newline at end of file