iter.lcl:3:6: Iterator has no yield parameters: noYield iter.c: (in function test) iter.c:9:14: Unrecognized identifier: x iter.c:14:16: Yield parameter shadows local declaration: i iter.c:6:7: Declaration of i iter.c:18:8: Iter intFor not balanced with end_intFor iter.c:14:12: Iter intFor expects arg 2 to be int gets char: c iter.c:20:20: Variable i used before definition iter.c:20:20: Yield parameter is not simple identifier: i + 3 iter.c:24:24: Iter intFor not balanced with end_intFor: end_arrayElements iter.h: (in iter intFor) iter.h:1:27: Parameter ___x name is not consistent with macro variable namespace prefix "m_" iter.h: (in iter arrayElements) iter.h:7:31: Parameter ___x name is not consistent with macro variable namespace prefix "m_" iter.h:7:43: Variable ___c name is not consistent with macro variable namespace prefix "m_" iter.h:7:55: Variable ___b name is not consistent with macro variable namespace prefix "m_" iter.h:8:1: Macro parameter j used in conditionally executed code (may or may not be evaluated exactly once) (in post loop test) iter.lcl:3:6: Iterator noYield specified but not defined iter.lcl:3:6: Iterator finalizer end_noYield specified but not defined Finished checking --- 1 spec warning, as expected 14 code warnings, as expected iter2.c: (in function test) iter2.c:9:14: Unrecognized identifier: x iter2.c:14:16: Yield parameter shadows local declaration: i iter2.c:6:7: Declaration of i iter2.c:17:8: Iter intFor not balanced with end_intFor iter2.c:14:12: Iter intFor expects arg 2 to be int gets char: c iter2.c:19:17: Variable i used before definition iter2.c:19:17: Yield parameter is not simple identifier: i + 3 iter2.c:22:24: Iter intFor not balanced with end_intFor: end_arrayElements iter2.h: (in iter intFor) iter2.h:2:27: Parameter ___x name is not consistent with macro variable namespace prefix "m_" iter2.h: (in iter arrayElements) iter2.h:8:31: Parameter ___x name is not consistent with macro variable namespace prefix "m_" iter2.h:8:43: Variable ___c name is not consistent with macro variable namespace prefix "m_" iter2.h:8:55: Variable ___b name is not consistent with macro variable namespace prefix "m_" iter2.h:9:1: Macro parameter j used in conditionally executed code (may or may not be evaluated exactly once) (in post loop test) Finished checking --- 12 code warnings, as expected