diff options
| author | aarne <unknown> | 2004-10-26 11:24:32 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-10-26 11:24:32 +0000 |
| commit | 2b9e31455d5a5e93b5d52945a60a391a5c3adc2c (patch) | |
| tree | 3c38e41adf69a662a7a3db86c0e13c772128919d /src/GF/Grammar/PrGrammar.hs | |
| parent | 24ba5b3b82441ecd9a20f05b7b39071f51c32c03 (diff) | |
work on checking equations
Diffstat (limited to 'src/GF/Grammar/PrGrammar.hs')
| -rw-r--r-- | src/GF/Grammar/PrGrammar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Grammar/PrGrammar.hs b/src/GF/Grammar/PrGrammar.hs index ec01cdab5..08a506611 100644 --- a/src/GF/Grammar/PrGrammar.hs +++ b/src/GF/Grammar/PrGrammar.hs @@ -162,7 +162,7 @@ prBinds bi = if null bi prValDecl (x,t) = prParenth (prt_ x +++ ":" +++ prt_ t) instance Print Val where - prt (VGen i x) = prt x ---- ++ "-$" ++ show i ---- latter part for debugging + prt (VGen i x) = prt x ++ "{-" ++ show i ++ "-}" ---- latter part for debugging prt (VApp u v) = prt u +++ prv1 v prt (VCn mc) = prQIdent_ mc prt (VClos env e) = case e of |