[svn] r6895: nemerle/trunk/ncc/typing/Typer-DelayedTyping.n

[VladD2]

Log:
Prevent exception on the print TExpr.

Author: VladD2
Date: Wed Nov 15 03:32:07 2006
New Revision: 6895

Modified:
   nemerle/trunk/ncc/typing/Typer-DelayedTyping.n

Modified: nemerle/trunk/ncc/typing/Typer-DelayedTyping.n
==============================================================================
--- nemerle/trunk/ncc/typing/Typer-DelayedTyping.n	(original)
+++ nemerle/trunk/ncc/typing/Typer-DelayedTyping.n	Wed Nov 15 03:32:07 2006
@@ -265,9 +265,9 @@
       public IsResolved : bool
       {
         get {
-          match (DtKind) {
-            | Kind.Resolved
-            | Kind.Error => true
+          match (typer.solver.dt_store.Find (this)) { //DtKind
+            | Some (Kind.Resolved)
+            | Some (Kind.Error) => true
             | _ => false
           }
         }