20 Commits

Include renames

Author	SHA1	Message	Date
Andy Li	948123bc7a	keep haxe 3 support	2019-12-04 00:13:41 +08:00
Nicolas Cannasse	5d493630b1	make apply public	2019-11-29 18:11:46 +01:00
Nicolas Cannasse	f4db6faa80	fixed follow wrt recursion	2019-11-28 14:20:55 +01:00
Nicolas Cannasse	965f334d59	various fixes in type checker	2019-11-26 14:34:15 +01:00
Nicolas Cannasse	f464767ee7	added Parser.resumeError, added Checker.getCompletion	2019-10-20 11:16:23 +02:00
Nicolas Cannasse	d98073dc33	added support for mutually recursive functions	2019-10-02 16:27:35 +02:00
Nicolas Cannasse	fb199e7dea	added removeGlobal()	2019-10-01 18:09:41 +02:00
Nicolas Cannasse	975d122491	make unify public	2019-08-29 17:29:11 +02:00
ncannasse	46b6b3c151	always valid	2018-10-25 15:13:36 +02:00
ncannasse	1ccc35f464	added try/switch type checking, and some other fixes	2018-10-15 09:40:41 +02:00
ncannasse	dd1c97b6af	more type checking	2018-09-25 17:01:09 +02:00
ncannasse	85463dcff0	implemented apply type parameters	2018-09-25 12:04:35 +02:00
ncannasse	7ff816417e	fixes	2018-09-24 15:54:40 +02:00
ncannasse	514ce9eec2	more type checks	2018-09-21 10:47:30 +02:00
ncannasse	56ddc3c24e	more typing	2018-09-20 18:21:17 +02:00
ncannasse	1ac194ed1d	more typing	2018-09-19 18:42:06 +02:00
ncannasse	62bf5d4cc9	more typing, added top down inference	2018-09-19 15:11:29 +02:00
ncannasse	eb3992dbdb	separate Checker / CheckerTypes	2018-09-18 14:35:36 +02:00
ncannasse	8c5f9cc1d3	more type checking	2018-09-17 11:52:29 +02:00
ncannasse	ed78703090	added type checker (partial)	2018-09-12 18:00:34 +02:00