aboutsummaryrefslogtreecommitdiffstats
path: root/src/unify.cpp
AgeCommit message (Collapse)AuthorFilesLines
2010-09-30Preliminary work on algebraic data types and run-time typing.David Robillard1-2/+2
git-svn-id: http://svn.drobilla.net/resp/resp@270 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-04-13Better (but still not correct...) computation of lifted function ↵David Robillard1-2/+2
implementation type. git-svn-id: http://svn.drobilla.net/resp/resp@258 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-04-13Better error reporting when unification fails (report both locations, and ↵David Robillard1-14/+24
preserve locations during substitution). git-svn-id: http://svn.drobilla.net/resp/resp@256 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-04-13Restructure as a source translation based compiler.David Robillard1-18/+31
Implement support for closures (via lambda lifting phase). git-svn-id: http://svn.drobilla.net/resp/resp@254 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-04-08Exception specifiers.David Robillard1-9/+8
More efficient constraints construction (c') in unify(). git-svn-id: http://svn.drobilla.net/resp/resp@253 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2010-04-08Tuplr -> Resp (RESource Processing).David Robillard1-5/+5
git-svn-id: http://svn.drobilla.net/resp/resp@252 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-17Fix ellipses unification logic.David Robillard1-3/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@244 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-16Make ellipses a new kind (AType::DOTS).David Robillard1-6/+7
git-svn-id: http://svn.drobilla.net/resp/tuplr@238 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-16Fix ellipses unification.David Robillard1-1/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@237 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-16. operator for destructuring Tuples (cons).David Robillard1-1/+5
git-svn-id: http://svn.drobilla.net/resp/tuplr@236 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-15Remove some use of ATuple::size().David Robillard1-8/+6
git-svn-id: http://svn.drobilla.net/resp/tuplr@230 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-15Remove all use of ATuple::at().David Robillard1-14/+18
git-svn-id: http://svn.drobilla.net/resp/tuplr@229 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-15Always use error-checking (and terser) Constraints::constrain over push_back.David Robillard1-1/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@225 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-14Clean up ACall::constrain and stick to type domain for error reporting.David Robillard1-1/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@220 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-13Move TEnv::buildSubst to unify.cpp.David Robillard1-0/+34
git-svn-id: http://svn.drobilla.net/resp/tuplr@212 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-10-06Sanity check.David Robillard1-0/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@189 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-07-04Eliminate AType::var().David Robillard1-2/+2
git-svn-id: http://svn.drobilla.net/resp/tuplr@185 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-29Tidy.David Robillard1-3/+4
git-svn-id: http://svn.drobilla.net/resp/tuplr@169 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-29Normalise EOF.David Robillard1-1/+0
git-svn-id: http://svn.drobilla.net/resp/tuplr@168 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-29More documentation fixes.David Robillard1-6/+9
git-svn-id: http://svn.drobilla.net/resp/tuplr@167 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-29Build compiler documentation.David Robillard1-4/+4
git-svn-id: http://svn.drobilla.net/resp/tuplr@163 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-28write.cpp -> pprint.cpp.David Robillard1-0/+7
git-svn-id: http://svn.drobilla.net/resp/tuplr@162 ad02d1e2-f140-0410-9f75-f8b11f17cedd
2009-06-28Move code into src directory.David Robillard1-0/+94
git-svn-id: http://svn.drobilla.net/resp/tuplr@160 ad02d1e2-f140-0410-9f75-f8b11f17cedd
generated by cgit v1.2.1 (git 2.18.0) at 2024-06-30 21:34:29 +0000