aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-06-22 18:45:49 +0000
committerdos-reis <gdr@axiomatics.org>2013-06-22 18:45:49 +0000
commit309b1c778c8a822e40986eabf1d89c402a59df44 (patch)
tree738a76820494267d410745cf1d0d95c470979ce9 /src
parentbb00e7ae1951a75626e0ddeef919a7ebe0434cf3 (diff)
downloadopen-axiom-309b1c778c8a822e40986eabf1d89c402a59df44.tar.gz
Fix incomplete checking.
Diffstat (limited to 'src')
-rw-r--r--src/include/token.H17
-rw-r--r--src/syntax/token.cc6
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;