diff options
| author | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-07-15 08:47:25 +0200 |
|---|---|---|
| committer | sterni <sternenseemann@systemli.org> | 2021-07-15 10:25:44 +0200 |
| commit | 65fcd698bb723cc287f7ffd674fbe4ad816be974 (patch) | |
| tree | 73edc650b2e79a94c8edd6d3d247c1f0b8ea20dd /nixos/tests/agda.nix | |
| parent | 27ff64e91987b9f0c0404c37b718764d37d138d6 (diff) | |
nixosTests.agda: Adapt to --guardedness requirements
The one-line test is hard to fix in a readable manner
and doesn't really add value above the hello-world test.
So rather simplify to reduce maintenance.
Diffstat (limited to 'nixos/tests/agda.nix')
| -rw-r--r-- | nixos/tests/agda.nix | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/nixos/tests/agda.nix b/nixos/tests/agda.nix index f282788519c8..ec61af2afe75 100644 --- a/nixos/tests/agda.nix +++ b/nixos/tests/agda.nix @@ -2,6 +2,7 @@ import ./make-test-python.nix ({ pkgs, ... }: let hello-world = pkgs.writeText "hello-world" '' + {-# OPTIONS --guardedness #-} open import IO open import Level @@ -35,10 +36,6 @@ in machine.succeed("touch TestEmpty.agda") machine.succeed("agda TestEmpty.agda") - # Minimal script that actually uses the standard library - machine.succeed('echo "import IO" > TestIO.agda') - machine.succeed("agda -l standard-library -i . TestIO.agda") - # Hello world machine.succeed( "cp ${hello-world} HelloWorld.agda" |