From 59a699709ad1022b726e0d0309d3bc13dc694a83 Mon Sep 17 00:00:00 2001
From: Arya Irani <arya.irani@unison.cloud>
Date: Tue, 10 Oct 2023 11:18:10 -0400
Subject: [PATCH] comment

---
 unison-merge/src/Unison/Merge2.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/unison-merge/src/Unison/Merge2.hs b/unison-merge/src/Unison/Merge2.hs
index 452e3e8fef..64c4c3a22f 100644
--- a/unison-merge/src/Unison/Merge2.hs
+++ b/unison-merge/src/Unison/Merge2.hs
@@ -487,6 +487,7 @@ newtype WhatToTypecheck = WhatToTypecheck {unWhatToTypecheck :: DeepRefsId'}
 -- Similarly, when we ask "which <thing we can look up can lookup dependents for> is named <x>", and we want to look up constructors, that's weird.
 -- - term replaced with ctor: look up dependents of term in the opposing branch (ok)
 -- - ctor replaced with term: look up dependents of ctor in the opposing branch (we'll look up dependents of the decl instead, getting excess results, but it's ok)
+-- This seems okay. So disregard.
 
 -- Question: What happens if I update a ctor?
 whatToTypecheck :: (DeepRefs, UpdatesRefnt) -> (DeepRefs, UpdatesRefnt) -> Transaction WhatToTypecheck