Age | Commit message (Expand) | Author | Files | Lines |
2010-12-27 | Kill AType. | David Robillard | 1 | -51/+51 |
2010-12-26 | Remove AType::DOTS. | David Robillard | 1 | -3/+11 |
2010-12-26 | Remove AType copy constructor. | David Robillard | 1 | -3/+1 |
2010-12-26 | Update headers. | David Robillard | 1 | -2/+2 |
2010-12-04 | Tidy up unify.cpp | David Robillard | 1 | -8/+3 |
2010-12-04 | More const-correctness (remove all use of const_cast). | David Robillard | 1 | -3/+3 |
2010-12-03 | Remove use of RTTI for AST. | David Robillard | 1 | -12/+12 |
2010-12-02 | Work towards removing different classes for each type of expression. | David Robillard | 1 | -2/+2 |
2010-12-02 | Represent code as list structure (i.e. traditional LISP lists built from pair... | David Robillard | 1 | -24/+22 |
2010-09-30 | Preliminary work on algebraic data types and run-time typing. | David Robillard | 1 | -2/+2 |
2010-04-13 | Better (but still not correct...) computation of lifted function implementati... | David Robillard | 1 | -2/+2 |
2010-04-13 | Better error reporting when unification fails (report both locations, and pre... | David Robillard | 1 | -14/+24 |
2010-04-13 | Restructure as a source translation based compiler. | David Robillard | 1 | -18/+31 |
2010-04-08 | Exception specifiers. | David Robillard | 1 | -9/+8 |
2010-04-08 | Tuplr -> Resp (RESource Processing). | David Robillard | 1 | -5/+5 |
2009-10-17 | Fix ellipses unification logic. | David Robillard | 1 | -3/+2 |
2009-10-16 | Make ellipses a new kind (AType::DOTS). | David Robillard | 1 | -6/+7 |
2009-10-16 | Fix ellipses unification. | David Robillard | 1 | -1/+2 |
2009-10-16 | . operator for destructuring Tuples (cons). | David Robillard | 1 | -1/+5 |
2009-10-15 | Remove some use of ATuple::size(). | David Robillard | 1 | -8/+6 |
2009-10-15 | Remove all use of ATuple::at(). | David Robillard | 1 | -14/+18 |
2009-10-15 | Always use error-checking (and terser) Constraints::constrain over push_back. | David Robillard | 1 | -1/+0 |
2009-10-14 | Clean up ACall::constrain and stick to type domain for error reporting. | David Robillard | 1 | -1/+0 |
2009-10-13 | Move TEnv::buildSubst to unify.cpp. | David Robillard | 1 | -0/+34 |
2009-10-06 | Sanity check. | David Robillard | 1 | -0/+2 |
2009-07-04 | Eliminate AType::var(). | David Robillard | 1 | -2/+2 |
2009-06-29 | Tidy. | David Robillard | 1 | -3/+4 |
2009-06-29 | Normalise EOF. | David Robillard | 1 | -1/+0 |
2009-06-29 | More documentation fixes. | David Robillard | 1 | -6/+9 |
2009-06-29 | Build compiler documentation. | David Robillard | 1 | -4/+4 |
2009-06-28 | write.cpp -> pprint.cpp. | David Robillard | 1 | -0/+7 |
2009-06-28 | Move code into src directory. | David Robillard | 1 | -0/+94 |