1
0
forked from GitHub/gf-core

bugfix in PGF.VisualizeTree for handling trees with implicit arguments

This commit is contained in:
krasimir
2010-10-13 13:32:48 +00:00
parent 5ff6489013
commit 7fc638e030

View File

@@ -55,10 +55,12 @@ graphvizAbstractTree pgf (funs,cats) = render . tree2graph
getAbs xs (EAbs _ x e) = getAbs (x:xs) e
getAbs xs (ETyped e _) = getAbs xs e
getAbs xs (EImplArg e) = getAbs xs e
getAbs xs e = (xs,e)
getApp (EApp x y) es = getApp x (y:es)
getApp (ETyped e _) es = getApp e es
getApp (EImplArg e) es = getApp e es
getApp e es = (e,es)
getLbl scope (EFun f) = let fun = if funs then ppCId f else empty