Changeset 9b571b75 in tol for tol/stdlib/general/TolPackage/client.tol

Timestamp:

Sep 29, 2010, 3:02:58 PM (16 years ago)

Author:

Víctor de Buen <vdebuen@…>

Branches:

1941-docker-image-to-test, devel, master

Children:

8460e07

Parents:

77ae931

Message:

traces

git-svn-id: ​https://www.tol-project.org/svn/tolp/trunk@2560 be4846ae-f051-483a-831f-b64e7d08527f

File:

• tol/stdlib/general/TolPackage/client.tol (modified) (3 diffs)

tol/stdlib/general/TolPackage/client.tol

@@ -12 +12 @@
 #Embed "repository.tol";
 #Embed "autoLoadSave.tol";
-
 
 //////////////////////////////////////////////////////////////////////////////
@@ -20 +19 @@
 //////////////////////////////////////////////////////////////////////////////
 {
+//WriteLn("TRACE [TolPackage::Client::Initialize] ");
   Real OSDirMake(_.localRoot);
   TolPackage::Client::@AutoLoadSave _autoLoadSave = 
@@ -34 +34 @@
 //////////////////////////////////////////////////////////////////////////////
 {
+  Real numIns = Card(TolPackage::Client::@Repository::_.instances);
+  Real numPck = Card(TolPackage::Client::@Repository::_.allPackages);
+//WriteLn("TRACE [TolPackage::Client::LastCompatible] numIns="<<Card(numIns));
+//WriteLn("TRACE [TolPackage::Client::LastCompatible] numPck="<<Card(numPck));
   Set pkgSel = Select(TolPackage::Client::@Repository::_.allPackages,
   Real(TolPackage::@PackageInfo a)