aboutsummaryrefslogtreecommitdiffstats
path: root/src/repl.cpp
AgeCommit message (Expand)AuthorFilesLines
2012-12-14More flexible and unified code pass design.David Robillard1-33/+43
2012-12-14Real implementation of algebraic data types, and parametric types.David Robillard1-1/+10
2012-10-15Update for LLVM 3.1David Robillard1-1/+1
2011-05-15Generate code entirely via emitting flat IR (don't special case main/repl).David Robillard1-45/+53
2011-05-14Fix global set/get (top level variable definitions in the REPL).David Robillard1-52/+67
2011-05-14Tidy.David Robillard1-5/+3
2011-05-14Create 'main' in IR and compile it like any other function.David Robillard1-18/+31
2011-05-14Make currentFn private to the backend.David Robillard1-2/+2
2011-05-14Add flatten stage to generate flat s-expression IR for the (now simpler) comp...David Robillard1-11/+18
2011-01-13Fix error location reporting.David Robillard1-1/+1
2011-01-09Partially resurrect CPS translation pass.David Robillard1-36/+34
2010-12-31Report parsing errors.David Robillard1-0/+1
2010-12-31Saner type unification.David Robillard1-13/+3
2010-12-31Don't execute code if -S is given.David Robillard1-1/+2
2010-12-29Literal lists (i.e. list quoting).David Robillard1-15/+14
2010-12-27Make ATuple a normal LISPey cons cell (it always was anyway).David Robillard1-2/+2
2010-12-27Kill AType.David Robillard1-7/+8
2010-12-26Update headers.David Robillard1-1/+1
2010-12-25Simplify let to fn, rather than deal with it through to compilation.David Robillard1-0/+2
2010-12-10Move simplification from lift stage to a new (post-typing) simplify stage.David Robillard1-2/+15
2010-12-09Add option -a to annotate printed code (for -T and -L).David Robillard1-2/+3
2010-12-09Strip trailing whitespace.David Robillard1-4/+4
2010-12-09Fix cpplint warnings.David Robillard1-1/+4
2010-12-09read_expression => PEnv::parse.David Robillard1-1/+1
2010-12-09Const-correct parser.David Robillard1-3/+3
2010-12-09Clean up engine code.David Robillard1-5/+5
2010-12-08Clean up function compilation stuff.David Robillard1-2/+2
2010-12-07Rename 'parse' to the now more accurate 'expand'.David Robillard1-1/+1
2010-12-07Saner recursive descent lexer/parser.David Robillard1-2/+2
2010-12-04More const-correctness (remove all use of const_cast).David Robillard1-3/+3
2010-12-04Make resp_lift const-correct.David Robillard1-9/+12
2010-12-03Remove use of RTTI for AST.David Robillard1-3/+3
2010-12-03Remove AST::constrain.David Robillard1-1/+1
2010-12-03Merge ACall and ATuple.David Robillard1-1/+1
2010-12-02Remove ACall subclasses.David Robillard1-3/+3
2010-12-02Work towards removing different classes for each type of expression.David Robillard1-5/+5
2010-12-02Represent code as list structure (i.e. traditional LISP lists built from pair...David Robillard1-44/+19
2010-12-01Add -T option to type-check and pretty-print with type annotations.David Robillard1-8/+13
2010-09-30Preliminary work on algebraic data types and run-time typing.David Robillard1-0/+3
2010-08-22Simplify Engine function compilation interface.David Robillard1-4/+6
2010-08-22Simplify Engine::startFunction.David Robillard1-2/+2
2010-08-19Generalise `cons': a call to any symbol beginning with an uppercase characterDavid Robillard1-1/+1
2010-08-19Coherent AString and Lexeme implementation.David Robillard1-10/+13
2010-04-13Better error reporting when unification fails (report both locations, and pre...David Robillard1-7/+25
2010-04-13Restructure as a source translation based compiler.David Robillard1-33/+76
2010-04-08Tuplr -> Resp (RESource Processing).David Robillard1-5/+5
2009-10-16Fix globals.David Robillard1-17/+4
2009-10-16Compile top level definitions to globalas.David Robillard1-5/+11
2009-10-15Fix crash caused by making symbols in type expressions types themselves.David Robillard1-1/+1
2009-10-15Replace more use of at(0) with head().David Robillard1-1/+1