diff options
author | dos-reis <gdr@axiomatics.org> | 2013-06-22 18:45:49 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-06-22 18:45:49 +0000 |
commit | 309b1c778c8a822e40986eabf1d89c402a59df44 (patch) | |
tree | 738a76820494267d410745cf1d0d95c470979ce9 | |
parent | bb00e7ae1951a75626e0ddeef919a7ebe0434cf3 (diff) | |
download | open-axiom-309b1c778c8a822e40986eabf1d89c402a59df44.tar.gz |
Fix incomplete checking.
-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; |