> Let '#include' die, welcome ‘import'. I see. But, isn't include and import could be orthogonal in bison? It's nice to have common prologues/epilogues, also parts of grammar, as you said. Maybe %include is nice to have feature, before future possible imports? People, who won't be using it, won't get any negative effects.
-- Egor Pugin
