aboutsummaryrefslogtreecommitdiffstats
path: root/src/resp.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/resp.hpp')
-rw-r--r--src/resp.hpp66
1 files changed, 34 insertions, 32 deletions
diff --git a/src/resp.hpp b/src/resp.hpp
index 81574e9..ade7257 100644
--- a/src/resp.hpp
+++ b/src/resp.hpp
@@ -194,10 +194,10 @@ struct AST : public Object {
virtual bool value() const { return true; }
virtual bool operator==(const AST& o) const = 0;
virtual bool contains(const AST* child) const { return false; }
- virtual void constrain(TEnv& tenv, Constraints& c) const {}
+ virtual void constrain(TEnv& tenv, Constraints& c) const throw(Error) {}
virtual AST* cps(TEnv& tenv, AST* cont) const;
- virtual void lift(CEnv& cenv) {}
- virtual CVal compile(CEnv& cenv) = 0;
+ virtual void lift(CEnv& cenv) throw() {}
+ virtual CVal compile(CEnv& cenv) throw() = 0;
string str() const { ostringstream ss; ss << this; return ss.str(); }
template<typename T> T to() { return dynamic_cast<T>(this); }
template<typename T> T const to() const { return dynamic_cast<T const>(this); }
@@ -230,8 +230,8 @@ struct ALiteral : public AST {
const ALiteral<T>* r = rhs.to<const ALiteral<T>*>();
return (r && (val == r->val));
}
- void constrain(TEnv& tenv, Constraints& c) const;
- CVal compile(CEnv& cenv);
+ void constrain(TEnv& tenv, Constraints& c) const throw(Error);
+ CVal compile(CEnv& cenv) throw();
const T val;
};
@@ -239,15 +239,15 @@ struct ALiteral : public AST {
struct AString : public AST, public std::string {
AString(Cursor c, const string& s) : AST(c), std::string(s) {}
bool operator==(const AST& rhs) const { return this == &rhs; }
- void constrain(TEnv& tenv, Constraints& c) const;
- CVal compile(CEnv& cenv) { return NULL; }
+ void constrain(TEnv& tenv, Constraints& c) const throw(Error);
+ CVal compile(CEnv& cenv) throw() { return NULL; }
};
/// Symbol, e.g. "a"
struct ASymbol : public AST {
bool operator==(const AST& rhs) const { return this == &rhs; }
- void constrain(TEnv& tenv, Constraints& c) const;
- CVal compile(CEnv& cenv);
+ void constrain(TEnv& tenv, Constraints& c) const throw(Error);
+ CVal compile(CEnv& cenv) throw();
const string cppstr;
private:
friend class PEnv;
@@ -304,10 +304,10 @@ struct ATuple : public AST {
return true;
return false;
}
- void constrain(TEnv& tenv, Constraints& c) const;
- void lift(CEnv& cenv) { FOREACHP(iterator, t, this) (*t)->lift(cenv); }
+ void constrain(TEnv& tenv, Constraints& c) const throw(Error);
+ void lift(CEnv& cenv) throw() { FOREACHP(iterator, t, this) (*t)->lift(cenv); }
- CVal compile(CEnv& cenv) { throw Error(loc, "tuple compiled"); }
+ CVal compile(CEnv& cenv) throw() { return NULL; }
private:
size_t _len;
@@ -322,7 +322,7 @@ struct AType : public ATuple {
AType(Cursor c, Kind k=EXPR) : ATuple(c), kind(k), id(0) {}
AType(Cursor c, AST* ast, va_list args) : ATuple(c, ast, args), kind(EXPR), id(0) {}
AType(const AType& copy) : ATuple(copy), kind(copy.kind), id(copy.id) {}
- CVal compile(CEnv& cenv) { return NULL; }
+ CVal compile(CEnv& cenv) throw() { return NULL; }
const ATuple* prot() const { assert(kind == EXPR); return (*(begin() + 1))->to<const ATuple*>(); }
ATuple* prot() { assert(kind == EXPR); return (*(begin() + 1))->to<ATuple*>(); }
bool concrete() const {
@@ -395,10 +395,10 @@ inline ostream& operator<<(ostream& out, const Subst& s) {
struct AFn : public ATuple {
AFn(Cursor c, AST* ast, va_list args) : ATuple(c, ast, args) {}
bool operator==(const AST& rhs) const { return this == &rhs; }
- void constrain(TEnv& tenv, Constraints& c) const;
+ void constrain(TEnv& tenv, Constraints& c) const throw(Error);
AST* cps(TEnv& tenv, AST* cont) const;
- void lift(CEnv& cenv);
- CVal compile(CEnv& cenv);
+ void lift(CEnv& cenv) throw();
+ CVal compile(CEnv& cenv) throw();
const ATuple* prot() const { return (*(begin() + 1))->to<const ATuple*>(); }
ATuple* prot() { return (*(begin() + 1))->to<ATuple*>(); }
/// System level implementations of this (polymorphic) fn
@@ -418,10 +418,10 @@ struct AFn : public ATuple {
struct ACall : public ATuple {
ACall(const ATuple* exp) : ATuple(*exp) {}
ACall(Cursor c, AST* ast, va_list args) : ATuple(c, ast, args) {}
- void constrain(TEnv& tenv, Constraints& c) const;
+ void constrain(TEnv& tenv, Constraints& c) const throw(Error);
AST* cps(TEnv& tenv, AST* cont) const;
- void lift(CEnv& cenv);
- CVal compile(CEnv& cenv);
+ void lift(CEnv& cenv) throw();
+ CVal compile(CEnv& cenv) throw();
};
/// Definition special form, e.g. "(def x 2)"
@@ -440,32 +440,32 @@ struct ADef : public ACall {
}
const AST* body() const { return *(begin() + 2); }
AST* body() { return *(begin() + 2); }
- void constrain(TEnv& tenv, Constraints& c) const;
+ void constrain(TEnv& tenv, Constraints& c) const throw(Error);
AST* cps(TEnv& tenv, AST* cont) const;
- void lift(CEnv& cenv);
- CVal compile(CEnv& cenv);
+ void lift(CEnv& cenv) throw();
+ CVal compile(CEnv& cenv) throw();
};
/// Conditional special form, e.g. "(if cond thenexp elseexp)"
struct AIf : public ACall {
AIf(const ATuple* exp) : ACall(exp) {}
AIf(Cursor c, AST* ast, va_list args) : ACall(c, ast, args) {}
- void constrain(TEnv& tenv, Constraints& c) const;
+ void constrain(TEnv& tenv, Constraints& c) const throw(Error);
AST* cps(TEnv& tenv, AST* cont) const;
- CVal compile(CEnv& cenv);
+ CVal compile(CEnv& cenv) throw();
};
struct ACons : public ACall {
ACons(const ATuple* exp) : ACall(exp) {}
- void constrain(TEnv& tenv, Constraints& c) const;
- CVal compile(CEnv& cenv);
+ void constrain(TEnv& tenv, Constraints& c) const throw(Error);
+ CVal compile(CEnv& cenv) throw();
};
struct ADot : public ACall {
ADot(const ATuple* exp) : ACall(exp) {}
- void constrain(TEnv& tenv, Constraints& c) const;
- void lift(CEnv& cenv);
- CVal compile(CEnv& cenv);
+ void constrain(TEnv& tenv, Constraints& c) const throw(Error);
+ void lift(CEnv& cenv) throw();
+ CVal compile(CEnv& cenv) throw();
};
/// Primitive (builtin arithmetic function), e.g. "(+ 2 3)"
@@ -478,9 +478,9 @@ struct APrimitive : public ACall {
return false;;
return true;
}
- void constrain(TEnv& tenv, Constraints& c) const;
+ void constrain(TEnv& tenv, Constraints& c) const throw(Error);
AST* cps(TEnv& tenv, AST* cont) const;
- CVal compile(CEnv& cenv);
+ CVal compile(CEnv& cenv) throw();
};
@@ -578,8 +578,10 @@ struct Constraint : public pair<AType*,AType*> {
/// Type constraint set
struct Constraints : public list<Constraint> {
+ Constraints() : list<Constraint>() {}
+ Constraints(const_iterator begin, const_iterator end) : list<Constraint>(begin, end) {}
void constrain(TEnv& tenv, const AST* o, AType* t);
- void replace(AType* s, AType* t);
+ Constraints& replace(AType* s, AType* t);
};
inline ostream& operator<<(ostream& out, const Constraints& c) {
generated by cgit v1.2.1 (git 2.18.0) at 2025-04-03 04:17:16 +0000