diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2011-11-29 12:12:51 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2011-11-29 12:12:51 +0000 |
| commit | fffc5f2507e3adb2e3e6c780f94f5a68e7cb59f6 (patch) | |
| tree | e91e1f9fe84b3fdab78cf227774aeef52fb77b3d /src/compiler/GF/Grammar | |
| parent | 1dd5af772974a2055b63148ebc542fe22c0021b1 (diff) | |
Sketch of the new type checker for the concrete syntax. Enabled only with -new-comp
Diffstat (limited to 'src/compiler/GF/Grammar')
| -rw-r--r-- | src/compiler/GF/Grammar/Printer.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs index fe5fe8803..08d70928c 100644 --- a/src/compiler/GF/Grammar/Printer.hs +++ b/src/compiler/GF/Grammar/Printer.hs @@ -19,6 +19,7 @@ module GF.Grammar.Printer , ppConstrs
, ppLocation
, ppQIdent
+ , ppMeta
) where
import GF.Infra.Ident
@@ -26,6 +27,7 @@ import GF.Infra.Option import GF.Grammar.Values
import GF.Grammar.Grammar
+import PGF.Expr (ppMeta)
import PGF.Printer (ppFId, ppFunId, ppSeqId, ppSeq)
import Text.PrettyPrint
@@ -212,7 +214,7 @@ ppTerm q d (Sort id) = ppIdent id ppTerm q d (K s) = str s
ppTerm q d (EInt n) = int n
ppTerm q d (EFloat f) = double f
-ppTerm q d (Meta _) = char '?'
+ppTerm q d (Meta i) = ppMeta i
ppTerm q d (Empty) = text "[]"
ppTerm q d (R []) = text "<>" -- to distinguish from {} empty RecType
ppTerm q d (R xs) = braces (fsep (punctuate semi [ppLabel l <+>
|