From 87dbd44f39812a80c05bd5275107311f0794e16a Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Mon, 14 Mar 2011 01:46:43 -0700 Subject: [PATCH] ToString instance for HaskCore --- src/HaskCore.v | 3 +++ 1 file changed, 3 insertions(+) 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 -- 1.7.10.4