aboutsummaryrefslogtreecommitdiffstats
path: root/src/lift.cpp
AgeCommit message (Expand)AuthorFilesLines
2010-12-09Add let form.David Robillard1-1/+33
2010-12-09Fix indentation.David Robillard1-4/+2
2010-12-09Sort code.David Robillard1-39/+41
2010-12-09Make environment always referenced by symbols.David Robillard1-4/+3
2010-12-07Saner recursive descent lexer/parser.David Robillard1-3/+1
2010-12-05Simplify parser.David Robillard1-3/+1
2010-12-04More const-correctness (remove all use of const_cast from lift.cpp).David Robillard1-38/+34
2010-12-04More const-correctness.David Robillard1-12/+15
2010-12-04Make resp_lift const-correct.David Robillard1-9/+9
2010-12-04Eliminate tuple/list mutation.David Robillard1-40/+43
2010-12-03Remove use of RTTI for AST.David Robillard1-20/+22
2010-12-03Remove AST::constrain.David Robillard1-4/+4
2010-12-03Merge ACall and ATuple.David Robillard1-14/+14
2010-12-03Remove AFn.David Robillard1-22/+21
2010-12-03Move AFn and AType prot() methods to ATuple.David Robillard1-3/+3
2010-12-02Remove ACall subclasses.David Robillard1-19/+16
2010-12-02Remove use of ACall type hierarchy from lift phase.David Robillard1-32/+20
2010-12-02Remove use of ACall subclasses for contrain phase.David Robillard1-3/+4
2010-12-02Work towards removing different classes for each type of expression.David Robillard1-66/+103
2010-12-02Represent code as list structure (i.e. traditional LISP lists built from pair...David Robillard1-42/+48
2010-11-17Use single uint32_t for GC object header (mark and tag).David Robillard1-1/+1
2010-10-14Prefix internal "me" parameter with underscore.David Robillard1-4/+4
2010-08-19Generalise `cons': a call to any symbol beginning with an uppercase characterDavid Robillard1-5/+6
2010-08-19Add quote to syntax (currently only a lexeme is quotable, no lists...)David Robillard1-0/+6
2010-04-13Better (but still not correct...) computation of lifted function implementati...David Robillard1-5/+18
2010-04-13Better error reporting when unification fails (report both locations, and pre...David Robillard1-1/+0
2010-04-13Restructure as a source translation based compiler.David Robillard1-29/+159
2010-04-08Exception specifiers.David Robillard1-13/+9
2010-04-08Tuplr -> Resp (RESource Processing).David Robillard1-5/+5
2009-10-16. operator for destructuring Tuples (cons).David Robillard1-0/+6
2009-10-15Remove all use of ATuple::at().David Robillard1-9/+9
2009-10-15Replace more use of at(0) with head().David Robillard1-3/+3
2009-10-15Make TEnv purely a type environment.David Robillard1-1/+1
2009-10-13liftCall -> compileFunction.David Robillard1-2/+2
2009-10-08Move lifting pass to separate file.David Robillard1-0/+78