Compare commits
No commits in common. "0694dfb77d4fd2438ab5ed874fcb587222c6c0cf" and "067bf8d7965af5da0ff2bfe946a6b36f289f13f0" have entirely different histories.
0694dfb77d
...
067bf8d796
@ -255,7 +255,6 @@ typeCheckStatement (Block statements) symtab classes =
|
||||
If {} -> (accSts ++ [checkedStmt], currentSymtab, if stmtType /= "void" then types ++ [stmtType] else types)
|
||||
While _ _ -> (accSts ++ [checkedStmt], currentSymtab, if stmtType /= "void" then types ++ [stmtType] else types)
|
||||
Return _ -> (accSts ++ [checkedStmt], currentSymtab, if stmtType /= "void" then types ++ [stmtType] else types)
|
||||
Block _ -> (accSts ++ [checkedStmt], currentSymtab, if stmtType /= "void" then types ++ [stmtType] else types)
|
||||
_ -> (accSts ++ [checkedStmt], currentSymtab, types)
|
||||
|
||||
-- Initial accumulator: empty statements list, initial symbol table, empty types list
|
||||
|
Loading…
Reference in New Issue
Block a user