- command_of_macro (G.Inline (floc, kind, uri, prefix, flavour))
+ let params = match flavour with
+ | None -> params
+ | Some flavour -> G.IPAs flavour :: params
+ in
+ let params = match kind with
+ | T.Declarative -> params
+ | T.Procedural -> G.IPProcedural :: params
+ in
+ command_of_macro (G.Inline (floc, uri, params))