aboutsummaryrefslogtreecommitdiffstats
path: root/src/unify.cpp
AgeCommit message (Expand)AuthorFilesLines
2010-12-27Kill AType.David Robillard1-51/+51
2010-12-26Remove AType::DOTS.David Robillard1-3/+11
2010-12-26Remove AType copy constructor.David Robillard1-3/+1
2010-12-26Update headers.David Robillard1-2/+2
2010-12-04Tidy up unify.cppDavid Robillard1-8/+3
2010-12-04More const-correctness (remove all use of const_cast).David Robillard1-3/+3
2010-12-03Remove use of RTTI for AST.David Robillard1-12/+12
2010-12-02Work towards removing different classes for each type of expression.David Robillard1-2/+2
2010-12-02Represent code as list structure (i.e. traditional LISP lists built from pair...David Robillard1-24/+22
2010-09-30Preliminary work on algebraic data types and run-time typing.David Robillard1-2/+2
2010-04-13Better (but still not correct...) computation of lifted function implementati...David Robillard1-2/+2
2010-04-13Better error reporting when unification fails (report both locations, and pre...David Robillard1-14/+24
2010-04-13Restructure as a source translation based compiler.David Robillard1-18/+31
2010-04-08Exception specifiers.David Robillard1-9/+8
2010-04-08Tuplr -> Resp (RESource Processing).David Robillard1-5/+5
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