Changeset 4274 for trunk/ProjectFortress/compiler_tests

Timestamp:

10/21/09 17:09:42 (5 weeks ago)

Author:

skilpat

Message:

[type checker] Fixed bug that prevented expected types from propagating in Do and Block nodes.

Location:

trunk/ProjectFortress/compiler_tests

Files:

• Compiled9.i.fss (modified) (1 diff)
• XXX9i.test (modified) (1 diff)

trunk/ProjectFortress/compiler_tests/Compiled9.i.fss

@@ -23 +23 @@
 
     atomic do
-      spawn true
+      ignore(spawn true)
     end
 

trunk/ProjectFortress/compiler_tests/XXX9i.test

@@ -18 +18 @@
 compile
 compile_err_equals=\
-${STATIC_TESTS_DIR}/Compiled9.i.fss:25:7-16:\n\
+${STATIC_TESTS_DIR}/Compiled9.i.fss:25:14-23:\n\
 \ A 'spawn' expression must not occur inside an 'atomic' do block.\n\
 File Compiled9.i.fss has 1 error.\n