aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2010-12-05Remove cruft.David Robillard1-26/+8
2010-12-05Move resp_gc.cpp contents into gc.cpp.David Robillard3-50/+29
2010-12-05Check constructors first (implying no special forms start with an uppercase l...David Robillard1-3/+3
2010-12-05Simplify parser.David Robillard3-31/+21
2010-12-05Remove worthless "macro" system.David Robillard2-67/+40
2010-12-04Tidy up unify.cppDavid Robillard2-8/+8
2010-12-04More const-correctness (remove all use of const_cast).David Robillard8-45/+45
2010-12-04More const-correctness (remove all use of const_cast from lift.cpp).David Robillard2-49/+43
2010-12-04More const-correctness.David Robillard2-15/+18
2010-12-04Make resp_lift const-correct.David Robillard3-21/+24
2010-12-04Eliminate tuple/list mutation.David Robillard2-86/+47
2010-12-04Tidy.David Robillard1-11/+7
2010-12-04Use saner numeric values for tags.David Robillard1-9/+10
2010-12-03Remove use of RTTI for AST.David Robillard13-216/+254
2010-12-03Merge AST::operator==David Robillard2-40/+75
2010-12-03Make AString, ALexeme, and ASymbol all contain (rather than inherit from) std...David Robillard4-18/+20
2010-12-03Remove AST::constrain.David Robillard7-87/+99
2010-12-03Detemplatify parseTuple.David Robillard1-7/+6
2010-12-03Merge ACall and ATuple.David Robillard10-99/+78
2010-12-03Remove AFn.David Robillard8-65/+64
2010-12-03Move AFn and AType prot() methods to ATuple.David Robillard2-9/+7
2010-12-02Remove ACall subclasses.David Robillard10-172/+156
2010-12-02Remove use of ACall class hierarchy from compile phase.David Robillard4-59/+49
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 Robillard5-127/+154
2010-12-02Work towards removing different classes for each type of expression.David Robillard8-239/+257
2010-12-02Represent code as list structure (i.e. traditional LISP lists built from pair...David Robillard14-450/+482
2010-12-01Strip system stuff from test coverage.David Robillard1-1/+2
2010-12-01Add -T option to type-check and pretty-print with type annotations.David Robillard4-182/+184
2010-12-01Update vim support files.David Robillard3-170/+170
2010-12-01Add basic emacs resp-mode (modified from scheme.el).David Robillard1-0/+391
2010-11-17Use single uint32_t for GC object header (mark and tag).David Robillard3-11/+14
2010-10-14Prefix internal "me" parameter with underscore.David Robillard2-5/+5
2010-09-30Preliminary work on algebraic data types and run-time typing.David Robillard12-53/+267
2010-09-15Better pretty printer.David Robillard1-20/+87
2010-08-22Simplify Engine function compilation interface.David Robillard5-80/+59
2010-08-22Simplify Engine::startFunction.David Robillard5-29/+19
2010-08-22Fix boolean compilation.David Robillard1-1/+1
2010-08-20Make AST::compile const and make Module compilation API take const AST*.David Robillard5-74/+74
2010-08-19Generalise `cons': a call to any symbol beginning with an uppercase characterDavid Robillard6-19/+34
2010-08-19Move PEnv::parse implementation to parse.cpp and remove PEnv::parseTuple.David Robillard2-40/+47
2010-08-19Add quote to syntax (currently only a lexeme is quotable, no lists...)David Robillard9-8/+67
2010-08-19Coherent AString and Lexeme implementation.David Robillard11-36/+128
2010-08-18Give `def' statements type `Nothing.David Robillard1-0/+1
2010-08-18Update for LLVM 2.7.David Robillard3-21/+15
2010-04-13Better (but still not correct...) computation of lifted function implementati...David Robillard8-32/+44
2010-04-13Add missing file.David Robillard1-0/+110
2010-04-13Better error reporting when unification fails (report both locations, and pre...David Robillard6-36/+72
2010-04-13Slightly less terrible "pretty" printing.David Robillard1-5/+5
2010-04-13Restructure as a source translation based compiler.David Robillard16-304/+568