[svn] r5783: nemerle/trunk/ncc: generation/Typer4.n typing/Macros.n

[nazgul]

Log:
Only take a look at if branches when computing Throsw

Author: nazgul
Date: Sat Oct  1 14:59:47 2005
New Revision: 5783

Modified:
   nemerle/trunk/ncc/generation/Typer4.n
   nemerle/trunk/ncc/typing/Macros.n

Modified: nemerle/trunk/ncc/generation/Typer4.n
==============================================================================
--- nemerle/trunk/ncc/generation/Typer4.n	(original)
+++ nemerle/trunk/ncc/generation/Typer4.n	Sat Oct  1 14:59:47 2005
@@ -241,10 +241,9 @@
             } else Throws (e2, allow_try)
 
           | If (cond, e1, e2) =>
-            mutable all = Throws (cond, allow_try);
-            all = Throws (e1, allow_try) && all;
-            all = Throws (e2, allow_try) && all;
-            all
+            _ = Throws (cond, allow_try);
+            def th1 = Throws (e1, allow_try);
+            Throws (e2, allow_try) && th1;
 
           | Assign (e1, e2) =>
             when (Throws (e1))

Modified: nemerle/trunk/ncc/typing/Macros.n
==============================================================================
--- nemerle/trunk/ncc/typing/Macros.n	(original)
+++ nemerle/trunk/ncc/typing/Macros.n	Sat Oct  1 14:59:47 2005
@@ -894,12 +894,10 @@
             <[ $(traverse (obj)) . $mem ]>
 
           | <[ $func (.. $parms) ]> =>
-            def parms = List.Map (parms, traverse);
-            <[ $(traverse (func)) (..$parms) ]>
+            <[ $(traverse (func)) (..$(parms.Map (traverse))) ]>
 
           | <[ $func .[.. $parms] ]> =>
-            def parms = List.Map (parms, traverse);
-            <[ $(traverse (func)) .[..$parms] ]>
+            <[ $(traverse (func)) .[..$(parms.Map (traverse))] ]>
             
           | <[ $target = $source ]> =>
             <[ $(traverse (target)) = $(traverse (source)) ]>