checkedc icon indicating copy to clipboard operation
checkedc copied to clipboard

New syntax for generic structs missing.

Open souragc opened this issue 4 months ago • 1 comments

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.

souragc avatar Sep 27 '24 18:09 souragc