agda nixos test: fix hello world program

2021-03-17 22:01:59 +00:00 · 2021-03-17 22:01:59 +00:00 · c60bd18006
parent d600f00664
commit c60bd18006
1 changed files with 2 additions and 1 deletions
--- 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
 {