iif ii;
vk_define_kind bigf defkind;
vk_define_val bigf defval
- | Undef (s, ii) ->
- iif ii
| PragmaAndCo (ii) ->
iif ii
in f (k, bigf) directive
vk_ii bigf iis;
vk_ii bigf iicomma;
)
+ | Undef -> ()
and vk_define_val bigf defval =
let f = bigf.kdefineval in
pr2_once "DefineTodo";
()
-
| F.Include {i_include = (s, ii);} -> iif ii;
| F.MacroTop (s, args, ii) ->
| Define ((s,ii), (defkind, defval)) ->
Define ((s, iif ii),
(vk_define_kind_s bigf defkind, vk_define_val_s bigf defval))
- | Undef (s, ii) -> Undef (s, iif ii)
| PragmaAndCo (ii) -> PragmaAndCo (iif ii)
in f (k, bigf) top
),
vk_ii_s bigf ii
)
+ | Undef -> Undef
and vk_define_val_s = fun bigf x ->