Skip to content

Tidy up code #112

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
berewt merged 2 commits into from
Dec 22, 2025
Merged

Tidy up code #112

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b157b00
Tidy up code
berewt Dec 22, 2025
750b2f4
Update README install
berewt Dec 22, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 2 additions & 5 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -101,14 +101,11 @@ with `nix run github:replicatest/replica`.

#### Requirements

- [idris2](https://idris-lang.org) (v0.6.0);
- [idris2](https://idris-lang.org) (v0.8.0);
- [git](https://git-scm.com);
- [dhall][] and [dhall-to-json][].

Idris2 dependencies:

- the [`papers`](https://github.com/idris-lang/Idris2/tree/main/libs/papers)
package.
Idris2 dependencies: None

#### Steps

Expand Down
7 changes: 2 additions & 5 deletions documentation/README_JSON.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -101,13 +101,10 @@ You can either reuse it as an input to your own `flake`s or use it directly with

#### Requirements

- [idris2](https://idris-lang.org) (v0.6.0);
- [idris2](https://idris-lang.org) (v0.8.0);
- [git](https://git-scm.com);

Idris2 dependencies:

- the [`papers`](https://github.com/idris-lang/Idris2/tree/main/libs/papers)
package.
Idris2 dependencies: None.

```shell
# clone repo
Expand Down
1 change: 0 additions & 1 deletion src/Replica/App/Log.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,6 @@ import Control.App.Console

import Replica.App.Replica
import Replica.Option.Global
import Replica.Other.Decorated

%default total

Expand Down
4 changes: 2 additions & 2 deletions src/Replica/App/Run.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ import Replica.Other.Validation

%default total

-- Create the folders needed by Replica (usually ./.replica/test and ./.replica/log)
-- Create the folders needed by Replica (with default settings ./.replica/test and ./.replica/log)
prepareReplicaDir : SystemIO (SystemError :: e) =>
FileSystem (FSError :: e) =>
Has [ State RunContext RunCommand
Expand Down Expand Up @@ -64,6 +64,7 @@ prepareReplicaDir = do

data RunType = Partial | Total

-- Specifies the tests to run
data RunningPlan =
None
| Running RunType SuitePlan TestPlan
Expand Down Expand Up @@ -111,7 +112,6 @@ runAllTests plan = do
batchTests [] plan
where


handleInaccessibleTests :
List (Test, Either TestError TestResult) -> SuitePlan ->
App e (Maybe SuitePlan, List (Test, Either TestError TestResult))
Expand Down
1 change: 0 additions & 1 deletion src/Replica/App/Set.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,6 @@ updateConfig = updateConfig' []
else updateConfig' (x :: xs) ys s



export
setReplica :
FileSystem (FSError :: e) =>
Expand Down
2 changes: 2 additions & 0 deletions src/Replica/Command/Help.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,8 @@ import public Replica.Help
import Replica.Option.Types
import Replica.Other.Validation

%default total

export
help : Help
help = MkHelp
Expand Down