trygve: simplestring1.k

{ String s = "abc"; int i = s.length() System.out.println(i)
  double d = i;
  String s2 = d.toString()  System.out.println(s2)
  System.out.println(i.toString())
}

/* GOLD:
line 2: WARNING: Substituting double object for `i« in assignment to `d«.
___________________________________________________________
3
3.0
3
*/