According to Brian's comments, check the lside of assignment operation first to get...
authorjzhou <jzhou>
Wed, 30 Nov 2011 20:09:12 +0000 (20:09 +0000)
committerjzhou <jzhou>
Wed, 30 Nov 2011 20:09:12 +0000 (20:09 +0000)
commit7ce913a34454700dd6546fa2f86b6024a7b404e9
tree00ffa180d5c5da0ba0dcab8a1e3d5e491111545c
parent4e6e3860c77a7d2a8817976d909533a74ce8d02c
According to Brian's comments, check the lside of assignment operation first to get its type. Then use that type to check the array initialization node.
Robust/src/IR/Tree/SemanticCheck.java