[Barrelfish-users] Using arrays in Flounder

[Lucian Cojocar]

Hi,

I'm trying to define the following interface:

interface itest "The interface"
{
	typedef uint32 msg_t[16];
	typedef uint32 msg_type_t;

	typedef struct {
		msg_type_t type;
		msg_t msg;
	} message_t;
[...]
};

And I'm getting this error:
"""
error: subscripted value is neither array nor pointer
"""
While compiling the itest_flounder_bindings.c file.

If I use the msg_t *only* in the parameters list of a function, in the
intefarce defintion, it works; but when I use msg_t inside a structure
it fails.

Is this a bug?

Lucian