swift234

Start documenting the constraint-based type checker. There is still
quite a bit to right, but there's almost enough here to understand
constraint generation and the simpler parts of constraint solving.


Swift SVN r2941