diff options
| author | Alex Rice <alexrice999@hotmail.co.uk> | 2021-03-17 22:01:59 +0000 |
|---|---|---|
| committer | Alex Rice <alexrice999@hotmail.co.uk> | 2021-03-17 22:01:59 +0000 |
| commit | c60bd180065e37891b952c7cbdbe93ed293d6165 (patch) | |
| tree | da93134ff7dadf44913627d62f36a9bd4d19a5ef /nixos/tests/agda.nix | |
| parent | d600f006643e074c2ef1d72e462e218b647a096c (diff) | |
agda nixos test: fix hello world program
Diffstat (limited to 'nixos/tests/agda.nix')
| -rw-r--r-- | nixos/tests/agda.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/nixos/tests/agda.nix b/nixos/tests/agda.nix index 3773907cff55..f282788519c8 100644 --- a/nixos/tests/agda.nix +++ b/nixos/tests/agda.nix @@ -3,8 +3,9 @@ import ./make-test-python.nix ({ pkgs, ... }: let hello-world = pkgs.writeText "hello-world" '' open import IO + open import Level - main = run(putStrLn "Hello World!") + main = run {0ℓ} (putStrLn "Hello World!") ''; in { |