pkgs/development/compilers/idris2/tests.nix

   1 { stdenv, lib, pname, idris2, zsh }:
   2
   3 let
   4   testCompileAndRun = {testName, code, want, packages ? []}: let
   5       packageString = builtins.concatStringsSep " " (map (p: "--package " + p) packages);
   6     in stdenv.mkDerivation {
   7       name = "${pname}-${testName}";
   8       meta.timeout = 60;
   9
  10       # with idris2 compiled binaries assume zsh is available on darwin, but that
  11       # is not the case with pure nix environments. Thus, we need to include zsh
  12       # when we build for darwin in tests. While this is impure, this is also what
  13       # we find in real darwin hosts.
  14       nativeBuildInputs = lib.optionals stdenv.isDarwin [ zsh ];
  15
  16       buildCommand = ''
  17         set -eo pipefail
  18
  19         cat > packageTest.idr <<HERE
  20         ${code}
  21         HERE
  22
  23         ${idris2}/bin/idris2 ${packageString} -o packageTest packageTest.idr
  24
  25         GOT=$(./build/exec/packageTest)
  26
  27         if [ "$GOT" = "${want}" ]; then
  28           echo "${testName} SUCCESS: '$GOT' = '${want}'"
  29         else
  30           >&2 echo "Got '$GOT', want: '${want}'"
  31           exit 1
  32         fi
  33
  34         touch $out
  35       '';
  36     };
  37 in {
  38   # Simple hello world compiles, runs and outputs as expected
  39   hello-world = testCompileAndRun {
  40     testName = "hello-world";
  41     code = ''
  42       module Main
  43
  44       main : IO ()
  45       main = putStrLn "Hello World!"
  46     '';
  47     want = "Hello World!";
  48   };
  49
  50   # Data.Vect.Sort is available via --package contrib
  51   use-contrib = testCompileAndRun {
  52     testName = "use-contrib";
  53     packages = [ "contrib" ];
  54     code = ''
  55       module Main
  56
  57       import Data.Vect
  58       import Data.Vect.Sort  -- from contrib
  59
  60       vect : Vect 3 Int
  61       vect = 3 :: 1 :: 5 :: Nil
  62
  63       main : IO ()
  64       main = putStrLn $ show (sort vect)
  65     '';
  66     want = "[1, 3, 5]";
  67   };
  68 }