Updating the type system and program context typing
-
Typing for unary operators -
Context typing for CTX_UnOp
-
Context typing for pointer equality. Right now we have program contexts CTX_BinOpL
andCTX_BinOpR
; but they are only typed for operands that are integers or Booleans. -
Add value program contexts similar to how we have value typing for programs.