5 Commits

Author	SHA1	Message	Date
Niko Matsakis	042c532a08	Implement new inference algorithm.	2012-03-23 21:47:28 -07:00
Marijn Haverbeke	e48bf6f3f4	Make occurs check in ty::fixup_vars more reliable ... It wouldn't detect cycles that went through several type vars before. Closes #1464	2012-01-27 18:58:52 +01:00
Brian Anderson	518dc52f85	Reformat ... This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]	2011-08-20 11:04:00 -07:00
Marijn Haverbeke	e33af7e0b5	Make let bindings' scope start at their definition ... Also, allow let bindings in a block to shadow each other.	2011-08-16 13:45:41 +02:00
Tim Chevalier	2baaeab784	Implement the occurs check ... In the writeback phase, the typechecker now checks that it isn't replacing a type variable T with a type that contains T. It also does an occurs check in do_autoderef in order to avoid getting into an infinite chain of derefs. I'm a bit worried that there are more places where the occurs check needs to happen where I'm not doing it now, though. Closes #768	2011-08-04 15:30:09 -07:00