aboutsummaryrefslogtreecommitdiffstats
path: root/src/constrain.cpp
AgeCommit message (Expand)AuthorFilesLines
2009-10-16Make ellipses a new kind (AType::DOTS).David Robillard1-1/+1
2009-10-16. operator for destructuring Tuples (cons).David Robillard1-0/+21
2009-10-16Cons.David Robillard1-0/+12
2009-10-15Type and const correct Subst::apply.David Robillard1-4/+3
2009-10-15Remove all use of ATuple::at().David Robillard1-30/+43
2009-10-15Replace use of ATuple::at(0) with ATuple::head().David Robillard1-6/+6
2009-10-15Clean up function type system.David Robillard1-50/+37
2009-10-15Always use error-checking (and terser) Constraints::constrain over push_back.David Robillard1-4/+4
2009-10-15Make TEnv purely a type environment.David Robillard1-6/+5
2009-10-14Fix compilation (oops).David Robillard1-1/+1
2009-10-14Clean up ACall::constrain and stick to type domain for error reporting.David Robillard1-20/+15
2009-10-14Merge two loops to build parameter types.David Robillard1-17/+12
2009-10-14Remove cruft.David Robillard1-11/+7
2009-10-13Move TEnv::buildSubst to unify.cpp.David Robillard1-33/+0
2009-10-13Remove unnecessary lexical addressing stuff.David Robillard1-4/+3
2009-10-07Remove double lookup.David Robillard1-3/+2
2009-10-06Move argument substitution building from LLVM backend code to generic type code.David Robillard1-0/+33
2009-10-06Split backend specific compilation functions from generic ones.David Robillard1-0/+11
2009-10-06Don't print the value/type of def expressions at repl.David Robillard1-1/+2
2009-07-04Parse AString.David Robillard1-0/+6
2009-07-03Improved const correctness.David Robillard1-18/+24
2009-06-29Normalise EOF.David Robillard1-1/+0
2009-06-29More documentation fixes.David Robillard1-1/+1
2009-06-29Build compiler documentation.David Robillard1-0/+224
generated by cgit v1.2.1 (git 2.18.0) at 2024-07-02 23:06:21 +0000