aboutsummaryrefslogtreecommitdiffstats
path: root/src
AgeCommit message (Expand)AuthorFilesLines
2010-12-02Represent code as list structure (i.e. traditional LISP lists built from pair...David Robillard13-445/+480
2010-12-01Add -T option to type-check and pretty-print with type annotations.David Robillard4-182/+184
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 Robillard10-53/+252
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 Robillard5-18/+33
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 Robillard7-8/+63
2010-08-19Coherent AString and Lexeme implementation.David Robillard9-36/+123
2010-08-18Give `def' statements type `Nothing.David Robillard1-0/+1
2010-08-18Update for LLVM 2.7.David Robillard2-17/+11
2010-04-13Better (but still not correct...) computation of lifted function implementati...David Robillard7-31/+43
2010-04-13Add missing file.David Robillard1-0/+110
2010-04-13Better error reporting when unification fails (report both locations, and pre...David Robillard5-35/+71
2010-04-13Slightly less terrible "pretty" printing.David Robillard1-5/+5
2010-04-13Restructure as a source translation based compiler.David Robillard9-294/+544
2010-04-08Exception specifiers.David Robillard5-74/+71
2010-04-08Tuplr -> Resp (RESource Processing).David Robillard15-108/+108
2009-12-13Update for LLVM 2.6.David Robillard3-65/+76
2009-11-11Constiness.David Robillard1-2/+2
2009-10-17Print ellipses correctly.David Robillard1-0/+1
2009-10-17Fix ellipses unification logic.David Robillard1-3/+2
2009-10-16Fix memory leaks.David Robillard3-15/+26
2009-10-16Fix globals.David Robillard3-18/+9
2009-10-16Environment pretty/debug printing.David Robillard1-0/+13
2009-10-16Compile top level definitions to globalas.David Robillard5-9/+62
2009-10-16Make ellipses a new kind (AType::DOTS).David Robillard3-15/+17
2009-10-16Fix ellipses unification.David Robillard1-1/+2
2009-10-16. operator for destructuring Tuples (cons).David Robillard8-9/+78
2009-10-16Cons.David Robillard8-25/+121
2009-10-15Fix crash caused by making symbols in type expressions types themselves.David Robillard1-1/+1
2009-10-15Virtual destructor for Env.David Robillard1-0/+1
2009-10-15Type and const correct Subst::apply.David Robillard3-19/+20
2009-10-15Tidy.David Robillard1-19/+20
2009-10-15Remove some use of ATuple::size().David Robillard4-14/+11
2009-10-15Remove all use of ATuple::at().David Robillard11-153/+211
2009-10-15Replace more use of at(0) with head().David Robillard9-26/+27
2009-10-15Replace use of ATuple::at(0) with ATuple::head().David Robillard3-12/+12
2009-10-15Clean up function type system.David Robillard4-64/+44
2009-10-15Always use error-checking (and terser) Constraints::constrain over push_back.David Robillard2-5/+4
2009-10-15Better error reporting for failed function compiles (print uncompilable type).David Robillard2-5/+9
2009-10-15Tidy.David Robillard1-27/+27
2009-10-15Make TEnv purely a type environment.David Robillard5-32/+28
2009-10-14Fix compilation (oops).David Robillard1-1/+1
2009-10-14Clean up ACall::constrain and stick to type domain for error reporting.David Robillard2-21/+15
generated by cgit v1.2.1 (git 2.18.0) at 2024-06-28 00:35:34 +0000