Changeset 3292 for trunk/ProjectFortress/src/com/sun/fortress/compiler/CompilerJUTest.scala

Timestamp:

01/07/09 18:53:22 (11 months ago)

Author:

EricAllen

Message:

Added a type normalizer to improve presentation of types in error messages.
Got the type checker working over more of our first 20 compiled programs.
Added corresponding tests to CompilerJUTests.

Files:

• trunk/ProjectFortress/src/com/sun/fortress/compiler/CompilerJUTest.scala (modified) (2 diffs)

trunk/ProjectFortress/src/com/sun/fortress/compiler/CompilerJUTest.scala

@@ -1 +1 @@
 /*******************************************************************************
-    Copyright 2008 Sun Microsystems, Inc.,
+    Copyright 2009 Sun Microsystems, Inc.,
     4150 Network Circle, Santa Clara, California 95054, U.S.A.
     All rights reserved.
@@ -172 +172 @@
   }
 
+  def testXXXCompiled13() = {
+    val expected =
+      STATIC_TESTS_DIR + "/XXXCompiled13.fss:20:3-35\n" +
+      "    Function body has type FlatString->(), but declared return type is ()" 
+    Shell.assertStaticErrors(compile("XXXCompiled13.fss"), expected)
+  }
+
+
   def testXXXCompiled14() = {
     val expected =