checkedc
checkedc copied to clipboard
New syntax for generic structs missing.
I was playing around with the new syntax for Checked C and it seems generic structs don't have support for it yet.
struct IntSet _For_any(T) {
T *rep;
void (*add)(T *rep, int x);
void (*rem)(T *rep, int x);
int (*find)(T *rep, int x);
};
struct IntSet _TyArgs(struct List) listSet;
The struct definition is taken from the wiki.
Currently, I get the following error:
error: expected a type argument list for a generic struct type
struct IntSet _TyArgs(struct List) listSet;
^
1 error generated.