Opened 5 years ago

Last modified 7 weeks ago

#222 closed defect

Empty parameter list in nested forall clause generates unused parameter — at Initial Version

Reported by: f37yu Owned by:
Priority: major Component: cfa-cc
Version: 1.0 Keywords:
Cc:

Description

`
forall (dtype T) {

forall ( | {void foo (T *); }) void bar (T *);

}

this declaration is parsed as

`
forall (dtype T, dtype anonymous | {void foo (T *); }) ...

causes a wrong cost at resolution.

Change History (0)

Note: See TracTickets for help on using tickets.