[svn] r6928: nemerle/trunk/ncc: hierarchy/ClassMembers.n passes.n

[VladD2]

Log:
Add solver check.

Author: VladD2
Date: Fri Nov 17 18:50:50 2006
New Revision: 6928

Modified:
   nemerle/trunk/ncc/hierarchy/ClassMembers.n
   nemerle/trunk/ncc/passes.n

Modified: nemerle/trunk/ncc/hierarchy/ClassMembers.n
==============================================================================
--- nemerle/trunk/ncc/hierarchy/ClassMembers.n	(original)
+++ nemerle/trunk/ncc/hierarchy/ClassMembers.n	Fri Nov 17 18:50:50 2006
@@ -836,6 +836,7 @@
   {
     get
     {
+      Manager.CheckSolver();
       //Trace.WriteLine($"$_indent>>>> ##### BodyTyped ($Name)!");
       Trace.Assert(!(Attributes %&& NemerleAttributes.Abstract));
       Trace.Assert(Manager.IsInCompletionMode);

Modified: nemerle/trunk/ncc/passes.n
==============================================================================
--- nemerle/trunk/ncc/passes.n	(original)
+++ nemerle/trunk/ncc/passes.n	Fri Nov 17 18:50:50 2006
@@ -43,6 +43,7 @@
     internal Stats : StatsClass;
 
     internal mutable Solver : Solver;
+    public CheckSolver() : void { System.Diagnostics.Trace.Assert(this.Solver.IsTopLevel); }
     public mutable Hierarchy : TypesManager;
     protected internal mutable LibrariesManager : LibraryReferenceManager;
     public mutable NameTree : NamespaceTree;