Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-08-25 17:18:42 -0700 (Mon, 25 Aug 2003)
Revision: 4877
Log message:

      Type inference for arrays was broken if anything (the array, the index, etc)
      had an undetermined type.  (See ext_int_test/{test3_0,test3_1,text6} for test
      cases that trigger the bug.  I fixed it for construction and subscript, but
      don't have time to fix set_subscript at the moment.  I'll try to fix it tonight
      unless some enterprising fellow beats me to it... :-)
      

Changes	Path
+3 -0	mpcompiler/mmc/extensions/ext_arithmetic_integer.ml
+9 -15	mpcompiler/mmc/extensions/ext_array.ml
+7 -0	mpcompiler/mmc/extensions/ext_int_test.ml