added command ai which prints information about given identifier

1 files changed, 6 insertions, 5 deletions

diff --git a/src/PGF/Type.hs b/src/PGF/Type.hs
index fec8c0ff2..8c513ffd4 100644
--- a/src/PGF/Type.hs
+++ b/src/PGF/Type.hs
@@ -1,6 +1,6 @@
 module PGF.Type ( Type(..), Hypo(..),

                   readType, showType,

-                  pType, ppType ) where

+                  pType, ppType, ppHypo ) where

 

 import PGF.CId

 import PGF.Expr

@@ -67,12 +67,13 @@ ppType d (DTyp ctxt cat args)
   | null ctxt = ppRes cat args

   | otherwise = ppParens (d > 0) (foldr ppCtxt (ppRes cat args) ctxt)

   where

-    ppCtxt (Hyp x typ) doc

-      | x == wildCId = ppType 1 typ PP.<+> PP.text "->" PP.<+> doc

-      | otherwise    = PP.parens (PP.text (prCId x) PP.<+> PP.char ':' PP.<+> ppType 0 typ) PP.<+> PP.text "->" PP.<+> doc

-

+    ppCtxt hyp doc = ppHypo hyp PP.<+> PP.text "->" PP.<+> doc

     ppRes cat es = PP.text (prCId cat) PP.<+> PP.hsep (map (ppExpr 2) es)

 

+ppHypo (Hyp x typ)

+  | x == wildCId = ppType 1 typ

+  | otherwise    = PP.parens (PP.text (prCId x) PP.<+> PP.char ':' PP.<+> ppType 0 typ)

+

 ppParens :: Bool -> PP.Doc -> PP.Doc

 ppParens True  = PP.parens

 ppParens False = id