- Lexical & Syntax Analysis
- Semantic Analysis
- Scope scan
- reference resolution
- Variable resolution
- variable undefined check
- variable double definition check
- Number of levels to resolve
- Number of off undefined checks
- off number of duplicate definition checks
- function nesting check
- Variable resolution
- type checking
- variable/constant type deduction
- Variable/constant assignment type checking
- Disable parameter passing/return type checking
- array element type consistency check
- Semantic validity check
- break/continue statement ただ can appear in a loop
- return 句のみ can appear in levels
- 戻り値 type の pass number must の return sentence
- Check if the constant is reassigned
- checks if an rvalue is assigned
- if and else must match
- LLVM IR generation