diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/include/token.H | 17 | ||||
-rw-r--r-- | src/syntax/token.cc | 6 |
2 files changed, 0 insertions, 23 deletions
diff --git a/src/include/token.H b/src/include/token.H index 40b5dd11..f9fbe873 100644 --- a/src/include/token.H +++ b/src/include/token.H @@ -176,23 +176,6 @@ namespace OpenAxiom { unindent_tv, // new line indentation, less than previous justify_tv, // align indentation with preceding line. }; - - // -- Representation of a token - struct Rep { - Value value; - Input::Span span; - Input::Line line; - }; - - // -- Random access stream of tokens. - struct Stream : std::vector<Rep> { - Stream(Stream&&) = default; - Stream(const Stream&) = delete; - Stream& operator=(const Stream&) = delete; - }; - - // Inserting a token into a stream. - Stream& operator<<(Stream&, const Rep&); } } diff --git a/src/syntax/token.cc b/src/syntax/token.cc index 4f7bae29..297ca416 100644 --- a/src/syntax/token.cc +++ b/src/syntax/token.cc @@ -33,12 +33,6 @@ #include <open-axiom/token> namespace OpenAxiom { - token::Stream& - token::operator<<(token::Stream& s, const token::Rep& t) { - s.push_back(t); - return s; - } - namespace token { struct Keyword { const char* const key; |