Commit Graph

66 Commits

Author SHA1 Message Date
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
collin
31ace3168f handle console function call statement 2020-10-21 20:59:25 -07:00
collin
e5015ccce7 impl dynamic checker iteration statement 2020-10-21 20:50:14 -07:00
collin
cfb5e1b5f7 impl dynamic checker conditional statement 2020-10-21 20:15:08 -07:00
collin
71d3969ac5 impl dynamic checker expression statement 2020-10-21 16:13:52 -07:00
collin
07a17e2846 impl dynamic checker assign statement wip 2020-10-20 20:36:15 -07:00
collin
f30f615655 impl dynamic checker definition statements 2020-10-20 13:14:16 -07:00
collin
d8fd17fb41 impl dynamic checker set membership type assertions 2020-10-19 17:18:31 -07:00
collin
65437d3c05 dynamic check parse circuit and circuit access expressions 2020-10-19 16:03:45 -07:00
collin
22bc891172 dynamic check parse array access expressions 2020-10-19 14:11:39 -07:00
collin
0c6a72c35f dynamic check parse tuple expressions 2020-10-19 12:38:14 -07:00
collin
a8967298ea dynamic check parse array expressions 2020-10-19 10:46:10 -07:00
collin
d8075c14e2 add scope for loop and non-loop variables 2020-10-19 01:40:36 -07:00
collin
e50029c466 fix errors, focus on dynamic checks 2020-10-18 23:53:37 -07:00
collin
8de889ada5 impl expression operations logical and relational 2020-10-17 18:48:20 -07:00
collin
154fa45b4d impl expression operations 2020-10-17 16:47:33 -07:00
collin
42a892480a impl definition statements 2 2020-10-16 14:39:39 -07:00