[svn] r7715: nemerle/trunk/ncc: generation/Typer3.n generation/Typer4.n misc/PrettyPrint.n typing/TypedTre...

[IT]

Log:
Added DebugInfo TExpr.

Author: IT
Date: Wed Jun 27 05:16:17 2007
New Revision: 7715

Modified:
   nemerle/trunk/ncc/generation/Typer3.n
   nemerle/trunk/ncc/generation/Typer4.n
   nemerle/trunk/ncc/misc/PrettyPrint.n
   nemerle/trunk/ncc/typing/TypedTree.n
   nemerle/trunk/ncc/typing/Typer.n
   nemerle/trunk/ncc/typing/Typer2.n

Modified: nemerle/trunk/ncc/generation/Typer3.n
==============================================================================
--- nemerle/trunk/ncc/generation/Typer3.n	(original)
+++ nemerle/trunk/ncc/generation/Typer3.n	Wed Jun 27 05:16:17 2007
@@ -1098,6 +1098,7 @@
              | TExpr.Cache
              | TExpr.CacheRef
              | TExpr.Error 
+             | TExpr.DebugInfo
               => Util.ice ("invalid expression in Typer3")
            }  
       }
@@ -1318,6 +1319,7 @@
           | TExpr.Cache
           | TExpr.CacheRef
           | TExpr.Error 
+          | TExpr.DebugInfo
            => Util.ice ("invalid expression in Typer3")
         }
       }
@@ -2263,7 +2265,8 @@
         | DefFunctionsIn
         | Match
         | SelfTailCall 
-        | Block =>
+        | Block
+        | DebugInfo =>
           Util.cassert (Message.SeenError);
           null
       }

Modified: nemerle/trunk/ncc/generation/Typer4.n
==============================================================================
--- nemerle/trunk/ncc/generation/Typer4.n	(original)
+++ nemerle/trunk/ncc/generation/Typer4.n	Wed Jun 27 05:16:17 2007
@@ -326,6 +326,7 @@
           | ConstantObjectRef
           | Delayed
           | Error
+          | DebugInfo
           | DefFunctionsIn
           | Match
           | Block

Modified: nemerle/trunk/ncc/misc/PrettyPrint.n
==============================================================================
--- nemerle/trunk/ncc/misc/PrettyPrint.n	(original)
+++ nemerle/trunk/ncc/misc/PrettyPrint.n	Wed Jun 27 05:16:17 2007
@@ -1237,6 +1237,9 @@
         | TT.TExpr.Error =>
           append ("(ERROR)")
 
+        | TT.TExpr.DebugInfo =>
+          append ("(DEBUG)")
+
         | TT.TExpr.MethodAddress (_, meth, is_virt, _) =>
           append ($ "ADDR($meth, $is_virt)")
 

Modified: nemerle/trunk/ncc/typing/TypedTree.n
==============================================================================
--- nemerle/trunk/ncc/typing/TypedTree.n	(original)
+++ nemerle/trunk/ncc/typing/TypedTree.n	Wed Jun 27 05:16:17 2007
@@ -707,6 +707,7 @@
     | Switch                { indexing_expr : TExpr;
                               default : option [TExpr]; 
                               cases : list [int * TExpr]; }
+    | DebugInfo             { expr : TExpr; }
     
     public mutable ty : TyVar;
     
@@ -988,6 +989,7 @@
         | LocalRef
         | LocalFunRef
         | StaticRef 
+        | DebugInfo
         | Error
         | OpCode 
         | TypeOf

Modified: nemerle/trunk/ncc/typing/Typer.n
==============================================================================
--- nemerle/trunk/ncc/typing/Typer.n	(original)
+++ nemerle/trunk/ncc/typing/Typer.n	Wed Jun 27 05:16:17 2007
@@ -3557,6 +3557,7 @@
         | TExpr.CacheRef (d) => DescribeExpression (d.TExpr)
         
         | TExpr.Error => "an erroneous expression"
+        | TExpr.DebugInfo => "debug info"
         | TExpr.Delayed (dt) =>
           match (dt.DtKind) {
             | Resolved (e) => DescribeExpression (e)

Modified: nemerle/trunk/ncc/typing/Typer2.n
==============================================================================
--- nemerle/trunk/ncc/typing/Typer2.n	(original)
+++ nemerle/trunk/ncc/typing/Typer2.n	Wed Jun 27 05:16:17 2007
@@ -1351,6 +1351,7 @@
 
         | TExpr.Error => null
           
+        | TExpr.DebugInfo => null
 
         | TExpr.Goto =>
           unless (ctx %&& Context.AllowGoto)