Merge pull request #110501 from neosimsim/agda-ghc-ieee754

agda.withPackages: use GHC with ieee754 as default
2021-02-03 15:55:37 -03:00
parent ca447081a8 67e43b7453
commit a27a2c4b15
3 changed files with 6 additions and 2 deletions
@@ -36,6 +36,10 @@ in
        "cp ${hello-world} HelloWorld.agda"
    )
    machine.succeed("agda -l standard-library -i . -c HelloWorld.agda")
+    # Check execution
+    assert "Hello World!" in machine.succeed(
+        "./HelloWorld"
+    ), "HelloWorld does not run properly"
  '';
 }
 )