Age | Commit message (Expand) | Author | Files | Lines |
2010-12-29 | Destructuring (i.e. working `match'). | David Robillard | 1 | -1/+11 |
2010-12-29 | Literal lists (i.e. list quoting). | David Robillard | 1 | -8/+21 |
2010-12-28 | Use fst ("first") instead of head and rst ("rest") instead of tail. | David Robillard | 1 | -5/+5 |
2010-12-28 | Add quote form, to allow expressions literal symbols and lists (lists not yet... | David Robillard | 1 | -0/+13 |
2010-12-27 | Remove weird __tag_is form by adding a T_LITSYM type and using = operator. | David Robillard | 1 | -0/+1 |
2010-12-27 | Kill AType. | David Robillard | 1 | -43/+40 |
2010-12-26 | More sensible check for Fn type. | David Robillard | 1 | -3/+1 |
2010-12-26 | Update headers. | David Robillard | 1 | -2/+2 |
2010-12-09 | Fix cpplint warnings. | David Robillard | 1 | -0/+2 |
2010-12-09 | Add let form. | David Robillard | 1 | -0/+33 |
2010-12-09 | Sort code. | David Robillard | 1 | -114/+114 |
2010-12-09 | Make environment always referenced by symbols. | David Robillard | 1 | -6/+6 |
2010-12-08 | Clean up function compilation stuff. | David Robillard | 1 | -1/+1 |
2010-12-07 | Saner recursive descent lexer/parser. | David Robillard | 1 | -12/+0 |
2010-12-04 | More const-correctness (remove all use of const_cast). | David Robillard | 1 | -9/+9 |
2010-12-03 | Remove use of RTTI for AST. | David Robillard | 1 | -22/+24 |
2010-12-03 | Merge AST::operator== | David Robillard | 1 | -0/+1 |
2010-12-03 | Remove AST::constrain. | David Robillard | 1 | -54/+61 |
2010-12-03 | Merge ACall and ATuple. | David Robillard | 1 | -24/+12 |
2010-12-03 | Remove AFn. | David Robillard | 1 | -9/+13 |
2010-12-02 | Remove ACall subclasses. | David Robillard | 1 | -55/+57 |
2010-12-02 | Remove use of ACall subclasses for contrain phase. | David Robillard | 1 | -108/+140 |
2010-12-02 | Work towards removing different classes for each type of expression. | David Robillard | 1 | -4/+4 |
2010-12-02 | Represent code as list structure (i.e. traditional LISP lists built from pair... | David Robillard | 1 | -51/+56 |
2010-09-30 | Preliminary work on algebraic data types and run-time typing. | David Robillard | 1 | -5/+74 |
2010-08-19 | Generalise `cons': a call to any symbol beginning with an uppercase character | David Robillard | 1 | -1/+2 |
2010-08-19 | Add quote to syntax (currently only a lexeme is quotable, no lists...) | David Robillard | 1 | -0/+7 |
2010-08-19 | Coherent AString and Lexeme implementation. | David Robillard | 1 | -0/+6 |
2010-08-18 | Give `def' statements type `Nothing. | David Robillard | 1 | -0/+1 |
2010-04-13 | Better error reporting when unification fails (report both locations, and pre... | David Robillard | 1 | -2/+1 |
2010-04-13 | Restructure as a source translation based compiler. | David Robillard | 1 | -17/+16 |
2010-04-08 | Exception specifiers. | David Robillard | 1 | -11/+11 |
2010-04-08 | Tuplr -> Resp (RESource Processing). | David Robillard | 1 | -5/+5 |
2009-10-16 | Make ellipses a new kind (AType::DOTS). | David Robillard | 1 | -1/+1 |
2009-10-16 | . operator for destructuring Tuples (cons). | David Robillard | 1 | -0/+21 |
2009-10-16 | Cons. | David Robillard | 1 | -0/+12 |
2009-10-15 | Type and const correct Subst::apply. | David Robillard | 1 | -4/+3 |
2009-10-15 | Remove all use of ATuple::at(). | David Robillard | 1 | -30/+43 |
2009-10-15 | Replace use of ATuple::at(0) with ATuple::head(). | David Robillard | 1 | -6/+6 |
2009-10-15 | Clean up function type system. | David Robillard | 1 | -50/+37 |
2009-10-15 | Always use error-checking (and terser) Constraints::constrain over push_back. | David Robillard | 1 | -4/+4 |
2009-10-15 | Make TEnv purely a type environment. | David Robillard | 1 | -6/+5 |
2009-10-14 | Fix compilation (oops). | David Robillard | 1 | -1/+1 |
2009-10-14 | Clean up ACall::constrain and stick to type domain for error reporting. | David Robillard | 1 | -20/+15 |
2009-10-14 | Merge two loops to build parameter types. | David Robillard | 1 | -17/+12 |
2009-10-14 | Remove cruft. | David Robillard | 1 | -11/+7 |
2009-10-13 | Move TEnv::buildSubst to unify.cpp. | David Robillard | 1 | -33/+0 |
2009-10-13 | Remove unnecessary lexical addressing stuff. | David Robillard | 1 | -4/+3 |
2009-10-07 | Remove double lookup. | David Robillard | 1 | -3/+2 |
2009-10-06 | Move argument substitution building from LLVM backend code to generic type code. | David Robillard | 1 | -0/+33 |