From 004ceabc16e4ee40065e551167185417ac9c4c2e Mon Sep 17 00:00:00 2001 From: Graham Nelson Date: Wed, 24 May 2023 10:17:49 +0300 Subject: [PATCH] Added versions to "I've also read..." console messages --- docs/supervisor-module/5-es.html | 2 ++ .../Chapter 5/Extension Services.w | 2 ++ inform7/Figures/timings-diagnostics.txt | 34 +++++++++---------- 3 files changed, 21 insertions(+), 17 deletions(-) diff --git a/docs/supervisor-module/5-es.html b/docs/supervisor-module/5-es.html index c1d89f434..a7c77fe6e 100644 --- a/docs/supervisor-module/5-es.html +++ b/docs/supervisor-module/5-es.html @@ -999,6 +999,8 @@ range, we flatten them from general ISO to plain ASCII. 

+    if (VersionNumbers::is_null(E->as_copy->edition->version) == FALSE)
+        WRITE_TO(synopsis, "version %v of ", &(E->as_copy->edition->version));
     WRITE_TO(synopsis, "%S by %S",
         E->as_copy->edition->work->title,
         E->as_copy->edition->work->author_name);
diff --git a/inbuild/supervisor-module/Chapter 5/Extension Services.w b/inbuild/supervisor-module/Chapter 5/Extension Services.w
index ee3794c12..bc6a39131 100644
--- a/inbuild/supervisor-module/Chapter 5/Extension Services.w	
+++ b/inbuild/supervisor-module/Chapter 5/Extension Services.w	
@@ -814,6 +814,8 @@ we dare not assume |stdout| can manage characters outside the basic ASCII
 range, we flatten them from general ISO to plain ASCII.
 
 @ =
+	if (VersionNumbers::is_null(E->as_copy->edition->version) == FALSE)
+		WRITE_TO(synopsis, "version %v of ", &(E->as_copy->edition->version));
 	WRITE_TO(synopsis, "%S by %S", 
 		E->as_copy->edition->work->title,
 		E->as_copy->edition->work->author_name);
diff --git a/inform7/Figures/timings-diagnostics.txt b/inform7/Figures/timings-diagnostics.txt
index 1f68668d8..d40239663 100644
--- a/inform7/Figures/timings-diagnostics.txt
+++ b/inform7/Figures/timings-diagnostics.txt
@@ -1,29 +1,29 @@
 100.0% in inform7 run
-     66.0% in compilation to Inter
-         44.5% in //Sequence::undertake_queued_tasks//
-          4.5% in //MajorNodes::pre_pass//
-          3.5% in //MajorNodes::pass_1//
-          1.7% in //ImperativeDefinitions::assess_all//
-          1.7% in //RTKindConstructors::compile//
+     67.3% in compilation to Inter
+         45.2% in //Sequence::undertake_queued_tasks//
+          4.7% in //MajorNodes::pre_pass//
+          3.6% in //MajorNodes::pass_1//
+          1.8% in //ImperativeDefinitions::assess_all//
+          1.8% in //RTKindConstructors::compile//
           1.4% in //RTPhrasebook::compile_entries//
           1.0% in //Sequence::lint_inter//
           0.7% in //ImperativeDefinitions::compile_first_block//
-          0.7% in //Sequence::undertake_queued_tasks//
-          0.7% in //Sequence::undertake_queued_tasks//
           0.3% in //CompletionModule::compile//
           0.3% in //MajorNodes::pass_2//
+          0.3% in //Sequence::undertake_queued_tasks//
+          0.3% in //Sequence::undertake_queued_tasks//
           0.3% in //World::stage_V//
-          4.2% not specifically accounted for
-     29.3% in running Inter pipeline
-          9.5% in step 5/15: load-binary-kits
-          8.8% in step 14/15: generate inform6 -> auto.inf
-          5.6% in step 6/15: make-synoptic-module
-          2.1% in step 9/15: make-identifiers-unique
+          5.0% not specifically accounted for
+     28.9% in running Inter pipeline
+          9.0% in step 5/15: load-binary-kits
+          8.3% in step 14/15: generate inform6 -> auto.inf
+          5.7% in step 6/15: make-synoptic-module
+          1.8% in step 9/15: make-identifiers-unique
           0.3% in step 11/15: eliminate-redundant-labels
           0.3% in step 12/15: eliminate-redundant-operations
           0.3% in step 4/15: compile-splats
           0.3% in step 7/15: shorten-wiring
           0.3% in step 8/15: detect-indirect-calls
-          1.4% not specifically accounted for
-      3.5% in supervisor
-      1.1% not specifically accounted for
+          2.1% not specifically accounted for
+      3.2% in supervisor
+      0.4% not specifically accounted for