mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-22 01:22:51 -06:00
Transfer: support printing meta variable values.
This commit is contained in:
@@ -186,6 +186,7 @@ valueToExp v =
|
|||||||
VClos env e -> e
|
VClos env e -> e
|
||||||
VCons c vs -> foldl EApp (EVar c) (map valueToExp vs)
|
VCons c vs -> foldl EApp (EVar c) (map valueToExp vs)
|
||||||
VPrim _ -> EVar (CIdent "<<primitive>>") -- FIXME: what to return here?
|
VPrim _ -> EVar (CIdent "<<primitive>>") -- FIXME: what to return here?
|
||||||
|
VMeta n -> EMeta $ TMeta $ "?" ++ show n
|
||||||
|
|
||||||
--
|
--
|
||||||
-- * Pretty printing of values
|
-- * Pretty printing of values
|
||||||
|
|||||||
Reference in New Issue
Block a user