[svn] r6798: nemerle/trunk/ncc/typing: LocalValue.n Typer2.n

[IT]

Log:
Added the ExpandedBlockReturn property to the LocalValue class.
Use of Kind.BlockReturn would be better, but it results in error at Typer2.n line 746.

Author: IT
Date: Fri Oct 27 05:07:27 2006
New Revision: 6798

Modified:
   nemerle/trunk/ncc/typing/LocalValue.n
   nemerle/trunk/ncc/typing/Typer2.n

Modified: nemerle/trunk/ncc/typing/LocalValue.n
==============================================================================
--- nemerle/trunk/ncc/typing/LocalValue.n	(original)
+++ nemerle/trunk/ncc/typing/LocalValue.n	Fri Oct 27 05:07:27 2006
@@ -61,6 +61,11 @@
     [Accessor (flags = WantSetter | Internal)]
     mutable never_closurise : bool;
 
+    // Use of Kind.BlockReturn would be better,
+    // but it results in error at Typer2.n line 746
+    [Accessor (flags = WantSetter)]
+    mutable expanded_block_return : bool;
+
     [Nemerle.OverrideObjectEquals]
     public Equals (other : LocalValue) : bool {
       id == other.id

Modified: nemerle/trunk/ncc/typing/Typer2.n
==============================================================================
--- nemerle/trunk/ncc/typing/Typer2.n	(original)
+++ nemerle/trunk/ncc/typing/Typer2.n	Fri Oct 27 05:07:27 2006
@@ -705,6 +705,8 @@
                       expected, LocalValue.Kind.Plain (), 
                       is_mutable = true);
         result.NeverClosurise = true;
+        result.ExpandedBlockReturn = true;
+
         def label_id = Util.next_id ();
 
         def ret =
@@ -725,7 +727,6 @@
     }
 
     
-    
     static StripImplicitConversion (expr : TExpr) : TExpr
     {
       match (expr) {