diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-29 17:08:08 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-29 17:08:08 +0000 |
| commit | 3374034bbfd1bc735bb171b450d53d86587c6259 (patch) | |
| tree | 4350883f1ba8f23e21f835c719e6eb612f56b170 /src/Transfer/Interpreter.hs | |
| parent | c756b75ad8a995ac042c9aab2ce3c602c13a6da4 (diff) | |
Transfer: support printing meta variable values.
Diffstat (limited to 'src/Transfer/Interpreter.hs')
| -rw-r--r-- | src/Transfer/Interpreter.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |