[svn] r7590: nemerle/trunk/ncc/typing/Typer.n

[VladD2]

Log:
Prevent break Solver state. It bug stop IntelliSense engine.


Author: VladD2
Date: Thu Apr 12 06:28:30 2007
New Revision: 7590

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

Modified: nemerle/trunk/ncc/typing/Typer.n
==============================================================================
--- nemerle/trunk/ncc/typing/Typer.n	(original)
+++ nemerle/trunk/ncc/typing/Typer.n	Thu Apr 12 06:28:30 2007
@@ -2468,12 +2468,15 @@
                   if (!allowed)
                     when (print_errors) {
                       solver.PushState ();
+                      try
+                      {
                       messenger.NeedMessage = true;
                       def before = expected.ToString ();
                       def allowed = expected.Unify (ty);
                       assert (!allowed);
                       ReportError (messenger, 
                                    $ "$mem has invalid type $ty (expected $before)")
+                      } finally { solver.PopState (); }
                     }
                   else {
                     res = OverloadPossibility (this, ty, obj, null, mem,