unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 02:25:39 +03:00
Code Issues Projects Releases Wiki Activity

automatically run ormolu

Browse Source
This commit is contained in:
ChrisPenner 2024-07-02 21:43:17 +00:00 committed by github-actions[bot]
parent 6ae9f8b302
commit eaf233cdbe
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
unison-cli/src/Unison/CommandLine/OutputMessages.hs
View File

@ -44,6 +44,7 @@ import Unison.Cli.MergeTypes (MergeSourceAndTarget (..))
import Unison.Cli.Pretty
import Unison.Cli.ServantClientUtils qualified as ServantClientUtils
import Unison.Codebase.Editor.DisplayObject (DisplayObject (..))
import Unison.Codebase.Editor.Input (BranchIdG (..))
import Unison.Codebase.Editor.Input qualified as Input
import Unison.Codebase.Editor.Output
( CreatedProjectBranchFrom (..),
@ -148,7 +149,6 @@ import Unison.Var (Var)
import Unison.Var qualified as Var
import Unison.WatchKind qualified as WK
import Witch (unsafeFrom)
import Unison.Codebase.Editor.Input (BranchIdG(..))
reportBugURL :: Pretty
reportBugURL = "https://github.com/unisonweb/unison/issues/new"
@ -815,11 +815,13 @@ notifyUser dir = \case
DeleteEverythingConfirmation ->
pure . P.warnCallout . P.lines $
[ "Are you sure you want to clear away everything?",
P.wrap ("You could use "
<> IP.makeExample' IP.projectCreate
<> " to switch to a new project instead,"
<> " or delete the current branch with " <> IP.makeExample' IP.deleteBranch
)
P.wrap
( "You could use "
<> IP.makeExample' IP.projectCreate
<> " to switch to a new project instead,"
<> " or delete the current branch with "
<> IP.makeExample' IP.deleteBranch
)
]
DeleteBranchConfirmation _uniqueDeletions -> error "todo"
-- let