12 Commits

Author	SHA1	Message	Date
Matthew Brown	6972c45c14	Remove vars from parent clauses when they are reconciled with vars	2016-12-28 14:20:16 -05:00
Matthew Brown	05834a0db3	Fix #13 by revamping how we treat type assertions in if statements and ternary expressions	2016-12-28 13:12:06 -05:00
Matthew Brown	1e8f986d8c	Narrow down error lines for reconcileKeyedTypes	2016-12-11 13:59:36 -05:00
Matthew Brown	562f71b21f	Add TypeDoesNotContainType issue and fix those issues in Psalm code	2016-12-11 13:48:11 -05:00
Matt Brown	e6ff24b8d2	Fix assignment in elseif	2016-12-09 12:06:14 -05:00
Matthew Brown	a1acbfec07	Show code snippets when reporting errors ... This also introduces a new method of identifying specific code locations when creating issues	2016-12-03 19:11:30 -05:00
Matthew Brown	05ae7905d9	Refactor IfChecker to break apart massive method	2016-11-11 17:13:30 -05:00
Matthew Brown	264e77addd	Change a few more words	2016-11-07 19:16:51 -05:00
Matthew Brown	36fc49965b	Correct speling	2016-11-07 17:31:02 -05:00
Matthew Brown	622a0794c3	Swap in Fully-Qualified for Absolute terms	2016-11-07 17:29:51 -05:00
Jon Ursenbach	27c2db1d1d	PSR-2	2016-11-02 17:50:54 -04:00
Matthew Brown	e4ba8b1abc	Make StatementsChecker much smaller	2016-10-22 13:28:40 -04:00