Handle '(void)' in function typedefs.

[ascherer]

MWE

For whatever reason, tostring_func is recognized as a type (bold), while print_func is not (italic).

@* Pointer-to-function types.

@s MP int
@s mp_number int

@c @2
typedef void (*print_func) (MP mp, mp_number A);

@ @c
typedef char * (*tostring_func) (MP mp, mp_number A);

@* Index.

Debug output

Tracing after l. 9:
@ 
109:*typedef exp ( +ubinop?+ exp...
104: typedef*exp ( +ubinop+ exp ) (...
18: typedef*exp ( +exp+ ) (...
11:*typedef exp +exp+ (...
10:*typedef +exp+ ( raw...
110:*typedef +exp+ ( int exp +,+ raw...
27: typedef +exp+*( -decl_head- exp +,+ raw...
35: typedef +exp+*( -decl_head- +,+ raw...
14: typedef*+exp+ -(+ raw...
110:*typedef +exp+ -(+ int exp ) ;...
27: typedef +exp+*-(+ -decl_head- exp ) ;...
35: typedef +exp+*-(+ -decl_head- ) ;...
13:*typedef +exp+ -cast- ;...
0: typedef*+exp+ -cast- -;-
10:*typedef +exp- -;-
117:*-typedef- -;-
119:*-decl-
Tracing after l. 12:
@*
110:*typedef int +ubinop?+ ( +ubinop?+...
116:*-typedef- +ubinop?+ ( +ubinop?+...
104:*-typedef- +ubinop+ ( +ubinop?+ exp...
104: -typedef-*+ubinop+ ( +ubinop+ exp ) (...
18: -typedef-*+ubinop+ ( +exp+ ) (...
11:*-typedef- +ubinop+ +exp+ (...
18:*-typedef- +exp+ ( raw...
110:*-typedef- +exp+ ( int exp +,+ raw...
27: -typedef- +exp+*( -decl_head- exp +,+ raw...
35: -typedef- +exp+*( -decl_head- +,+ raw...
14: -typedef-*+exp+ -(+ raw...
110:*-typedef- +exp+ -(+ int exp ) ;...
27: -typedef- +exp+*-(+ -decl_head- exp ) ;...
35: -typedef- +exp+*-(+ -decl_head- ) ;...
13:*-typedef- +exp+ -cast- ;...
0: -typedef-*+exp+ -cast- -;-
10:*-typedef- +exp- -;-
117:*-typedef- -;-
119:*-decl-

(Did you see the warning message above?)

Woven output

func_typedef.pdf

[ascherer]

RTFM! This issue with pointer-to-function type definitions is nicely handled in the description of the @[ and @] control codes in cwebman.tex.