complete showPGF

2021-11-17 14:03:04 +01:00
parent 6295b32405
commit 070f63a049
7 changed files with 343 additions and 16 deletions
--- a/src/runtime/c/pgf/printer.h
+++ b/src/runtime/c/pgf/printer.h
@@ -50,6 +50,10 @@ public:

    void hypo(PgfTypeHypo *hypo, int prio);

+    void parg(ref<PgfDTyp> ty, ref<PgfPArg> parg);
+    void lparam(ref<PgfLParam> lparam);
+    void symbol(PgfSymbol sym);
+
    virtual PgfExpr eabs(PgfBindType btype, PgfText *name, PgfExpr body);
    virtual PgfExpr eapp(PgfExpr fun, PgfExpr arg);
    virtual PgfExpr elit(PgfLiteral lit);