summaryrefslogtreecommitdiff
path: root/src/GF/Grammar/PrGrammar.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF/Grammar/PrGrammar.hs')
-rw-r--r--src/GF/Grammar/PrGrammar.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Grammar/PrGrammar.hs b/src/GF/Grammar/PrGrammar.hs
index bad356bef..8a203bedc 100644
--- a/src/GF/Grammar/PrGrammar.hs
+++ b/src/GF/Grammar/PrGrammar.hs
@@ -189,6 +189,7 @@ instance Print Val where
prt (VClos env e) = case e of
Meta _ -> prt_ e ++ prEnv env
_ -> prt_ e ---- ++ prEnv env ---- for debugging
+ prt (VRecType xs) = prCurly (concat (intersperse "," [prt l ++ "=" ++ prt v | (l,v) <- xs]))
prt VType = "Type"
prv1 v = case v of