646b892680
Some checks failed
Periodic Merges (6h) / master → staging-nixos (push) Failing after 12m50s
Periodic Merges (6h) / master → staging-next (push) Failing after 12m54s
Periodic Merges (24h) / merge-base(master,staging) → haskell-updates (push) Failing after 11m54s
Periodic Merges (6h) / staging-next → staging (push) Failing after 12m13s
Periodic Merges (24h) / staging-next-25.05 → staging-25.05 (push) Failing after 13m24s
Periodic Merges (24h) / release-25.05 → staging-next-25.05 (push) Failing after 14m28s
36 lines
591 B
Nix
36 lines
591 B
Nix
{
|
|
interpreter,
|
|
writeText,
|
|
runCommand,
|
|
}:
|
|
|
|
let
|
|
|
|
python =
|
|
let
|
|
packageOverrides = self: super: {
|
|
typeddep = self.callPackage ./typeddep { };
|
|
};
|
|
in
|
|
interpreter.override {
|
|
inherit packageOverrides;
|
|
self = python;
|
|
};
|
|
|
|
pythonEnv = python.withPackages (ps: [
|
|
ps.typeddep
|
|
ps.mypy
|
|
]);
|
|
|
|
pythonScript = writeText "myscript.py" ''
|
|
from typeddep import util
|
|
s: str = util.echo("hello")
|
|
print(s)
|
|
'';
|
|
|
|
in
|
|
runCommand "${interpreter.name}-site-prefix-mypy-test" { } ''
|
|
${pythonEnv}/bin/mypy ${pythonScript}
|
|
touch $out
|
|
''
|