diff options
Diffstat (limited to 'src/boot/bemol.cc')
-rw-r--r-- | src/boot/bemol.cc | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/boot/bemol.cc b/src/boot/bemol.cc index bff97039..34870e13 100644 --- a/src/boot/bemol.cc +++ b/src/boot/bemol.cc @@ -231,14 +231,18 @@ operator<<(std::ostream& os, const BemolToken& t) { return os; } +using TokenSequence = OpenAxiom::TokenStream<BemolToken>; + +// -- + static void translate_source_file(SourceInput& src, std::ostream& out, const char* path) { while (auto f = src.get()) { out << "================================================\n"; out << f; - OpenAxiom::TokenStream<Fragment, BemolToken> ts { f }; try { - while (auto t = ts.get(OpenAxiom::Language::Boot)) { + TokenSequence ts { f, OpenAxiom::Language::Boot }; + for (auto& t : ts) { out << '\t' << t; switch (t.category) { case TokenCategory::Junk: |