aboutsummaryrefslogtreecommitdiffstats
path: root/src/unify.cpp
AgeCommit message (Expand)AuthorFilesLines
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