diff options
| author | David Robillard <d@drobilla.net> | 2010-12-26 20:25:57 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2010-12-26 20:25:57 +0000 |
| commit | 28e3727290335ee85793795f7ec6d48e050db922 (patch) | |
| tree | b3a20c1f7c2efb1794d4e80b61e5048b1cfbeac2 /src/resp.hpp | |
| parent | aa6a0b6a6553e854be6731e8ebd4306605b00e6e (diff) | |
| download | resp-28e3727290335ee85793795f7ec6d48e050db922.tar.gz resp-28e3727290335ee85793795f7ec6d48e050db922.tar.bz2 resp-28e3727290335ee85793795f7ec6d48e050db922.zip | |
Remove AType::DOTS.
git-svn-id: http://svn.drobilla.net/resp/resp@358 ad02d1e2-f140-0410-9f75-f8b11f17cedd
Diffstat (limited to 'src/resp.hpp')
| -rw-r--r-- | src/resp.hpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/resp.hpp b/src/resp.hpp index 8fa4b9b..bc8c9ae 100644 --- a/src/resp.hpp +++ b/src/resp.hpp @@ -353,7 +353,7 @@ list_contains(const ATuple* head, const AST* child) { /// Type Expression, e.g. "Int", "(Fn (Int Int) Float)" struct AType : public ATuple { - enum Kind { VAR, NAME, EXPR, DOTS }; + enum Kind { VAR, NAME, EXPR }; AType(const ASymbol* s, Kind k) : ATuple(s, NULL, s->loc), kind(k), id(0) { tag(T_TYPE); } AType(Cursor c, unsigned i) : ATuple(c), kind(VAR), id(i) { tag(T_TYPE); } AType(Cursor c, Kind k=EXPR) : ATuple(c), kind(k), id(0) { tag(T_TYPE); } @@ -454,7 +454,6 @@ AST::operator==(const AST& rhs) const case AType::VAR: return me->id == rt->id; case AType::NAME: return me->head()->str() == rt->head()->str(); case AType::EXPR: return list_equals(me, rt); - case AType::DOTS: return true; } } return false; // never reached @@ -638,7 +637,7 @@ struct TEnv : public Env<const AType*> { : penv(p) , varID(1) , Closure(new AType(penv.sym("Closure"), AType::NAME)) - , Dots(new AType(Cursor(), AType::DOTS)) + , Dots(new AType(penv.sym("..."), AType::NAME)) , Fn(new AType(penv.sym("Fn"), AType::NAME)) , Tup(new AType(penv.sym("Tup"), AType::NAME)) , U(new AType(penv.sym("U"), AType::NAME)) |