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

Get tests building again.

Browse Source
This commit is contained in:
Chris Penner 2024-07-05 17:41:38 -07:00
parent 6021a3a2e7
commit 927b76bd59
3 changed files with 10 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
unison-cli/tests/Unison/Test/ClearCache.hs
View File

@ -23,7 +23,7 @@ test = scope "clearWatchCache" $
c
[i|
```ucm
.> alias.term ##Nat.+ +
scratch/main> alias.term ##Nat.+ +
```
```unison
> 1 + 1
@ -38,7 +38,7 @@ test = scope "clearWatchCache" $
c
[i|
```ucm
.> debug.clear-cache
scratch/main> debug.clear-cache
```
|]

9
unison-cli/tests/Unison/Test/Cli/Monad.hs
View File

@ -36,12 +36,11 @@ dummyEnv = undefined
dummyLoopState :: Cli.LoopState
dummyLoopState =
Cli.LoopState
{ currentPathStack = undefined,
lastInput = Nothing,
lastRunResult = Nothing,
lastSavedRootHash = undefined,
{ currentProjectRoot = undefined,
projectPathStack = undefined,
latestFile = Nothing,
latestTypecheckedFile = Nothing,
lastInput = Nothing,
numberedArgs = [],
root = undefined
lastRunResult = Nothing
}

23
unison-cli/tests/Unison/Test/UriParser.hs
View File

@ -8,11 +8,6 @@ import EasyTest
import Text.Megaparsec qualified as P
import Unison.Codebase.Editor.RemoteRepo
( ReadRemoteNamespace (..),
ShareCodeserver (..),
ShareUserHandle (..),
WriteRemoteNamespace (..),
WriteShareRemoteNamespace (..),
pattern ReadShareLooseCode,
)
import Unison.Codebase.Editor.UriParser qualified as UriParser
import Unison.Codebase.Path qualified as Path
@ -27,8 +22,7 @@ test =
[ parserTests
"repoPath"
(UriParser.readRemoteNamespaceParser ProjectBranchSpecifier'Name <* P.eof)
[ ("unisonweb.base._releases.M4", looseR "unisonweb" ["base", "_releases", "M4"]),
("project", branchR (This "project")),
[ ("project", branchR (This "project")),
("/branch", branchR (That "branch")),
("project/branch", branchR (These "project" "branch"))
]
@ -36,8 +30,7 @@ test =
parserTests
"writeRemoteNamespace"
(UriParser.writeRemoteNamespace <* P.eof)
[ ("unisonweb.base._releases.M4", looseW "unisonweb" ["base", "_releases", "M4"]),
("project", branchW (This "project")),
[ ("project", branchW (This "project")),
("/branch", branchW (That "branch")),
("project/branch", branchW (These "project" "branch"))
]
@ -48,14 +41,6 @@ test =
mkPath :: [Text] -> Path.Path
mkPath = Path.fromList . fmap NameSegment
looseR :: Text -> [Text] -> ReadRemoteNamespace void
looseR user path =
ReadShare'LooseCode (ReadShareLooseCode DefaultCodeserver (ShareUserHandle user) (mkPath path))
looseW :: Text -> [Text] -> WriteRemoteNamespace void
looseW user path =
WriteRemoteNamespaceShare (WriteShareRemoteNamespace DefaultCodeserver (ShareUserHandle user) (mkPath path))
branchR :: These Text Text -> ReadRemoteNamespace (These ProjectName ProjectBranchName)
branchR =
ReadShare'ProjectBranch . \case
@ -63,9 +48,9 @@ branchR =
That branch -> That (UnsafeProjectBranchName branch)
These project branch -> These (UnsafeProjectName project) (UnsafeProjectBranchName branch)
branchW :: These Text Text -> WriteRemoteNamespace (These ProjectName ProjectBranchName)
branchW :: These Text Text -> (These ProjectName ProjectBranchName)
branchW =
WriteRemoteProjectBranch . \case
\case
This project -> This (UnsafeProjectName project)
That branch -> That (UnsafeProjectBranchName branch)
These project branch -> These (UnsafeProjectName project) (UnsafeProjectBranchName branch)