Changeset 3918

Timestamp:

07/02/09 18:56:27 (4 months ago)

Author:

emoken

Message:

restored Compiled11.fss

Files:

• trunk/ProjectFortress/compiler_tests/Compiled11.fss (modified) (1 diff)

trunk/ProjectFortress/compiler_tests/Compiled11.fss

@@ -19 +19 @@
 export Executable
 
-run() = do
- println("Hello, World!")
+
+trait A
+  x:A
+end
+
+object N extends A end
+
+object O(x:A) extends A end
+
+object P extends A
+  x:A = O(N).x
+end
+
+anO():A = O
+anA():A = P
+
+run():() = do
+  typecase y = P.x of
+    N => println "N"
+    else => println "FAIL"
+  end
 end