X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2FHaskCore.v;h=244139aee9a71a399113787ee6612f53968900bf;hb=ab2e0681a81695cc2380b007f2a3314005ec1c99;hp=3d5f860c073a34019f467f3d8b55bda6ac60b4ea;hpb=bcb16a7fa1ff772f12807c4587609fd756b7762e;p=coq-hetmet.git

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