Changeset 3835 for trunk/ProjectFortress/compiler_tests/Compiled1.j.fss

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/compiler_tests/Compiled1.j.fss (moved) (moved from trunk/ProjectFortress/not_working_static_tests/DXXDoubleExponentiation.fss) (1 diff)

trunk/ProjectFortress/compiler_tests/Compiled1.j.fss

@@ -16 +16 @@
  ******************************************************************************)
 
-component DXXDoubleExponentiation
+component Compiled1.j
   export Executable
   run():() = ()