id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
107	task/waitfor tuple problem	pabuhr	Thierry	"EDIT: new smaller repro code is :
{{{
#include <monitor.hfa>

monitor Gortn {};
[void] mem3( Gortn & mutex gortn, [int, int] m ) {}
}}}

OLD:
It has something to do with the tuple.
{{{
#include <thread.hfa>

thread Gortn {};
[void] mem3( Gortn & mutex gortn, [int, int] m ) {}

void main( Gortn & gortn ) {
	waitfor( mem3, gortn );
}
}}}
{{{
cfa test1.c
CFA Version 1.0.0 (debug)
error: Managed object's initializer is too deep __guard: instance of struct monitor_guard_t with body 1  with initializer (maybe constructed)
  Compound initializer: 
    Simple Initializer: Variable Expression: __monitors: array of pointer to instance of struct monitor_desc with body 1  with dimension of constant expression (1 1: unsigned long int)
    ... with environment:
      Types:
      Non-types:

    Simple Initializer: constant expression (1 1: unsigned long int)
    Simple Initializer: Cast of:
      Variable Expression: mem3: function
      ... with parameters
        gortn: mutex reference to instance of struct Gortn with body 1 
        m: tuple of types
          signed int
          signed int

      ... returning nothing 

    ... to:
      function
        accepting unspecified arguments
      ... returning nothing 
}}}"	defect	assigned	minor	cfa-cc	1.0