Refactor types in ssa nodes.

frog/tests/leg/src/TypeInference5Test.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #import("compiler_helper.dart");
 
 final String TEST_ONE = @"""
-sum(param0, param1) {
-  var sum = 0;
-  for (var i = param0; i < param1; i += 1) sum = sum + i;
-  return sum;
+foo(j) {
+  var a = [1, 2, 3];
+  for (var i = j; i < 3; i++) {
+    a[i];
+  }
 }
 """;
 
 main() {
-  String generated = compile(TEST_ONE, 'sum');
-  regexp = const RegExp("typeof param0 !== 'number'");
+  String generated = compile(TEST_ONE, 'foo');
+  print(generated);

[kasperl, 2012/04/23 05:48:30]

Remove printing.

[floitsch, 2012/04/23 09:21:05]

Done.

+
+  Expect.isFalse(generated.contains('iae'));

[kasperl, 2012/04/23 05:48:30]

Maybe add a comment here? What are you checking for?

[floitsch, 2012/04/23 09:21:05]

Done.

+  RegExp regexp = new RegExp(getIntTypeCheck('j'));
   Expect.isTrue(regexp.hasMatch(generated));
 }