From 423bc252f7b35b2bb9126627b3b9f950a6948323 Mon Sep 17 00:00:00 2001
From: Boris Shingarov <shingarov@labware.com>
Date: Mon, 18 Nov 2024 04:56:16 -0500
Subject: [PATCH] [cosmetic] Link #shouldBeImplemented in #tcInvs and its
 skipped test

---
 src/SpriteLang-Tests/L8PosTest.class.st | 2 +-
 src/SpriteLang/Array.extension.st       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/SpriteLang-Tests/L8PosTest.class.st b/src/SpriteLang-Tests/L8PosTest.class.st
index 4064dcc0f..91b6a1b75 100644
--- a/src/SpriteLang-Tests/L8PosTest.class.st
+++ b/src/SpriteLang-Tests/L8PosTest.class.st
@@ -6,7 +6,7 @@ Class {
 
 { #category : #tests }
 L8PosTest >> test_append [
-	self skip
+	self skip "cf. #tcInvs"
 ]
 
 { #category : #tests }
diff --git a/src/SpriteLang/Array.extension.st b/src/SpriteLang/Array.extension.st
index b2fee774d..575a06789 100644
--- a/src/SpriteLang/Array.extension.st
+++ b/src/SpriteLang/Array.extension.st
@@ -26,5 +26,5 @@ tcInvs :: [SrcData] -> F.SEnv Reft
 				| inv |
 				inv := d inv.
 				inv isKnown and: [ inv expr pTrivial not ]
-			]) collect: [ :d | d shouldBeImplemented ])
+			]) collect: [ :d | d shouldBeImplemented "L8 test_append" ])
 ]