From 3ed19a482e796b0a62d234ec9ffd1981d5fee64e Mon Sep 17 00:00:00 2001 From: krasimir Date: Tue, 5 Jan 2010 07:05:41 +0000 Subject: printnames are now kept as String instead of Term in PGF --- src/runtime/haskell/PGF/Data.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/runtime/haskell/PGF/Data.hs') diff --git a/src/runtime/haskell/PGF/Data.hs b/src/runtime/haskell/PGF/Data.hs index 38027e96e..dcdf38dcb 100644 --- a/src/runtime/haskell/PGF/Data.hs +++ b/src/runtime/haskell/PGF/Data.hs @@ -35,7 +35,7 @@ data Concr = Concr { opers :: Map.Map CId Term, -- oper generated by subex elim lincats :: Map.Map CId Term, -- lin type of a cat lindefs :: Map.Map CId Term, -- lin default of a cat - printnames :: Map.Map CId Term, -- printname of a cat or a fun + printnames :: Map.Map CId String, -- printname of a cat or a fun paramlincats :: Map.Map CId Term, -- lin type of cat, with printable param names parser :: Maybe ParserInfo -- parser } -- cgit v1.2.3