82 Commits

Author	SHA1	Message	Date
collin	833eb51c68	fix type assertion error	2020-10-28 09:53:27 -07:00
collin	665cb3f466	use copy on write data structure for array type flatten method	2020-10-27 17:32:00 -07:00
collin	078827310c	fix type variable tuple parsing	2020-10-27 15:08:22 -07:00
collin	085d59e67a	Batch changes for static check module 1	2020-10-27 14:27:18 -07:00
collin	817a3bd450	Batch changes for scope.rs	2020-10-27 12:54:02 -07:00
collin	0fbb797f20	Batch changes for frame.rs	2020-10-27 12:48:44 -07:00
collin	f0a2e8298a	fix compilation errors	2020-10-27 12:22:07 -07:00
Collin Chin	e58f00d8b5	Prefer iterator over vector in parse_array ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:25:43 -07:00
Collin Chin	0636997ddb	Prefer Vec new over with capacity in parse_statement_expression ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:23:19 -07:00
Collin Chin	74bfe113d0	Prefer iterator over vector in parse_iteration ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:21:51 -07:00
Collin Chin	6cb0d5c3c1	Prefer cloned over map + clone in parse_block ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:20:01 -07:00
Collin Chin	d5d34d3bdf	Prefer iterator over vector in parse_block ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:18:32 -07:00
Collin Chin	b987a6df7c	Iterate over references instead of cloning in parse_statements ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:14:02 -07:00
Collin Chin	2288510fec	Prefer str over String in get_circuit ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:12:23 -07:00
Collin Chin	c05fe32d77	Prefer str over String get_function ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:11:28 -07:00
Collin Chin	3c30ca342b	Prefer string slice over string reference get_variable ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:09:12 -07:00
Collin Chin	c4f5d61a17	Prefer slice over vector reference in undefined_variable_name ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:08:17 -07:00
Collin Chin	2133756d50	Prefer slice over vector reference in membership_failed ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:07:35 -07:00
Collin Chin	21c569d950	Prefer iterator over vector in parse_functions ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:05:42 -07:00
Collin Chin	6931cadd71	Prefer iterator over vector in parse_circuits ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 11:04:48 -07:00
Collin Chin	ff03e64314	Prefer to_vec over to_owned	2020-10-27 10:58:09 -07:00
collin	861e092485	push arguments by value	2020-10-27 10:39:45 -07:00
Collin Chin	e68c7ad563	Update dynamic-check/src/assertions/type_variable_pair.rs ... Co-authored-by: ljedrz <ljedrz@users.noreply.github.com>	2020-10-27 10:09:55 -07:00
collin	46f585e2ff	refactor compiler methods	2020-10-27 00:31:36 -07:00
collin	52810588ff	refactor modules and make function names more clear	2020-10-26 23:42:01 -07:00
collin	fe79cfcf71	merge master	2020-10-26 22:05:03 -07:00
collin	b28cbc7680	remove unused errors, add tests for new errors	2020-10-26 20:02:44 -07:00
collin	c4a7e36623	add new dynamic check errors and tests for tuples and arrays	2020-10-26 19:13:37 -07:00
collin	d3125a0f9f	add new dynamic check errors and tests for variables	2020-10-26 18:41:51 -07:00
collin	84861dde32	remove more unused code	2020-10-26 17:57:37 -07:00
collin	9024fb0968	remove unused code	2020-10-26 17:52:32 -07:00
collin	b6d0f9daca	fix static and dynamic check test runners	2020-10-26 16:46:11 -07:00
collin	020773fb2a	impl dynamic checks for imports. all tests pass	2020-10-26 16:05:02 -07:00
collin	09d86576ea	add import parsing to first pass of static check	2020-10-26 15:51:46 -07:00
collin	d5bc0d2b7f	make type variables more unique	2020-10-26 13:31:34 -07:00
collin	b3c140d5bb	fix array function input bug	2020-10-26 13:14:36 -07:00
collin	54bf6ca42d	load program input type into symbol table	2020-10-24 23:57:38 -07:00
collin	17a65fe54a	add dynamic check errors for circuits 3	2020-10-24 19:27:30 -07:00
collin	22d6c98c77	add dynamic check errors for functions	2020-10-24 16:50:07 -07:00
collin	e19616b4e5	add dynamic check errors for circuits 2	2020-10-24 13:07:27 -07:00
collin	973e2a6afc	add dynamic check errors for circuits 1	2020-10-24 02:53:09 -07:00
collin	40d26dce7f	refactor type assertion solving	2020-10-24 00:51:04 -07:00
collin	d55bd0d2af	enforce order on solving type assertions	2020-10-23 17:59:34 -07:00
collin	f2a808cbe7	impl membership type assertion error handling	2020-10-23 17:31:41 -07:00
collin	dbade1f4fe	fix mismatched types test	2020-10-23 17:00:11 -07:00
collin	4aab804148	add type variable for implicit addresses	2020-10-23 15:52:43 -07:00
collin	f1490a994b	impl dynamic check errors	2020-10-23 15:23:48 -07:00
collin	3331ee77c4	impl dynamic check circuits	2020-10-22 22:31:07 -07:00
collin	d41e6779c7	impl dynamic check function and circuit lookups	2020-10-22 15:36:35 -07:00
collin	ff62d9db7e	impl dynamic check solving for equality checks	2020-10-22 12:40:35 -07:00