Changeset 3835 for trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticChecker.java

Timestamp:

06/10/09 19:56:03 (6 months ago)

Author:

sukyoungryu

Message:

[type checker] Fixed small things in the Scala type checker. Matched some error messages from the Java type checker and the Scala type checker. Do not type check programs with syntax errors. Moved two tests from not_working_static_tests to compiler_tests.

Files:

• trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticChecker.java (modified) (1 diff)

trunk/ProjectFortress/src/com/sun/fortress/compiler/StaticChecker.java

@@ -222 +222 @@
                 ConstraintUtil.useScalaFormulas();
                 STypeChecker typeChecker = STypeCheckerFactory.make(component, traitTable, typeEnv, typeAnalyzer);
-                component_ast = typeChecker.check(component_ast);
+                component_ast = typeChecker.typecheck(component_ast);
                 component = IndexBuilder.builder.buildComponentIndex((Component)component_ast,
                     System.currentTimeMillis());