8 Commits

Author	SHA1	Message	Date
Graydon Hoare	d1affff623	Reliciense makefiles and testsuite. Yup.	2012-12-10 17:32:58 -08:00
Gareth Daniel Smith	6d86969260	change the test suite //! kind syntax to //~ kind in order to avoid a ... conflict with the new single-line-sugared-inner-doc-comment (`//! ...`).	2012-06-30 12:23:59 +01:00
Niko Matsakis	c0d61795de	wip: refactor repr of regions ... - we now distinguish bound/free parameters (see region-param test case for why this is necessary) - we also track bounds on region variables - also, restructure fold_ty() to have multiple variants without duplication instead of one overloaded folder. This also allows for using block functions.	2012-04-04 19:41:23 -07:00
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