compact printing of gf files

This commit is contained in:
aarne
2007-09-20 21:51:54 +00:00
parent 46013f103c
commit 6e4104ffa9
5 changed files with 34 additions and 2 deletions

View File

@@ -107,8 +107,15 @@ trAnyDef (i,info) = let i' = tri i in case info of
CncFun _ ptr ppr ->
[P.DefLin [trDef i' nope ptr]]
---- P.DefPrintFun [P.PrintDef i' (trt pr)]]
{-
---- encoding of AnyInd without changing syntax. AR 20/9/2007
AnyInd s b ->
[P.DefOper [P.DDef [mkName i]
(P.EApp (P.EInt (if s then 1 else 0)) (P.EIdent (tri b)))]]
-}
_ -> []
trDef :: Ident -> Perh Type -> Perh Term -> P.Def
trDef i pty ptr = case (pty,ptr) of
(Nope, Nope) -> P.DDef [mkName i] (P.EMeta) ---
@@ -243,4 +250,4 @@ trLabelIdent i = identC $ case i of
LVar i -> "v" ++ show i --- should not happen
mkName :: Ident -> P.Name
mkName = P.IdentName
mkName = P.IdentName