From 7c2cbbd99c2bf3d476c2b493f0127a61252a4566 Mon Sep 17 00:00:00 2001
From: Kaveh Zare <kaveh.zare@nasa.gov>
Date: Fri, 16 Oct 2026 13:30:21 -0500
Subject: [PATCH 1/2] copilot-core: Fix comments for two tests in
 `Test.Copilot.Core.Type`. Refs #781.

The Haddock comments that accompany the properties `testUpdateStruct` and
`testUpdateStruct`, included in the test module
`copilot-core:Test.Copilot.Core.Type` are incorrect. The comments indicate that
the properties test showing a struct, when they are related to updates instead.
All Haddock comments should correctly document the functionality implemented in
Copilot.

This commit fixes the Haddock comments for the aforementioned test properties.
---
 copilot-core/tests/Test/Copilot/Core/Type.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/copilot-core/tests/Test/Copilot/Core/Type.hs b/copilot-core/tests/Test/Copilot/Core/Type.hs
index 9f9cb6d5e..128cdea67 100644
--- a/copilot-core/tests/Test/Copilot/Core/Type.hs
+++ b/copilot-core/tests/Test/Copilot/Core/Type.hs
@@ -350,7 +350,7 @@ testShowStruct = forAll arbitrary $ \k1 ->
                  forAll arbitrary $ \k2 ->
   show (S (Field k1) (Field k2)) == "<field1:" ++ show k1 ++ ",field2:" ++ show k2 ++ ">"
 
--- | Test showing a struct.
+-- | Test updating a struct.
 testUpdateStruct :: Property
 testUpdateStruct =
    forAll arbitrary $ \k1 ->
@@ -364,7 +364,7 @@ testUpdateStruct =
  where
    unField (Field x) = x
 
--- | Test showing a struct.
+-- | Test updating a struct (should fail).
 testUpdateStructFail :: Property
 testUpdateStructFail = expectFailure $
    forAll arbitrary $ \k1 ->

From 54f18ef8b755704082929a374ab8700c61eaeb9c Mon Sep 17 00:00:00 2001
From: Kaveh Zare <kaveh.zare@nasa.gov>
Date: Fri, 16 Oct 2026 13:35:12 -0500
Subject: [PATCH 2/2] copilot-core: Document changes in CHANGELOG. Refs #781.

---
 copilot-core/CHANGELOG | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/copilot-core/CHANGELOG b/copilot-core/CHANGELOG
index 8ffeafc40..ad519557c 100644
--- a/copilot-core/CHANGELOG
+++ b/copilot-core/CHANGELOG
@@ -1,7 +1,8 @@
-2026-10-12
+2026-10-16
         * Increase test coverage for `Copilot.Core.Type.Array`. (#767)
         * Fix errors in the documentation of `Copilot.Core.Spec`. (#769)
         * Replace tab in CHANGELOG. (#772)
+        * Fix comments for two tests in `Test.Copilot.Core.Type`. (#781)
 
 2026-09-07
         * Version bump (4.8.1). (#760)