diff options
Diffstat (limited to 'src/GF/Printing/PrintSimplifiedTerm.hs')
| -rw-r--r-- | src/GF/Printing/PrintSimplifiedTerm.hs | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/GF/Printing/PrintSimplifiedTerm.hs b/src/GF/Printing/PrintSimplifiedTerm.hs index 9425f6f4d..bde186549 100644 --- a/src/GF/Printing/PrintSimplifiedTerm.hs +++ b/src/GF/Printing/PrintSimplifiedTerm.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/03/21 14:17:44 $ +-- > CVS $Date: 2005/03/29 11:17:56 $ -- > CVS $Author: peb $ --- > CVS $Revision: 1.1 $ +-- > CVS $Revision: 1.2 $ -- -- Instances for printing terms in a simplified format ----------------------------------------------------------------------------- @@ -19,6 +19,7 @@ import AbsGFC import CF import CFIdent import GF.Printing.PrintParser +import qualified PrintGFC as P instance Print Term where prt (Arg arg) = prt arg @@ -100,6 +101,10 @@ instance Print CFCat where instance Print CFFun where prt (CFFun fun) = prt (fst fun) +instance Print Exp where + prt = P.printTree + + sizeCT :: CType -> Int sizeCT (RecType rt) = 1 + sum [ sizeCT t | _ `Lbg` t <- rt ] sizeCT (Table pt vt) = 1 + sizeCT pt + sizeCT vt |
