mirror of
https://github.com/unisonweb/unison.git
synced 2024-10-26 11:07:48 +03:00
Fix formatting that implies wrong precedence
I think this was due to an Ormolu version mismatch. Ormolu is happy with this change, so I think it was originally refomatted before I was using Ormolu from the Unison Nix environment.
This commit is contained in:
parent
ae70852257
commit
c2515821c5
@ -62,12 +62,9 @@ type P = P.Parsec Void Text.Text
|
||||
readRemoteNamespaceParser :: ProjectBranchSpecifier branch -> P (ReadRemoteNamespace (These ProjectName branch))
|
||||
readRemoteNamespaceParser specifier =
|
||||
P.label "generic repo" $
|
||||
ReadRemoteNamespaceGit
|
||||
<$> readGitRemoteNamespace
|
||||
<|> ReadShare'ProjectBranch
|
||||
<$> projectAndBranchNamesParserInTheContextOfAlsoParsingLooseCodePaths specifier
|
||||
<|> ReadShare'LooseCode
|
||||
<$> readShareLooseCode
|
||||
ReadRemoteNamespaceGit <$> readGitRemoteNamespace
|
||||
<|> ReadShare'ProjectBranch <$> projectAndBranchNamesParserInTheContextOfAlsoParsingLooseCodePaths specifier
|
||||
<|> ReadShare'LooseCode <$> readShareLooseCode
|
||||
|
||||
projectAndBranchNamesParserInTheContextOfAlsoParsingLooseCodePaths ::
|
||||
ProjectBranchSpecifier branch ->
|
||||
@ -95,12 +92,9 @@ writeRemoteNamespace =
|
||||
|
||||
writeRemoteNamespaceWith :: P a -> P (WriteRemoteNamespace a)
|
||||
writeRemoteNamespaceWith projectBranchParser =
|
||||
WriteRemoteNamespaceGit
|
||||
<$> writeGitRemoteNamespace
|
||||
<|> WriteRemoteProjectBranch
|
||||
<$> projectBranchParser
|
||||
<|> WriteRemoteNamespaceShare
|
||||
<$> writeShareRemoteNamespace
|
||||
WriteRemoteNamespaceGit <$> writeGitRemoteNamespace
|
||||
<|> WriteRemoteProjectBranch <$> projectBranchParser
|
||||
<|> WriteRemoteNamespaceShare <$> writeShareRemoteNamespace
|
||||
|
||||
-- >>> P.parseMaybe writeShareRemoteNamespace "unisonweb.base._releases.M4"
|
||||
-- Just (WriteShareRemoteNamespace {server = ShareRepo, repo = "unisonweb", path = base._releases.M4})
|
||||
|
Loading…
Reference in New Issue
Block a user