Type Check: If Then Else

[CodyFagley]

if p then e1 else e2

If ... then ... else ... expressions need to be type checked to meet the following criteria:

• p: Boolean Value
• e1: Type0
• e2: Type0

p must be a boolean value (or castable to boolean). e1 and e2 can be any valid expressions, as long as their types match.

If e1 and e2 are not equivalent types, a type checking error should be thrown to cross-compiling environment.