Changeset 3922 for trunk/ProjectFortress/other_compiler_tests

Timestamp:

07/06/09 12:43:14 (5 months ago)

Author:

dr2chase

Message:

Fixed naming somewhat; can overload on general trait and object types now

Location:

trunk/ProjectFortress/other_compiler_tests

Files:

• ATrait.fss (modified) (1 diff)
• TO.test (modified) (1 diff)

trunk/ProjectFortress/other_compiler_tests/ATrait.fss

@@ -17 +17 @@
 
 component ATrait
+
 import java com.sun.fortress.nativeHelpers.{simplePrintln.nativePrintln => jPrintln}
 export Executable
 
-trait T end
-trait U end
+trait Z end
+trait T extends Z end
+trait U extends Z end
 trait S extends {T,U} end
 
 object O() extends S end;
+object Q() extends U end;
 
-f(o:O):() = jPrintln("Hi!")
+f(o:O):() = jPrintln("Ha!")
+f(o:Z):() = jPrintln("Hi!")
+
+g(x:Z):() = f(x)
 
 run():() = do
-  f(O())
+  g(O())
+  g(Q())
   (* jPrintln("Hi!") *)
 end

trunk/ProjectFortress/other_compiler_tests/TO.test

@@ -17 +17 @@
 link
 run
-run_out_contains=Hi!
+run_out_WImatches=Ha! Hi!