aboutsummaryrefslogtreecommitdiffstats
path: root/src/unify.cpp
AgeCommit message (Expand)AuthorFilesLines
2009-10-17Fix ellipses unification logic.David Robillard1-3/+2
2009-10-16Make ellipses a new kind (AType::DOTS).David Robillard1-6/+7
2009-10-16Fix ellipses unification.David Robillard1-1/+2
2009-10-16. operator for destructuring Tuples (cons).David Robillard1-1/+5
2009-10-15Remove some use of ATuple::size().David Robillard1-8/+6
2009-10-15Remove all use of ATuple::at().David Robillard1-14/+18
2009-10-15Always use error-checking (and terser) Constraints::constrain over push_back.David Robillard1-1/+0
2009-10-14Clean up ACall::constrain and stick to type domain for error reporting.David Robillard1-1/+0
2009-10-13Move TEnv::buildSubst to unify.cpp.David Robillard1-0/+34
2009-10-06Sanity check.David Robillard1-0/+2
2009-07-04Eliminate AType::var().David Robillard1-2/+2
2009-06-29Tidy.David Robillard1-3/+4
2009-06-29Normalise EOF.David Robillard1-1/+0
2009-06-29More documentation fixes.David Robillard1-6/+9
2009-06-29Build compiler documentation.David Robillard1-4/+4
2009-06-28write.cpp -> pprint.cpp.David Robillard1-0/+7
2009-06-28Move code into src directory.David Robillard1-0/+94
generated by cgit v1.2.1 (git 2.18.0) at 2024-07-02 06:11:42 +0000