Open Hacker-007 opened 4 years ago
This will require some new files in the semantic analyzer file. This is where we would most likely check for proper return statements, make sure that all paths of travel are met, and where we would check for other semantic needs.
If a method is declared and as the expression, an if expression is used, then the method may produce unexpected output if no else section is provided. Currently, the compiler can not detect this issue. This may require some changing of how expressions are detected and if the else section is necessary for certain things.