(* 
 * With the global decl of i commented out, the type checker twice outputs
 * "i is not defined in this scope" for line 6, as well as the message
 * "Type of each expr in list constructor must be ths same".  For sure the
 * double outputs should be nixed, and second "Type of ..." message probably
 * should be supressed once the "i is not defined ..." is output.
 *)
-- var i:integer;
op x(li:integer*) = li[2];
var li:integer*;

> set i = 2;
> x([1,i,3]);