Opened 8 years ago

Last modified 8 years ago

#61 closed defect

Polymorphic type disallowed in structure definition — at Version 1

Reported by: pabuhr Owned by: Rob
Priority: minor Component: cfa-cc
Version: 1.0 Keywords:
Cc:

Description (last modified by Rob Schluntz) 

forall( otype T )
int foo( T i ) {
	struct S { T j; };  // T disallowed
	S s;
}

cfa test.c
CFA Version 1.0.0 (debug)
test.c:32:1 error: No reasonable alternatives for expression Applying untyped: 
  Name: ?{}
...to: 
  Cast of:
    Variable Expression: s: instance of struct S with body 1 
  ... to:
    reference to instance of struct S with body 1

Change History (1)

comment:1 by Rob Schluntz, 8 years ago

Description: modified (diff)
Note: See TracTickets for help on using tickets.