12 Commits

Author	SHA1	Message	Date
Matthew Brown	ae46c9e132	Fix #2114 - make builtin constructors mutation free	2019-09-21 21:07:27 -04:00
Brown	a6baa2d04c	Allow callables to be understood as pure ... Fixes #2112	2019-09-09 12:11:04 -04:00
Brown	3c7fd94503	Add more test cases for @psalm-external-mutation-free	2019-09-09 11:23:51 -04:00
Brown	21aa162d0a	Make assert() pure ... Fixes #2113	2019-09-09 10:43:10 -04:00
Matthew Brown	dee2cf3281	Detect use of static inside pure function	2019-08-31 21:31:53 -04:00
Matthew Brown	dcc4de59df	Change @immutable to @psalm-immutable	2019-08-31 18:43:45 -04:00
Matthew Brown	f20dc16295	Make @immutable work properly	2019-08-31 10:07:23 -04:00
Matthew Brown	900cfc0f05	Improve handling of external-mutation-free objects created in pure functions	2019-08-31 09:49:32 -04:00
Matthew Brown	f096c3d29c	Don’t identify impurity when checking property initialisation	2019-08-31 09:07:00 -04:00
Brown	55cfbdcd5f	Fix erroneous complaint for str_replace	2019-08-13 14:26:25 -04:00
Brown	955899ade0	Builtin functions are assumed to be pure	2019-08-07 15:21:15 -04:00
Matthew Brown	3df248eea2	Add concept of purity to functions and methods	2019-07-18 01:31:48 -04:00