aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2009-11-11Constiness.David Robillard1-2/+2
2009-11-11Fix docs.David Robillard1-13/+14
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-16Make start of llvm compile line look like the others.David Robillard1-1/+1
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 Robillard5-17/+23
2009-10-16Fix ellipses unification.David Robillard1-1/+2
2009-10-16. operator for destructuring Tuples (cons).David Robillard10-9/+81
2009-10-16Cons.David Robillard9-30/+124
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
2009-10-14Shrink.David Robillard1-3/+1
2009-10-14Merge two loops to build parameter types.David Robillard1-17/+12
2009-10-14Remove unnecessary forward declaration.David Robillard1-1/+0
2009-10-14Remove cruft.David Robillard5-47/+22
2009-10-14Remove cruft.David Robillard2-58/+1
2009-10-14Remove unnecessary cenv.compile wrapper.David Robillard5-31/+26
2009-10-13Remove unnecessary CEnv.precompile.David Robillard3-5/+0
2009-10-13Move TEnv::buildSubst to unify.cpp.David Robillard2-33/+34
2009-10-13Remove unnecessary lexical addressing stuff.David Robillard2-32/+9
2009-10-13Tidy.David Robillard1-29/+29
2009-10-13Cleanup, shrink.David Robillard5-82/+82
2009-10-13liftCall -> compileFunction.David Robillard4-22/+26
2009-10-13Factor out common code in eval and repl.David Robillard1-77/+71
2009-10-08TLSF 2.4.4 -> TLSF 2.4.6.David Robillard2-6/+10
2009-10-08Move lifting pass to separate file.David Robillard3-59/+80
2009-10-07Test coverage stuff.David Robillard2-0/+14
2009-10-07Remove double lookup.David Robillard2-5/+3
2009-10-06Tidy.David Robillard1-2/+5
2009-10-06Shrink.David Robillard1-4/+2
2009-10-06Fix compilation.David Robillard1-1/+1
2009-10-06C backend.David Robillard6-24/+316
2009-10-06Move llvm.cpp back to where it came from...David Robillard2-3/+3