diff options
Diffstat (limited to 'src/runtime/c/pgf/data.h')
| -rw-r--r-- | src/runtime/c/pgf/data.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/data.h b/src/runtime/c/pgf/data.h index a726519a1..fe339a50b 100644 --- a/src/runtime/c/pgf/data.h +++ b/src/runtime/c/pgf/data.h @@ -71,6 +71,7 @@ typedef struct { typedef GuSeq PgfEquations; typedef struct { + PgfCId name; PgfType* type; int arity; PgfEquations defns; // maybe null @@ -96,6 +97,7 @@ typedef struct { extern GU_DECLARE_TYPE(PgfAbsCat, abstract); typedef struct { + PgfCId name; PgfFlags* aflags; PgfCIdMap* funs; // |-> PgfAbsFun* PgfCIdMap* cats; // |-> PgfAbsCat* @@ -105,7 +107,6 @@ struct PgfPGF { uint16_t major_version; uint16_t minor_version; PgfFlags* gflags; - PgfCId absname; PgfAbstr abstract; PgfCIdMap* concretes; // |-> PgfConcr* GuPool* pool; @@ -223,6 +224,7 @@ typedef struct { typedef GuList(PgfCncFun*) PgfCncFuns; struct PgfConcr { + PgfCId name; PgfFlags* cflags; PgfPrintNames* printnames; GuMap* ccats; |