Bug fix in array initialization: handle the special case like {{null,null}}
authorjzhou <jzhou>
Fri, 18 Feb 2011 18:53:13 +0000 (18:53 +0000)
committerjzhou <jzhou>
Fri, 18 Feb 2011 18:53:13 +0000 (18:53 +0000)
commit9d964ce6a3a8c09b353cbcd553cef5113d6a4438
tree361f1ca3ddf1a948b432edf75298e7e6f04a735f
parentb45849b72c165a7585cd46e12dfdf0da5511bfc9
Bug fix in array initialization: handle the special case like {{null,null}}
Robust/src/IR/Flat/BuildCode.java
Robust/src/IR/Tree/BuildIR.java
Robust/src/IR/Tree/SemanticCheck.java
Robust/src/IR/TypeDescriptor.java