From 9ca3fc91a8757120a086bea2a0bb7a7803bfa093 Mon Sep 17 00:00:00 2001 From: Greg Pfeil Date: Wed, 27 Nov 2024 11:40:24 -0700 Subject: [PATCH] Stabilize a comment that breaks Ormolu idempotency MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Ormolu has [a few problems with idempotency of comments](https://github.com/tweag/ormolu/issues?q=is%3Aissue+idempotent+comment+is%3Aopen+). So this converts the one instance that affects us into Haddock that can’t be moved. --- unison-cli/src/Unison/Codebase/Editor/Input.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/unison-cli/src/Unison/Codebase/Editor/Input.hs b/unison-cli/src/Unison/Codebase/Editor/Input.hs index d33a3cfb20..2b811c418f 100644 --- a/unison-cli/src/Unison/Codebase/Editor/Input.hs +++ b/unison-cli/src/Unison/Codebase/Editor/Input.hs @@ -127,9 +127,10 @@ data Input | PullI !PullSourceTarget !PullMode | PushRemoteBranchI PushRemoteBranchInput | ResetI (BranchId2 {- namespace to reset it to -}) (Maybe UnresolvedProjectBranch {- ProjectBranch to reset -}) - | -- todo: Q: Does it make sense to publish to not-the-root of a Github repo? + | -- | used in Welcome module to give directions to user + -- + -- todo: Q: Does it make sense to publish to not-the-root of a Github repo? -- Does it make sense to fork from not-the-root of a Github repo? - -- used in Welcome module to give directions to user CreateMessage (P.Pretty P.ColorText) | -- Change directory. SwitchBranchI Path'