From fffc5f2507e3adb2e3e6c780f94f5a68e7cb59f6 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Tue, 29 Nov 2011 12:12:51 +0000 Subject: Sketch of the new type checker for the concrete syntax. Enabled only with -new-comp --- src/compiler/GF/Grammar/Printer.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/compiler/GF/Grammar') 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 <+> -- cgit v1.2.3