From 3374034bbfd1bc735bb171b450d53d86587c6259 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Tue, 29 Nov 2005 17:08:08 +0000
Subject: [PATCH] Transfer: support printing meta variable values.

---
 src/Transfer/Interpreter.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Transfer/Interpreter.hs b/src/Transfer/Interpreter.hs
index 78b004c8d..d7783a96c 100644
--- a/src/Transfer/Interpreter.hs
+++ b/src/Transfer/Interpreter.hs
@@ -186,6 +186,7 @@ valueToExp v =
            VClos env e  -> e
            VCons c vs -> foldl EApp (EVar c) (map valueToExp vs)
            VPrim _    -> EVar (CIdent "<<primitive>>") -- FIXME: what to return here?
+           VMeta n    -> EMeta $ TMeta $ "?" ++ show n
 
 --
 -- * Pretty printing of values