51 Commits

Author	SHA1	Message	Date
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
Matthew Brown	f86c396115	Ignore resources	2016-09-01 20:27:16 -04:00
Matthew Brown	0f5f4c3029	Check functionlike param types	2016-09-01 18:02:09 -04:00
Matthew Brown	99649f2f09	Fix reference errors	2016-09-01 00:07:29 -04:00
Matthew Brown	bad1271744	Add more coverage for scalar types	2016-08-31 13:25:29 -04:00
Matthew Brown	89d04186b1	Add missing isResource method	2016-08-30 00:40:08 -04:00
Matthew Brown	7d11b4b9b0	Add support for numeric types	2016-08-30 00:39:17 -04:00
Matthew Brown	94a3930ddb	Doubles are really floats	2016-08-14 12:07:19 -04:00
Matthew Brown	a62a7899e0	Add overrides for some methods	2016-08-11 17:36:22 -04:00
Matthew Brown	53b94f339e	Fix errors found via self-inspection	2016-08-10 19:21:03 -04:00
Matthew Brown	620d4afd68	Fix tokenisation of ? nullable shorthand	2016-08-07 12:50:21 -04:00
Matthew Brown	d254bc0aa2	Improve type checking of properties	2016-08-06 20:27:13 -04:00
Matthew Brown	f72ad63dac	Add beginnings of non-this property checks	2016-08-05 17:45:47 -04:00
Matthew Brown	9d4271f023	Allow better handling of questionmark type annotations	2016-08-04 14:43:33 -04:00