From c60bd180065e37891b952c7cbdbe93ed293d6165 Mon Sep 17 00:00:00 2001 From: Alex Rice Date: Wed, 17 Mar 2021 22:01:59 +0000 Subject: [PATCH] agda nixos test: fix hello world program --- nixos/tests/agda.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/nixos/tests/agda.nix b/nixos/tests/agda.nix index 3773907cff5..f282788519c 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 {