64 Commits

Author	SHA1	Message	Date
Matthew Brown	7532e32b9d	Fixed spacing and use statement formatting	2017-05-19 00:48:26 -04:00
Matt Brown	f73fc7c6eb	Carry over ignore_nullable_issues when combining/simplifying types	2017-05-10 13:36:05 -04:00
Matthew Brown	dcedd65215	Add check for paradoxical statements	2017-04-02 15:26:10 -04:00
Matthew Brown	f096468536	Don’t forget where a type came from when combining	2017-03-19 14:39:05 -04:00
Matthew Brown	50b629e88e	Update context types after switch statement without default case	2017-03-13 21:17:21 -04:00
Matt Brown	3d2be3410e	Infer loop types without @var comments	2017-03-13 18:06:56 -04:00
Matt Brown	ae0ca9553f	Remove training wheels	2017-03-13 12:02:28 -04:00
Matt Brown	32d85e20da	Remove unused vars	2017-02-10 19:10:13 -05:00
Matthew Brown	6bcc763414	Fix #3 by checking inside __constructor calls for initialisations	2017-01-26 23:23:12 -07:00
Matthew Brown	d361f17203	Catch {int} types	2017-01-15 11:00:35 -05:00
Matthew Brown	03141e41c2	Move string-stored types into named classes	2017-01-15 10:22:05 -05:00
Matthew Brown	4e00ef51cd	Do not check special terms	2017-01-09 01:50:24 -05:00
Matthew Brown	db6d46d5a9	Support numbers in square bracket notation	2017-01-01 23:49:52 -05:00
Matthew Brown	1fe0eee8e4	Add generic type coercion checks	2016-12-25 01:08:58 +00:00
Matthew Brown	c55870e26c	Allow generic TypeChecker::isContainedBy checks	2016-12-24 18:28:43 +00:00
Matt Brown	6755c8724a	Add tests for M* issues, fixing bugs along the way	2016-12-16 18:56:23 -05:00
Matt Brown	55a060b53a	Add support for closure checks	2016-12-07 14:13:39 -05:00
Matthew Brown	638fdad3ad	Add support for PHP 7.1 iterable pseudo-type	2016-12-04 21:04:25 -05:00
Matthew Brown	4f95c67e1c	Emit issues for null/mixed array access	2016-11-21 19:07:56 -05:00
Matthew Brown	d8e11c7ad7	Support dollars	2016-11-21 10:29:59 -05:00
Matthew Brown	7e829a3b46	Allow numbers in types	2016-11-20 23:35:15 -05:00
Matthew Brown	9d3dcc7401	Do not panic when bad types are passed	2016-11-20 23:31:10 -05:00
Matthew Brown	31aa1c3ce5	Fix PHPDoc-style type parsing	2016-11-20 02:52:34 -05:00
Matthew Brown	3b1dfd0942	Fix issue combining generic and object-like	2016-11-13 11:54:40 -05:00
Matthew Brown	38daca5edd	Fix Psalm errors in Psalm	2016-11-13 11:24:46 -05:00
Matthew Brown	5cf95b42f2	--update-docblocks now works	2016-11-12 23:59:31 -05:00
Matthew Brown	fb77c3393a	Tighten up rules	2016-11-04 22:11:46 -04:00
Jon Ursenbach	27c2db1d1d	PSR-2	2016-11-02 17:50:54 -04:00
Matthew Brown	5c132ba8b8	Fix a few type errors	2016-11-01 10:28:09 -04:00
Matthew Brown	604c875d0c	Fix more errors caught by Psalm	2016-10-30 12:46:18 -04:00
Matthew Brown	4bf07d0adb	Add support for PHPDoc array style	2016-10-29 20:57:03 -04:00
Matthew Brown	b31ac4a862	Removed object-like type descriptor in favour of array{} syntax	2016-10-28 13:24:06 -04:00
Matthew Brown	d71d439e25	Closure basically implements callable	2016-10-20 18:05:28 -04:00
Matthew Brown	a4644a0e4a	Add support for Generator types	2016-10-20 14:28:16 -04:00
Matthew Brown	ca3dfe6e39	Fix Psalm errors in Psalm	2016-10-15 00:12:57 -04:00
Matthew Brown	5292467db0	Add @todo issues and fix errors in StatementsChecker	2016-10-09 17:54:58 -04:00
Matthew Brown	49baa62224	Fix doblocks and invalid refs	2016-10-03 11:38:59 -04:00
Matthew Brown	c22fc15bfa	clobber better	2016-10-02 22:00:05 -04:00
Matthew Brown	a84587e6c3	Clobber empty array when combining with object-like	2016-10-02 19:33:46 -04:00
Matthew Brown	047b932e46	Support combining ObjectLike types	2016-10-02 18:59:16 -04:00
Matthew Brown	5113ffefee	Add a fully-parsable representation of object-like types	2016-09-22 00:31:07 -04:00
Matthew Brown	baf9bcd4d7	Make a class for arrays	2016-09-21 22:15:46 -04:00
Matthew Brown	93a5e6775d	Add object-like type to represent cheating arrays	2016-09-20 21:45:49 -04:00
Matthew Brown	e9a30ca556	Remove descendent types when assigning	2016-09-17 11:57:44 -04:00
Matthew Brown	dff23e9d74	Be more general with arrays	2016-09-15 16:42:50 -04:00
Matthew Brown	884648b56c	Improve type combination when evaluating array types	2016-09-12 23:24:26 -04:00
Matthew Brown	0563f508ca	Fix automatic array creation checks	2016-09-12 00:02:26 -04:00
Matthew Brown	554791e6ac	Fix aliased class casing and misc errors	2016-09-09 23:17:56 -04:00
Matthew Brown	f455851f89	Fix bugs in array key checks	2016-09-09 18:36:35 -04:00
Matthew Brown	8c5adf477a	Add support for key/value array typing	2016-09-09 16:21:49 -04:00