unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-23 08:18:04 +03:00
Code Issues Projects Releases Wiki Activity

render CouldntOpenCodebase git error

Browse Source
This commit is contained in:
Arya Irani 2021-03-10 13:57:47 -05:00
parent d1ddcfef45
commit ca16a803be
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
parser-typechecker/src/Unison/CommandLine/OutputMessages.hs
View File

@ -662,6 +662,9 @@ notifyUser dir o = case o of
TodoOutput names todo -> pure (todoOutput names todo)
GitError input e -> pure $ case e of
CouldntOpenCodebase repo localPath -> P.wrap $ "I couldn't open the repository at"
<> prettyRepoBranch repo <> "in the cache directory at"
<> P.backticked' (P.string localPath) "."
CouldntParseRootBranch repo s -> P.wrap $ "I couldn't parse the string"
<> P.red (P.string s) <> "into a namespace hash, when opening the repository at"
<> P.group (prettyRepoBranch repo <> ".")