Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-10-15 | Fix function scope bounds | Tucker Evans | |
Function now can access vars outside of their scopes but cannot assign values to these vars. | |||
2019-10-15 | Add array access on non-array error message | Tucker Evans | |
2019-10-04 | Fix make sure argv pointer is initialized to NULL | Tucker Evans | |
2019-09-30 | Add check that function returns value | Tucker Evans | |
2019-09-30 | Fix check_exists checks safe scopes not just current | Tucker Evans | |
2019-09-29 | Add check for read/write function in check_call | Tucker Evans | |
Read/write should take arguments of any type, almost funcition overloading, at this point theses are the only fuctions to do this and as such a special case is added to check_call. | |||
2019-09-11 | Adds type checking procedure arguments | Tucker Evans | |
2019-09-08 | Add checking types on function call | Tucker Evans | |
2019-09-03 | Add unary minus to parsing | Tucker Evans | |
2019-08-29 | Add for loop type checking | Tucker Evans | |
2019-08-29 | Fix consolidate yyerror calls to after switch | Tucker Evans | |
Any failed type checking now sets buf string to error message and breaks out of switch case and will then call yyerror with buf string. | |||
2019-08-29 | Fix return value for correctly typed statements | Tucker Evans | |
Change okay return value to 1 so 0 can be used to denote an unset return type | |||
2019-08-18 | Fix clean up header includes | Tucker Evans | |
2019-08-18 | Add while (and holding place for for) type checking | Tucker Evans | |
2019-08-17 | Fix deal with and/or ops correctly in type checking | Tucker Evans | |
2019-08-17 | Add Type checking if statement condition | Tucker Evans | |
2019-08-17 | Fix not type checking | Tucker Evans | |
2019-08-17 | Add array type checking | Tucker Evans | |
2019-08-17 | Fix error messages for RELOP type checking | Tucker Evans | |
Removes debug prints | |||
2019-08-17 | Fix error message for ADDOP/MULOP | Tucker Evans | |
Removes some debugging prints | |||
2019-08-17 | Fix MULOP/ADDOP return BOOL in check_ret_type | Tucker Evans | |
Removes some debug printing | |||
2019-08-17 | Add basic type checking | Tucker Evans | |
Squashed commit of WIP-type_check@5dadc4f5667ae69a709dd45c020780f2f424d67e | |||
2019-08-01 | WIP Add sem_check files | Tucker Evans | |
Current (known) bugs: Checks id during var assignment |