Changeset 3805 for trunk/ProjectFortress/syntax_abstraction_tests

Timestamp:

06/05/09 09:09:42 (6 months ago)

Author:

sukyoungryu

Message:

[static checker] Check the well-formedness of types before and after type checking.

Location:

trunk/ProjectFortress/syntax_abstraction_tests

Files:

• Catch.fsi (modified) (1 diff)
• GrammarCompositionUseA.fss (modified) (2 diffs)

trunk/ProjectFortress/syntax_abstraction_tests/Catch.fsi

@@ -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.

trunk/ProjectFortress/syntax_abstraction_tests/GrammarCompositionUseA.fss

@@ -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.
@@ -24 +24 @@
   assert(bar, 2)
   assert((fn(baz) => baz)1, 1)
-  (*) assert((fn(foo) => foo)1, 1)  (*) illegal because foo is a keyword 
+  (*) assert((fn(foo) => foo)1, 1)  (*) illegal because foo is a keyword
   println("A okay")
 end