aboutsummaryrefslogtreecommitdiff
path: root/sem_check.c
AgeCommit message (Collapse)Author
2019-10-04Fix make sure argv pointer is initialized to NULLTucker Evans
2019-09-30Add check that function returns valueTucker Evans
2019-09-30Fix check_exists checks safe scopes not just currentTucker Evans
2019-09-29Add check for read/write function in check_callTucker 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-11Adds type checking procedure argumentsTucker Evans
2019-09-08Add checking types on function callTucker Evans
2019-09-03Add unary minus to parsingTucker Evans
2019-08-29Add for loop type checkingTucker Evans
2019-08-29Fix consolidate yyerror calls to after switchTucker 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-29Fix return value for correctly typed statementsTucker Evans
Change okay return value to 1 so 0 can be used to denote an unset return type
2019-08-18Fix clean up header includesTucker Evans
2019-08-18Add while (and holding place for for) type checkingTucker Evans
2019-08-17Fix deal with and/or ops correctly in type checkingTucker Evans
2019-08-17Add Type checking if statement conditionTucker Evans
2019-08-17Fix not type checkingTucker Evans
2019-08-17Add array type checkingTucker Evans
2019-08-17Fix error messages for RELOP type checkingTucker Evans
Removes debug prints
2019-08-17Fix error message for ADDOP/MULOPTucker Evans
Removes some debugging prints
2019-08-17Fix MULOP/ADDOP return BOOL in check_ret_typeTucker Evans
Removes some debug printing
2019-08-17Add basic type checkingTucker Evans
Squashed commit of WIP-type_check@5dadc4f5667ae69a709dd45c020780f2f424d67e
2019-08-01WIP Add sem_check filesTucker Evans
Current (known) bugs: Checks id during var assignment