git.iko.soy/tix

on master help sign in

src/Tix/Typechecker.hs+3−3

@@ -361,13 +361,13 @@ instantiate s = do

361361infer :: NExprLoc -> InferM' NType

362362infer (Fix (Compose (Ann src x))) = local (const src) $ case x of

363363 NConstant a -> return . NAtomic $ case a of

364− NURI {} -> URI

364+ NURI {} -> String

365365 NInt {} -> Number

366366 NFloat {} -> Number

367367 NBool {} -> Bool

368368 NNull {} -> Null

369− NLiteralPath {} -> return . NAtomic $ Path

370− NEnvPath {} -> return . NAtomic $ Path

369+ NLiteralPath {} -> return . NAtomic $ String

370+ NEnvPath {} -> return . NAtomic $ String

371371 NStr {} -> return $ NAtomic String

372372 NSym var ->

373373 lookupVar var

src/Tix/Types.hs−2

@@ -135,9 +135,7 @@ data AtomicType

135135 = Number

136136 | Bool

137137 | String

138− | Path

139138 | Null

140− | URI

141139 deriving stock (Eq, Ord, Show, Generic)

142140

143141instance Pretty AtomicType where

test/golden/importless/0.1.txt+1−1

@@ -21,7 +21,7 @@

2121 version = String;

2222 } ->

2323 κ,

24− γ.optional = λ -> Path -> θ,

24+ γ.optional = λ -> String -> θ,

2525 β.isMusl = λ,

2626 μ.licenses = ν,

2727 μ.platforms = ξ,

test/golden/importless/0.11.1.txt+1−1

@@ -6,7 +6,7 @@

66 meta =

77 {description = String; homepage = String; license = δ; platforms = ε;};

88 name = String;

9− patches = [Path];

9+ patches = [String];

1010 src = ζ;

1111 } ->

1212 η,

test/golden/importless/0.11.txt+1−1

@@ -1 +1 @@

1−∀ α. {callPackage = Path -> {sha256 = String; version = String;} -> α;} -> α

1+∀ α. {callPackage = String -> {sha256 = String; version = String;} -> α;} -> α

test/golden/importless/0.12.txt+1−1

@@ -1 +1 @@

1−∀ α. {callPackage = Path -> {sha256 = String; version = String;} -> α;} -> α

1+∀ α. {callPackage = String -> {sha256 = String; version = String;} -> α;} -> α

test/golden/importless/0.29.txt+1−1

@@ -16,7 +16,7 @@

1616 version = String;

1717 } ->

1818 λ,

19− γ.optionals = β -> [Path] -> ι,

19+ γ.optionals = β -> [String] -> ι,

2020 μ.licenses = ν,

2121 μ.platforms = ξ,

2222 ν.lgpl2 = ζ,

test/golden/importless/0.3.3.txt+2−2

@@ -1,5 +1,5 @@

11∀ α β γ.

2−( (α) // ({patches = [Path]; sha256 = String; version = String;}) ~ (β),

3− α.callPackage = Path -> β -> γ

2+( (α) // ({patches = [String]; sha256 = String; version = String;}) ~ (β),

3+ α.callPackage = String -> β -> γ

44) =>

55α -> γ

test/golden/importless/0.5.1.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ.

22( (α) // ({prePatch = String; src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchurl = {sha256 = String; url = String;} -> β

55) =>

66α -> δ

test/golden/importless/0.61.txt+2−2

@@ -16,7 +16,7 @@

1616 name = String;

1717 nativeBuildInputs = [ι];

1818 outputs = [String];

19− patches = [Path];

19+ patches = [String];

2020 propagatedBuildInputs = [κ];

2121 src = λ;

2222 } ->

@@ -35,7 +35,7 @@

3535{ cairo = π;

3636 cmake = ι;

3737 curl = π;

38− fetchpatch = {name = String; sha256 = String; url = String;} -> Path;

38+ fetchpatch = {name = String; sha256 = String; url = String;} -> String;

3939 fetchurl = {sha256 = String; url = String;} -> λ;

4040 fontconfig = κ;

4141 freetype = κ;

test/golden/importless/0.9.txt+1−1

@@ -14,7 +14,7 @@

1414 maintainers = [ε];

1515 };

1616 name = String;

17− patches = [Path];

17+ patches = [String];

1818 postPatch = String;

1919 src = ζ;

2020 version = String;

test/golden/importless/1-default.txt+1−1

@@ -13,7 +13,7 @@

1313 };

1414 name = String;

1515 nativeBuildInputs = [η];

16− patches = [Path];

16+ patches = [String];

1717 postPatch = String;

1818 preConfigure = String;

1919 src = θ;

test/golden/importless/1.3.txt+1−1

@@ -27,7 +27,7 @@

2727 minorVersion = String;

2828 site = String;

2929 };

30− patches = [Path];

30+ patches = [String];

3131 pname = String;

3232 postInstall = String;

3333 postPatch = String;

test/golden/importless/1.55.txt+2−2

@@ -1,6 +1,6 @@

11∀ α β γ δ.

2−( (α) // ({patches = [Path]; src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

2+( (α) // ({patches = [String]; src = β; version = String;}) ~ (γ),

3+ α.callPackage = String -> γ -> δ,

44 α.fetchurl = {sha256 = String; url = String;} -> β

55) =>

66α -> δ

test/golden/importless/1.59.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ ε.

22( (α) // ({src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchurl = {sha256 = String; url = String;} -> β,

55 α.stdenv = ε

66) =>

test/golden/importless/1.60.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ ε.

22( (α) // ({src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchurl = {sha256 = String; url = String;} -> β,

55 α.stdenv = ε

66) =>

test/golden/importless/1.65.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ ε.

22( (α) // ({src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchurl = {sha256 = String; url = String;} -> β,

55 α.stdenv = ε

66) =>

test/golden/importless/1.66.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ ε.

22( (α) // ({src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchurl = {sha256 = String; url = String;} -> β,

55 α.stdenv = ε

66) =>

test/golden/importless/1.67.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ ε ζ η θ ι.

22( (α) // ({patches = [β]; src = γ; version = String;}) ~ (δ),

3− α.callPackage = Path -> δ -> ε,

3+ α.callPackage = String -> δ -> ε,

44 α.fetchpatch = {sha256 = String; stripLen = Number; url = String;} -> β,

55 α.fetchurl = {sha256 = String; url = String;} -> γ,

66 α.stdenv = ζ,

test/golden/importless/1.68.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ ε ζ.

22( (α) // ({src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchpatch = ε,

55 α.fetchurl = {sha256 = String; url = String;} -> β,

66 α.stdenv = ζ

test/golden/importless/1.69.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ ε ζ.

22( (α) // ({src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchpatch = ε,

55 α.fetchurl = {sha256 = String; url = String;} -> β,

66 α.stdenv = ζ

test/golden/importless/1.70.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ ε ζ.

22( (α) // ({src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchpatch = ε,

55 α.fetchurl = {sha256 = String; url = String;} -> β,

66 α.stdenv = ζ

test/golden/importless/1.71.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ ε ζ.

22( (α) // ({src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchpatch = ε,

55 α.fetchurl = {sha256 = String; urls = [String];} -> β,

66 α.stdenv = ζ

test/golden/importless/1.72.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ ε ζ.

22( (α) // ({src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchpatch = ε,

55 α.fetchurl = {sha256 = String; urls = [String];} -> β,

66 α.stdenv = ζ

test/golden/importless/1.8.5.txt+1−1

@@ -36,7 +36,7 @@

3636 π.platforms = σ,

3737 ρ.goibhniu = η,

3838 σ.linux = θ,

39− τ.optionals = υ -> [Path] -> [κ]

39+ τ.optionals = υ -> [String] -> [κ]

4040) =>

4141{ autoconf213 = ο;

4242 fetchpatch = {name = String; sha256 = String; url = String;} -> κ;

test/golden/importless/1.8.txt+2−2

@@ -19,12 +19,12 @@

1919 name = String;

2020 nativeBuildInputs = [ι];

2121 outputs = [String];

22− patches = [Path];

22+ patches = [String];

2323 postInstall = String;

2424 preBuild = String;

2525 propagatedBuildInputs = [δ];

2626 setOutputFlags = Bool;

27− setupHook = Path;

27+ setupHook = String;

2828 src = κ;

2929 } ->

3030 λ,

test/golden/importless/16.1.2.txt+2−2

@@ -12,7 +12,7 @@

1212 version = String;

1313 };

1414 name = String;

15− patches = [Path];

15+ patches = [String];

1616 postInstall = String;

1717 propagatedBuildInputs = [η];

1818 src = θ;

@@ -31,7 +31,7 @@

3131{ autoconf = γ;

3232 automake = γ;

3333 boehmgc = Null;

34− fetchpatch = {name = String; sha256 = String; url = String;} -> Path;

34+ fetchpatch = {name = String; sha256 = String; url = String;} -> String;

3535 fetchurl = {sha256 = String; url = String;} -> θ;

3636 gcc = η;

3737 gmp = η;

test/golden/importless/2.0.0.txt+1−1

@@ -13,7 +13,7 @@

1313 platforms = ζ;

1414 };

1515 nativeBuildInputs = [η];

16− patches = [Path];

16+ patches = [String];

1717 pname = String;

1818 postPatch = String;

1919 src = θ;

test/golden/importless/2.1.txt+1−1

@@ -1,5 +1,5 @@

11∀ α β γ.

22( (α) // ({sha256 = String; version = String;}) ~ (β),

3− α.callPackage = Path -> β -> γ

3+ α.callPackage = String -> β -> γ

44) =>

55α -> γ

test/golden/importless/2.2.txt+1−1

@@ -1,5 +1,5 @@

11∀ α β γ.

22( (α) // ({sha256 = String; version = String;}) ~ (β),

3− α.callPackage = Path -> β -> γ

3+ α.callPackage = String -> β -> γ

44) =>

55α -> γ

test/golden/importless/2.5.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ.

22( (α) // ({src = β; version = String;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchurl = {sha256 = String; url = String;} -> β

55) =>

66α -> δ

test/golden/importless/2.6.2.txt+1−1

@@ -12,7 +12,7 @@

1212 meta =

1313 {description = String; homepage = String; license = ζ; platforms = η;};

1414 nativeBuildInputs = [θ];

15− patches = [Path];

15+ patches = [String];

1616 pname = String;

1717 preConfigure = String;

1818 src = ι;

test/golden/importless/2.7.7.txt+1−1

@@ -11,7 +11,7 @@

1111 };

1212 name = String;

1313 nativeBuildInputs = [ζ];

14− patches = [Path];

14+ patches = [String];

1515 src = η;

1616 } ->

1717 θ,

test/golden/importless/2.8.txt+1−1

@@ -1,5 +1,5 @@

11∀ α β γ.

22( ({branch = String; sha256 = String; version = String;}) // (α) ~ (β),

3− α.callPackage = Path -> β -> γ

3+ α.callPackage = String -> β -> γ

44) =>

55α -> γ

test/golden/importless/2_4.txt+1−1

@@ -1,5 +1,5 @@

11∀ α β γ.

22( (α) // ({sha256 = String; version = String;}) ~ (β),

3− α.callPackage = Path -> β -> γ

3+ α.callPackage = String -> β -> γ

44) =>

55α -> γ

test/golden/importless/3.0.txt+1−1

@@ -1,5 +1,5 @@

11∀ α β γ.

22( (α) // ({sha256 = String; version = String;}) ~ (β),

3− α.callPackage = Path -> β -> γ

3+ α.callPackage = String -> β -> γ

44) =>

55α -> γ

test/golden/importless/3.0.x.txt+1−1

@@ -10,7 +10,7 @@

1010 };

1111 name = String;

1212 nativeBuildInputs = [ε];

13− patches = [Path];

13+ patches = [String];

1414 src = ζ;

1515 } ->

1616 η,

test/golden/importless/3.08.0.txt+2−2

@@ -2,10 +2,10 @@

22( α.lib = β,

33 α.mkDerivation =

44 { buildFlags = [String];

5− builder = Path;

5+ builder = String;

66 checkTarget = [String];

77 configureFlags = [String];

8− configureScript = Path;

8+ configureScript = String;

99 dontAddPrefix = String;

1010 meta = {platforms = γ;};

1111 pname = String;

test/golden/importless/3.10.txt+1−1

@@ -1,2 +1,2 @@

11∀ α β.

2−(α.callPackage = Path -> {sha256 = String; version = String;} -> β) => α -> β

2+(α.callPackage = String -> {sha256 = String; version = String;} -> β) => α -> β

test/golden/importless/3.11.txt+1−1

@@ -1,5 +1,5 @@

11∀ α β γ.

22( (α) // ({sha256 = String; version = String;}) ~ (β),

3− α.callPackage = Path -> β -> γ

3+ α.callPackage = String -> β -> γ

44) =>

55α -> γ

test/golden/importless/3.12.1.txtnew file+42

@@ -0,0 +1,42 @@

1+∀ α β γ δ ε ζ η θ ι κ.

2+( α.isAarch32 = Bool,

3+ α.isDarwin = Bool,

4+ α.isMips = Bool,

5+ α.lib = β,

6+ α.mkDerivation =

7+ { buildFlags = [String];

8+ buildInputs = [String];

9+ configureFlags = [String];

10+ installTargets = String;

11+ meta =

12+ { branch = String;

13+ description = String;

14+ homepage = String;

15+ license = [γ];

16+ longDescription = String;

17+ platforms = δ;

18+ };

19+ passthru = {nativeCompilers = Bool;};

20+ patches = [String];

21+ pname = String;

22+ postBuild = String;

23+ preConfigure = String;

24+ prefixKey = String;

25+ src = ε;

26+ version = String;

27+ } ->

28+ ζ,

29+ β.optionals = Bool -> [String] -> [String],

30+ η.optionalString = Bool -> String -> String,

31+ θ.lgpl2 = γ,

32+ θ.licenses = ι,

33+ θ.linux = δ,

34+ θ.platforms = κ,

35+ θ.qpl = γ

36+) =>

37+{ fetchurl = {sha256 = String; url = String;} -> ε;

38+ ncurses = String;

39+ stdenv = α;

40+ xlibsWrapper = String;

41+} ->

42+ζ

test/golden/importless/3.12.txt+1−1

@@ -1,2 +1,2 @@

11∀ α β.

2−(α.callPackage = Path -> {sha256 = String; version = String;} -> β) => α -> β

2+(α.callPackage = String -> {sha256 = String; version = String;} -> β) => α -> β

test/golden/importless/3.13.txt+1−1

@@ -1,2 +1,2 @@

11∀ α β.

2−(α.callPackage = Path -> {sha256 = String; version = String;} -> β) => α -> β

2+(α.callPackage = String -> {sha256 = String; version = String;} -> β) => α -> β

test/golden/importless/3.5.txt+1−1

@@ -1,7 +1,7 @@

11∀ α β γ δ ε.

22( (α) // ({src = β; version = String;}) ~ (γ),

33 α.autoreconfHook = δ,

4− α.callPackage = Path -> γ -> ε,

4+ α.callPackage = String -> γ -> ε,

55 α.fetchFromGitHub =

66 {owner = String; repo = String; rev = String; sha256 = String;} -> β

77) =>

test/golden/importless/3.6.txt+1−1

@@ -1,2 +1,2 @@

11∀ α β.

2−(α.callPackage = Path -> {sha256 = String; version = String;} -> β) => α -> β

2+(α.callPackage = String -> {sha256 = String; version = String;} -> β) => α -> β

test/golden/importless/3.7.txt+1−1

@@ -1,2 +1,2 @@

11∀ α β.

2−(α.callPackage = Path -> {sha256 = String; version = String;} -> β) => α -> β

2+(α.callPackage = String -> {sha256 = String; version = String;} -> β) => α -> β

test/golden/importless/3.8.txt+1−1

@@ -1,2 +1,2 @@

11∀ α β.

2−(α.callPackage = Path -> {sha256 = String; version = String;} -> β) => α -> β

2+(α.callPackage = String -> {sha256 = String; version = String;} -> β) => α -> β

test/golden/importless/3.9.txt+1−1

@@ -1,2 +1,2 @@

11∀ α β.

2−(α.callPackage = Path -> {sha256 = String; version = String;} -> β) => α -> β

2+(α.callPackage = String -> {sha256 = String; version = String;} -> β) => α -> β

test/golden/importless/3_1.txt+1−1

@@ -1,5 +1,5 @@

11∀ α β γ.

22( (α) // ({sha256 = String; version = String;}) ~ (β),

3− α.callPackage = Path -> β -> γ

3+ α.callPackage = String -> β -> γ

44) =>

55α -> γ

test/golden/importless/4.txt+2−2

@@ -1,10 +1,10 @@

11∀ α β γ.

22{ Foundation = α;

33 callPackage =

4− Path ->

4+ String ->

55 { Foundation = α;

66 enableParallelBuilding = Bool;

7− extraPatches = [Path];

7+ extraPatches = [String];

88 libobjc = β;

99 sha256 = String;

1010 version = String;

test/golden/importless/5.41.txt+3−3

@@ -13,7 +13,7 @@

1313 platforms = ζ;

1414 };

1515 name = String;

16− patches = [Path];

16+ patches = [String];

1717 postInstall = String;

1818 src = η;

1919 version = String;

@@ -28,12 +28,12 @@

2828 π.peti = ε,

2929 ρ.platforms = σ,

3030 σ.unix = ζ,

31− τ.optionals = Bool -> [Path] -> [Path],

31+ τ.optionals = Bool -> [String] -> [String],

3232 υ.optionalString = Bool -> String -> String

3333) =>

3434{ ecl = Null;

3535 ecl-fasl = Bool;

36− fetchpatch = {sha256 = String; url = String;} -> Path;

36+ fetchpatch = {sha256 = String; url = String;} -> String;

3737 fetchurl = {sha256 = String; url = String;} -> η;

3838 gnuplot = Null;

3939 makeWrapper = Null;

test/golden/importless/5.7.txt+1−1

@@ -13,7 +13,7 @@

1313 platforms = [η];

1414 };

1515 nativeBuildInputs = θ;

16− patches = [Path];

16+ patches = [String];

1717 pname = String;

1818 prePatch = ι;

1919 src = κ;

test/golden/importless/6.txt+1−1

@@ -1,7 +1,7 @@

11∀ α β γ.

22{ Foundation = α;

33 callPackage =

4− Path ->

4+ String ->

55 { Foundation = α;

66 enableParallelBuilding = Bool;

77 libobjc = β;

test/golden/importless/7.6.6.txtnew file+46

@@ -0,0 +1,46 @@

1+∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ.

2+( β.optional = γ -> String -> [δ],

3+ ε.buildPlatform = ζ,

4+ ε.hostPlatform = η,

5+ ε.isLinux = θ,

6+ ε.lib = ι,

7+ ε.mkDerivation =

8+ { buildInputs = [κ];

9+ configureFlags = [String];

10+ doCheck = Bool;

11+ dontStrip = Bool;

12+ enableParallelBuilding = Bool;

13+ meta =

14+ { description = String;

15+ homepage = String;

16+ license = String;

17+ longDescription = String;

18+ maintainers = ∀ α. α;

19+ platforms = λ;

20+ };

21+ nativeBuildInputs = [μ];

22+ outputs = [String];

23+ patches = [δ];

24+ pname = String;

25+ preConfigure = ν;

26+ separateDebugInfo = θ;

27+ src = ξ;

28+ version = String;

29+ } ->

30+ ο,

31+ ι.optionalString = Bool -> String -> ν,

32+ η.libc = String,

33+ π.isRiscV = γ,

34+ ρ.platforms = σ,

35+ σ.all = λ,

36+ τ.libc = String

37+) =>

38+{ enableLargeConfig = Bool;

39+ fetchpatch = {sha256 = String; url = String;} -> δ;

40+ fetchurl = {sha256 = String; urls = [String];} -> ξ;

41+ lib = β;

42+ libatomic_ops = κ;

43+ pkgconfig = μ;

44+ stdenv = ε;

45+} ->

46+ο

test/golden/importless/8.0.x.txt+1−1

@@ -20,7 +20,7 @@

2020 outputs = [String];

2121 passthru =

2222 {client = ξ; connector-c = ξ; mysqlVersion = String; server = ξ;};

23− patches = [Path];

23+ patches = [String];

2424 pname = String;

2525 postInstall = String;

2626 src = ο;

test/golden/importless/8.5.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ ε.

22( (α) // ({src = β;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

3+ α.callPackage = String -> γ -> δ,

44 α.fetchurl = {sha256 = String; url = String;} -> β,

55 α.tcl = ε

66) =>

test/golden/importless/8.6.txt+3−3

@@ -1,11 +1,11 @@

11∀ α β γ δ ε ζ η θ.

2−( (α) // ({patches = [Path]; src = β;}) ~ (γ),

3− α.callPackage = Path -> γ -> δ,

2+( (α) // ({patches = [String]; src = β;}) ~ (γ),

3+ α.callPackage = String -> γ -> δ,

44 α.fetchurl = {sha256 = String; url = String;} -> β,

55 α.stdenv = ε,

66 α.tcl = ζ,

77 ε.isDarwin = η,

88 ε.lib = θ,

9− θ.optionals = η -> [Path] -> [Path]

9+ θ.optionals = η -> [String] -> [String]

1010) =>

1111α -> δ

test/golden/importless/8_0.txt+2−2

@@ -1,7 +1,7 @@

11∀ α β γ.

22( ( α

33 ) //

4− ( { extraPatches = [Path];

4+ ( { extraPatches = [String];

55 extraPostInstall = String;

66 sha256 = String;

77 version = String;

@@ -9,6 +9,6 @@

99 ) ~

1010 ( β

1111 ),

12− α.callPackage = Path -> β -> γ

12+ α.callPackage = String -> β -> γ

1313) =>

1414α -> γ

test/golden/importless/9.2.txt+2−2

@@ -1,9 +1,9 @@

11∀ β γ δ ε ζ η θ ι κ λ μ ν ξ ο π.

22( β.lib = γ,

33 δ.mkDerivation =

4− { alt_wrapper = Path;

4+ { alt_wrapper = String;

55 buildInputs = [ε];

6− builder = Path;

6+ builder = String;

77 cctools_port = ζ;

88 ldid = ζ;

99 meta =

test/golden/importless/account-service-util.txt+1−1

@@ -11,7 +11,7 @@

1111 name = String;

1212 nativeBuildInputs = [η];

1313 propagatedBuildInputs = [θ];

14− src = Path;

14+ src = String;

1515 strictDeps = Bool;

1616 } ->

1717 ι,

test/golden/importless/aliases.txt+1−1

@@ -212,6 +212,6 @@

212212 ξ4.zeavim-vim = η4,

213213 ο4.hasAttr = μ4 -> ξ4 -> Bool,

214214 π4.fromJSON = ρ4 -> σ4,

215− τ4.readFile = Path -> ρ4

215+ τ4.readFile = String -> ρ4

216216) =>

217217λ4 -> ξ4 -> ν4

test/golden/importless/apeclex.txt+1−1

@@ -1,7 +1,7 @@

11∀ α β γ δ ε ζ η.

22(α.lib = β, β.licenses = γ, γ.lgpl3 = δ, ε.gpl3 = δ) => { attemptoClex = ζ;

33 callPackage =

4− Path ->

4+ String ->

55 { description = String;

66 lexiconPath = String;

77 license = [δ];

test/golden/importless/automake-1.11.x.txt+3−3

@@ -2,7 +2,7 @@

22( α.lib = β,

33 α.mkDerivation =

44 { buildInputs = [γ];

5− builder = Path;

5+ builder = String;

66 doCheck = Bool;

77 dontPatchShebangs = Bool;

88 enableParallelBuilding = Bool;

@@ -15,9 +15,9 @@

1515 platforms = ε;

1616 };

1717 name = String;

18− patches = [Path];

18+ patches = [String];

1919 preCheck = String;

20− setupHook = Path;

20+ setupHook = String;

2121 src = ζ;

2222 } ->

2323 η,

test/golden/importless/automake-1.15.x.txt+2−2

@@ -16,9 +16,9 @@

1616 };

1717 name = String;

1818 nativeBuildInputs = [γ];

19− patches = [Path];

19+ patches = [String];

2020 preCheck = String;

21− setupHook = Path;

21+ setupHook = String;

2222 src = ζ;

2323 } ->

2424 η,

test/golden/importless/automake-1.16.x.txt+1−1

@@ -17,7 +17,7 @@

1717 name = String;

1818 nativeBuildInputs = [γ];

1919 preCheck = String;

20− setupHook = Path;

20+ setupHook = String;

2121 src = ζ;

2222 } ->

2323 η,

test/golden/importless/aws-s3-exporter.txt+1−1

@@ -7,7 +7,7 @@

77) =>

88{ buildGoPackage =

99 { doCheck = Bool;

10− goDeps = Path;

10+ goDeps = String;

1111 goPackagePath = String;

1212 meta =

1313 { description = String;

test/golden/importless/azure-agent.txt+1−1

@@ -75,7 +75,7 @@

7575 configurePhase = Bool;

7676 installPhase = String;

7777 name = String;

78− patches = [Path];

78+ patches = [String];

7979 pythonPath = [υ];

8080 runtimeDeps = [η];

8181 src = ρ;

test/golden/importless/bcc-git.txt+1−1

@@ -11,7 +11,7 @@

1111 maintainers = [δ];

1212 };

1313 name = String;

14− patches = [Path];

14+ patches = [String];

1515 src = ε;

1616 } ->

1717 ζ,

test/golden/importless/blivet.txt+1−1

@@ -15,7 +15,7 @@

1515 license = [ε];

1616 platforms = θ;

1717 };

18− patches = [Path];

18+ patches = [String];

1919 pname = String;

2020 postPatch = String;

2121 propagatedBuildInputs = [γ];

test/golden/importless/bloodspilot-server.txt+1−1

@@ -9,7 +9,7 @@

99 maintainers = [ε];

1010 platforms = ζ;

1111 };

12− patches = [Path];

12+ patches = [String];

1313 pname = String;

1414 src = η;

1515 version = String;

test/golden/importless/builds.txt+1−1

@@ -22,7 +22,7 @@

2222 maintainers = [ζ];

2323 };

2424 nativeBuildInputs = ε;

25− patches = [Path];

25+ patches = [String];

2626 pname = String;

2727 postInstall = String;

2828 preBuild = String;

test/golden/importless/check-plugin.txt+1−1

@@ -11,7 +11,7 @@

1111 };

1212 name = String;

1313 nativeBuildInputs = [η];

14− patches = [Path];

14+ patches = [String];

1515 prePatch = String;

1616 propagatedBuildInputs = [δ];

1717 src = θ;

test/golden/importless/chrootenv.txt+2−2

@@ -23,7 +23,7 @@

2323 β.pkgs = δ,

2424 γ.override =

2525 { packageOverrides =

26− (ε.callPackage = Path -> {} -> ζ) => ε ->

26+ (ε.callPackage = String -> {} -> ζ) => ε ->

2727 η -> {platformio = ζ;};

2828 } ->

2929 β,

@@ -43,7 +43,7 @@

4343 β.pkgs = δ,

4444 γ.override =

4545 { packageOverrides =

46− (ε.callPackage = Path -> {} -> ζ) => ε ->

46+ (ε.callPackage = String -> {} -> ζ) => ε ->

4747 η -> {platformio = ζ;};

4848 } ->

4949 β,

test/golden/importless/cmake-modules.txt+1−1

@@ -5,7 +5,7 @@

55 nativeBuildInputs = [ε];

66 pname = String;

77 prePatch = String;

8− setupHook = Path;

8+ setupHook = String;

99 src = ζ;

1010 version = String;

1111 } ->

test/golden/importless/community.txt+1−1

@@ -20,7 +20,7 @@

2020 platforms = [κ];

2121 };

2222 nativeBuildInputs = [λ];

23− patches = [Path];

23+ patches = [String];

2424 pname = String;

2525 postPatch = μ;

2626 preFixup = ν;

test/golden/importless/compiler-rt.txt+4−4

@@ -11,7 +11,7 @@

1111 enableParallelBuilding = Bool;

1212 nativeBuildInputs = [ζ];

1313 outputs = [String];

14− patches = [Path];

14+ patches = [String];

1515 pname = String;

1616 postInstall = η;

1717 postPatch = θ;

@@ -29,11 +29,11 @@

2929 υ.optionals = Bool -> [String] -> [String],

3030 φ.optionals = Bool -> [String] -> [String],

3131 χ.optionals = Bool -> [String] -> [String],

32− ψ.optional = ω -> Path -> [Path],

32+ ψ.optional = ω -> String -> [String],

3333 α1.isMusl = ω,

34− β1.optional = Bool -> Path -> [Path],

34+ β1.optional = Bool -> String -> [String],

3535 γ1.libc = String,

36− δ1.optional = ε1 -> Path -> [Path],

36+ δ1.optional = ε1 -> String -> [String],

3737 ζ1.isAarch32 = ε1,

3838 η1.optionalString = Bool -> String -> η,

3939 θ1.isDarwin = Bool,

test/golden/importless/configuration-ghc-head.txt+1−1

@@ -1,7 +1,7 @@

11∀ α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω α1 β1 γ1 δ1 ε1 ζ1 η1 θ1 ι1 κ1

22λ1 μ1 ν1 ξ1 ο1 π1 ρ1.

33( α.llvmPackages_6 = β,

4− γ.appendPatch = δ -> Path -> ε,

4+ γ.appendPatch = δ -> String -> ε,

55 γ.doJailbreak = ζ -> η,

66 γ.dontCheck = θ -> ι,

77 κ.Diff = θ,

test/golden/importless/convert.txt+1−1

@@ -9,7 +9,7 @@

99 maintainers = [β];

1010 };

1111 passthru = {scriptName = String;};

12− patches = [Path];

12+ patches = [String];

1313 pname = String;

1414 postPatch = String;

1515 src = γ;

test/golden/importless/curaengine.txt+1−1

@@ -11,7 +11,7 @@

1111 platforms = ζ;

1212 };

1313 nativeBuildInputs = [η];

14− patches = [Path];

14+ patches = [String];

1515 pname = String;

1616 src = θ;

1717 version = String;

test/golden/importless/curry-base.txt+1−1

@@ -11,7 +11,7 @@

1111 libraryHaskellDepends = [ε];

1212 license = δ;

1313 pname = String;

14− src = Path;

14+ src = String;

1515 testHaskellDepends = [ε];

1616 version = String;

1717 } ->

test/golden/importless/curry-frontend.txt+1−1

@@ -18,7 +18,7 @@

1818 libraryHaskellDepends = [ε];

1919 license = δ;

2020 pname = String;

21− src = Path;

21+ src = String;

2222 testHaskellDepends = [ε];

2323 version = String;

2424 } ->

test/golden/importless/cursive.txt+1−1

@@ -13,7 +13,7 @@

1313 platforms = θ;

1414 };

1515 nativeBuildInputs = [ε];

16− patches = [Path];

16+ patches = [String];

1717 pname = String;

1818 preFixup = String;

1919 src = ι;

test/golden/importless/data-api.txt+1−1

@@ -14,7 +14,7 @@

1414 version = λ;

1515 } ->

1616 μ,

17− ι.override = {generated = Path; self = β;} -> β,

17+ ι.override = {generated = String; self = β;} -> β,

1818 θ.substring = Number -> Number -> String -> λ

1919) =>

2020{ fetchgit = {rev = String; sha256 = String; url = String;} -> κ;

test/golden/importless/declare-submoduleWith-path.txt+2−2

@@ -2,6 +2,6 @@

22( α.lib = β,

33 β.mkOption = {default = {}; type = γ;} -> δ,

44 β.types = ε,

5− ε.submoduleWith = {modules = [Path];} -> γ

5+ ε.submoduleWith = {modules = [String];} -> γ

66) =>

7−α -> {config = {submodule = Path;}; options = {submodule = δ;};}

7+α -> {config = {submodule = String;}; options = {submodule = δ;};}

test/golden/importless/dhall-packages.txt+1−1

@@ -13,4 +13,4 @@

1313 η,

1414 α.fix' = η -> θ

1515) =>

16−{lib = α; newScope = δ -> Path -> {} -> ζ; overrides = β -> γ -> {};} -> θ

16+{lib = α; newScope = δ -> String -> {} -> ζ; overrides = β -> γ -> {};} -> θ

test/golden/importless/dictd-db.txt+1−1

@@ -14,7 +14,7 @@

1414 β.platforms = ζ,

1515 ζ.linux = γ

1616) =>

17−{ callPackage = Path -> {} -> η;

17+{ callPackage = String -> {} -> η;

1818 fetchurl = {sha256 = String; url = String;} -> δ;

1919 stdenv = α;

2020} ->

test/golden/importless/dictd-wiktionary.txt+1−1

@@ -3,7 +3,7 @@

33 β.mkDerivation =

44 { buildInputs = [δ];

55 builder = ε;

6− convert = Path;

6+ convert = String;

77 data = ζ;

88 meta =

99 { description = String;

test/golden/importless/dictd-wordnet.txt+1−1

@@ -3,7 +3,7 @@

33 β.mkDerivation =

44 { buildInputs = [δ];

55 builder = ε;

6− convert = Path;

6+ convert = String;

77 meta =

88 { description = String;

99 homepage = String;

test/golden/importless/disable-bar.txt+1−1

@@ -1 +1 @@

1−{disabledModules = [Path];}

1+{disabledModules = [String];}

test/golden/importless/disable-declare-enable.txt+1−1

@@ -1 +1 @@

1−∀ α β. (α.lib = β) => α -> {disabledModules = [Path];}

1+∀ α β. (α.lib = β) => α -> {disabledModules = [String];}

test/golden/importless/disable-define-enable.txt+1−1

@@ -1 +1 @@

1−∀ α β. (α.lib = β) => α -> {disabledModules = [Path];}

1+∀ α β. (α.lib = β) => α -> {disabledModules = [String];}

test/golden/importless/disable-foo.txt+1−1

@@ -1 +1 @@

1−{disabledModules = [Path];}

1+{disabledModules = [String];}

test/golden/importless/dispatch.txt+1−1

@@ -15,7 +15,7 @@

1515 maintainers = [ε];

1616 };

1717 nativeBuildInputs = δ;

18− patches = [Path];

18+ patches = [String];

1919 pname = String;

2020 preBuild = String;

2121 propagatedBuildInputs = [γ];

test/golden/importless/dotty.txt+1−1

@@ -4,7 +4,7 @@

44 δ.meta = β

55) =>

66{ callPackage =

7− Path -> {fetchurl = ε; jre = ζ; makeWrapper = η; stdenv = α;} -> δ;

7+ String -> {fetchurl = ε; jre = ζ; makeWrapper = η; stdenv = α;} -> δ;

88 fetchurl = ε;

99 jre = ζ;

1010 makeWrapper = η;

test/golden/importless/dovecot-exporter.txt+1−1

@@ -11,7 +11,7 @@

1111 ζ.homepage = μ

1212) =>

1313{ buildGoPackage =

14− { goDeps = Path;

14+ { goDeps = String;

1515 goPackagePath = String;

1616 meta =

1717 {description = String; homepage = μ; license = κ; maintainers = [η];};

test/golden/importless/dust.txt+1−1

@@ -7,7 +7,7 @@

77 meta =

88 {description = String; homepage = δ; license = ε; platforms = [ζ];};

99 name = String;

10− patches = [Path];

10+ patches = [String];

1111 src = η;

1212 } ->

1313 θ,

test/golden/importless/edit.txt+1−1

@@ -8,7 +8,7 @@

88 {description = String; homepage = String; license = δ; platforms = ε;};

99 name = String;

1010 nativeBuildInputs = [ζ];

11− patches = [Path];

11+ patches = [String];

1212 postPatch = String;

1313 src = η;

1414 } ->

test/golden/importless/element-desktop.txt+2−2

@@ -37,10 +37,10 @@

3737 };

3838 name = String;

3939 nativeBuildInputs = [ο];

40− packageJSON = Path;

40+ packageJSON = String;

4141 src = ∀ α. α;

4242 version = ∀ α. α;

43− yarnNix = Path;

43+ yarnNix = String;

4444 } ->

4545 π;

4646 stdenv = β;

test/golden/importless/elm-json.txt+1−1

@@ -1,7 +1,7 @@

11∀ α β γ δ ε ζ η θ ι κ λ μ ν.

22( α.buildRustPackage =

33 { buildInputs = [β];

4− cargoPatches = [Path];

4+ cargoPatches = [String];

55 cargoSha256 = String;

66 doCheck = Bool;

77 meta =

test/golden/importless/extlinux-conf-builder.txt+1−1

@@ -4,6 +4,6 @@

44 α.gnugrep = γ,

55 α.gnused = γ,

66 α.substituteAll =

7− {bash = β; isExecutable = Bool; path = [γ]; src = Path;} -> δ

7+ {bash = β; isExecutable = Bool; path = [γ]; src = String;} -> δ

88) =>

99{pkgs = α;} -> δ

test/golden/importless/flatpak.txt+1−1

@@ -43,6 +43,6 @@

4343) =>

4444β ->

4545{ config = ξ;

46− meta = {doc = Path; maintainers = χ;};

46+ meta = {doc = String; maintainers = χ;};

4747 options = {services = {flatpak = {enable = ι; guiPackages = π;};};};

4848}

test/golden/importless/freeoffice.txt+1−1

@@ -12,7 +12,7 @@

1212 ( γ

1313 ),

1414 α.?officeVersion = {edition = String; sha256 = String; version = String;},

15− α.callPackage = Path -> γ -> δ,

15+ α.callPackage = String -> γ -> δ,

1616 α.fetchurl = {sha256 = String; url = String;} -> β

1717) =>

1818α -> δ

test/golden/importless/gdal-1_11.txt+1−1

@@ -13,7 +13,7 @@

1313 maintainers = [ε];

1414 platforms = [ζ];

1515 };

16− patches = [Path];

16+ patches = [String];

1717 pname = String;

1818 preBuild = String;

1919 preConfigure = String;

test/golden/importless/generations-dir.txt+6−1

@@ -19,7 +19,12 @@

1919 δ.gnused = ξ,

2020 δ.stdenv = ο,

2121 δ.substituteAll =

22− {bash = ν; copyKernels = π; isExecutable = Bool; path = [ξ]; src = Path;} ->

22+ { bash = ν;

23+ copyKernels = π;

24+ isExecutable = Bool;

25+ path = [ξ];

26+ src = String;

27+ } ->

2328 θ,

2429 ο.hostPlatform = ρ,

2530 ρ.platform = σ,

test/golden/importless/generic-stack-builder.txt+1−1

@@ -40,7 +40,7 @@

4040 ghc = ε;

4141 glibcLocales = λ;

4242 lib = κ;

43− makeSetupHook = {} -> Path -> ε;

43+ makeSetupHook = {} -> String -> ε;

4444 pkgconfig = ε;

4545 stack = ε;

4646 stdenv = η;

test/golden/importless/gitlab-ci-pipelines-exporter.txt+1−1

@@ -7,7 +7,7 @@

77) =>

88{ buildGoPackage =

99 { doCheck = Bool;

10− goDeps = Path;

10+ goDeps = String;

1111 goPackagePath = String;

1212 meta =

1313 { description = String;

test/golden/importless/graphite2.txt+1−1

@@ -14,7 +14,7 @@

1414 version = String;

1515 } ->

1616 μ,

17− γ.optionals = β -> [Path] -> κ,

17+ γ.optionals = β -> [String] -> κ,

1818 ν.licenses = ξ,

1919 ν.maintainers = ο,

2020 ν.platforms = π,

test/golden/importless/gstreamer.txt+1−1

@@ -12,7 +12,7 @@

1212 platforms = η;

1313 };

1414 nativeBuildInputs = [θ];

15− patches = [Path];

15+ patches = [String];

1616 pname = String;

1717 src = ι;

1818 version = String;

test/golden/importless/hg.txt+1−1

@@ -14,7 +14,7 @@

1414 maintainers = [ε];

1515 };

1616 nativeBuildInputs = δ;

17− patches = [Path];

17+ patches = [String];

1818 pname = String;

1919 preBuild = String;

2020 propagatedBuildInputs = [γ];

test/golden/importless/hidepid.txt+1−1

@@ -26,6 +26,6 @@

2626) =>

2727α ->

2828{ config = ι;

29− meta = {doc = Path; maintainers = [ξ];};

29+ meta = {doc = String; maintainers = [ξ];};

3030 options = {security = {hideProcessInformation = λ;};};

3131}

test/golden/importless/info.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β.

22{ callPackage =

3− Path ->

3+ String ->

44 {} ->

55 { buildInputs = [α];

66 buildPhase = String;

test/golden/importless/init-script.txt+1−1

@@ -11,7 +11,7 @@

1111 δ.gnugrep = ν,

1212 δ.gnused = ν,

1313 δ.substituteAll =

14− {bash = μ; isExecutable = Bool; path = [ν]; src = Path;} -> η,

14+ {bash = μ; isExecutable = Bool; path = [ν]; src = String;} -> η,

1515 ε.loader = ξ,

1616 ξ.initScript = ο,

1717 ο.enable = ζ,

test/golden/importless/js-build-tools.txt+1−1

@@ -14,7 +14,7 @@

1414 meta = {description = String; license = ε; maintainers = [ζ];};

1515 minimumSupportedOcamlVersion = String;

1616 name = String;

17− patches = [Path];

17+ patches = [String];

1818 src = θ;

1919 version = String;

2020 } ->

test/golden/importless/json-exporter.txt+1−1

@@ -7,7 +7,7 @@

77 ζ.json = θ

88) =>

99{ buildGoPackage =

10− { goDeps = Path;

10+ { goDeps = String;

1111 goPackagePath = String;

1212 meta =

1313 { description = String;

test/golden/importless/kdenlive.txt+1−1

@@ -31,7 +31,7 @@

3131 mlt = δ;

3232 name = String;

3333 nativeBuildInputs = [ε];

34− patches = [Path];

34+ patches = [String];

3535 postPatch = String;

3636 preFixup = String;

3737 qtWrapperArgs = [String];

test/golden/importless/kvm.txt+1−1

@@ -9,7 +9,7 @@

99) =>

1010{ buildGoPackage =

1111 { buildInputs = [ι];

12− goDeps = Path;

12+ goDeps = String;

1313 goPackagePath = String;

1414 meta =

1515 { description = String;

test/golden/importless/libnvc.txt+1−1

@@ -5,7 +5,7 @@

55 meta =

66 {description = String; homepage = String; license = γ; platforms = δ;};

77 nativeBuildInputs = [ε];

8− patches = [Path];

8+ patches = [String];

99 pname = String;

1010 postPatch = String;

1111 src = ζ;

test/golden/importless/libxpdf.txt+3−3

@@ -4,8 +4,8 @@

44 { installPhase = String;

55 meta = {license = γ; platforms = δ;};

66 name = String;

7− patches = [Path];

8− src = Path;

7+ patches = [String];

8+ src = String;

99 } ->

1010 ε,

1111 β.licenses = ζ,

@@ -13,4 +13,4 @@

1313 ζ.gpl2 = γ,

1414 η.unix = δ

1515) =>

16−{fetchurl = {sha256 = String; url = String;} -> Path; stdenv = α;} -> ε

16+{fetchurl = {sha256 = String; url = String;} -> String; stdenv = α;} -> ε

test/golden/importless/linux.txt+1−1

@@ -2,7 +2,7 @@

22( α.pkgs = β,

33 β.isPy27 = Bool,

44 γ.buildPythonPackage =

5− { patches = [Path];

5+ { patches = [String];

66 pname = String;

77 postFixup = String;

88 postInstall = String;

test/golden/importless/locales.txt+2−2

@@ -2,10 +2,10 @@

22(α.lib = β, β.optionalString = Bool -> String -> String) => { allLocales = Bool;

33 buildPackages = γ;

44 callPackage =

5− Path ->

5+ String ->

66 {stdenv = α;} ->

77 { buildPhase = String;

8− builder = Path;

8+ builder = String;

99 installPhase = String;

1010 meta = {description = String;};

1111 name = String;

test/golden/importless/luarocks-nix.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ.

22( α.overrideAttrs =

3− (β -> {patches = [Path]; pname = String; src = γ; version = String;}) -> δ

3+ (β -> {patches = [String]; pname = String; src = γ; version = String;}) -> δ

44) =>

55{ fetchFromGitHub =

66 {owner = String; repo = String; rev = String; sha256 = String;} -> γ;

test/golden/importless/m32edit.txt+1−1

@@ -10,6 +10,6 @@

1010 ) ~

1111 ( β

1212 ),

13− α.callPackage = Path -> β -> γ

13+ α.callPackage = String -> β -> γ

1414) =>

1515α -> γ

test/golden/importless/machine.txt+1−1

@@ -4,7 +4,7 @@

44 { config =

55 { packageOverrides =

66 ∀ α β.

7− (α.callPackage = Path -> {} -> β) => α ->

7+ (α.callPackage = String -> {} -> β) => α ->

88 {hello-world-container = β;};

99 };

1010 };

test/golden/importless/macport.txt+1−1

@@ -21,7 +21,7 @@

2121 };

2222 name = String;

2323 nativeBuildInputs = [θ];

24− patches = [Path];

24+ patches = [String];

2525 pname = String;

2626 postInstall = String;

2727 postPatch = String;

test/golden/importless/macvim.txt+1−1

@@ -13,7 +13,7 @@

1313 platforms = η;

1414 };

1515 nativeBuildInputs = [θ];

16− patches = [Path];

16+ patches = [String];

1717 pname = String;

1818 postConfigure = String;

1919 postInstall = String;

test/golden/importless/mail-exporter.txt+1−1

@@ -11,7 +11,7 @@

1111 δ.mail = λ

1212) =>

1313{ buildGoPackage =

14− { goDeps = Path;

14+ { goDeps = String;

1515 goPackagePath = String;

1616 meta =

1717 { description = String;

test/golden/importless/mainline.txt+3−2

@@ -1,3 +1,4 @@

11∀ α β.

2−(α.callPackage = Path -> α -> {sha256 = String; version = String;} -> β) => α ->

3−β

2+( α.callPackage = String -> α -> {sha256 = String; version = String;} -> β

3+) =>

4+α -> β

test/golden/importless/man.txt+1−1

@@ -14,7 +14,7 @@

1414 maintainers = [ε];

1515 };

1616 nativeBuildInputs = δ;

17− patches = [Path];

17+ patches = [String];

1818 pname = String;

1919 preBuild = String;

2020 propagatedBuildInputs = [γ];

test/golden/importless/mavenPlugins.txt+1−1

@@ -1,7 +1,7 @@

11∀ α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω α1 β1 γ1 δ1 ε1 ζ1 η1 θ1 ι1 κ1

22λ1 μ1 ν1 ξ1 ο1 π1 ρ1 σ1 τ1.

33( α.callPackage =

4− Path ->

4+ String ->

55 {} ->

66 { artifactId = String;

77 groupId = String;

test/golden/importless/module-list.txt+1−1

@@ -1 +1 @@

1−[Path]

1+[String]

test/golden/importless/modules-closure.txt+1−1

@@ -2,7 +2,7 @@

22( α.mkDerivation =

33 { allowMissing = Bool;

44 allowedReferences = [String];

5− builder = Path;

5+ builder = String;

66 firmware = β;

77 kernel = γ;

88 name = String;

test/golden/importless/netboot.txt+1−1

@@ -7,7 +7,7 @@

77 β.system = η,

88 γ.literalExample = String -> θ,

99 γ.mkOption = {description = String; example = θ;} -> ι,

10− δ.callPackage = Path -> {storeContents = κ;} -> λ,

10+ δ.callPackage = String -> {storeContents = κ;} -> λ,

1111 δ.grub2 = μ,

1212 δ.grub2_efi = μ,

1313 δ.makeInitrd =

test/golden/importless/nextcloud-exporter.txt+1−1

@@ -10,7 +10,7 @@

1010) =>

1111{ buildGoPackage =

1212 { doCheck = Bool;

13− goDeps = Path;

13+ goDeps = String;

1414 goPackagePath = String;

1515 meta =

1616 { description = String;

test/golden/importless/nginxlog-exporter.txt+1−1

@@ -7,7 +7,7 @@

77) =>

88{ buildGoPackage =

99 { doCheck = Bool;

10− goDeps = Path;

10+ goDeps = String;

1111 goPackagePath = String;

1212 meta =

1313 { description = String;

test/golden/importless/nixops-v1_6_1.txt+2−2

@@ -21,7 +21,7 @@

2121 δ

2222) =>

2323{ callPackage =

24− Path ->

24+ String ->

2525 { nixopsAzurePackages = [ε];

2626 python2Packages = δ;

2727 src = θ;

@@ -29,7 +29,7 @@

2929 } ->

3030 ι;

3131 fetchurl = {sha256 = String; url = String;} -> θ;

32− newScope = ζ -> Path -> {} -> η;

32+ newScope = ζ -> String -> {} -> η;

3333 pkgs = β;

3434} ->

3535ι

test/golden/importless/nscd.txt+1−1

@@ -55,7 +55,7 @@

5555 θ1.etc = ι1,

5656 ι1.nscd.conf = κ1,

5757 κ1.source = μ,

58− θ.readFile = Path -> ξ,

58+ θ.readFile = String -> ξ,

5959 ρ.lines = ο,

6060 λ1.bool = μ1

6161) =>

test/golden/importless/obs-ndi.txt+1−1

@@ -11,7 +11,7 @@

1111 platforms = ζ;

1212 };

1313 nativeBuildInputs = [η];

14− patches = [Path];

14+ patches = [String];

1515 pname = String;

1616 postPatch = String;

1717 src = θ;

test/golden/importless/paste.txt+1−1

@@ -14,7 +14,7 @@

1414 maintainers = [ε];

1515 };

1616 nativeBuildInputs = δ;

17− patches = [Path];

17+ patches = [String];

1818 pname = String;

1919 preBuild = String;

2020 propagatedBuildInputs = [γ];

test/golden/importless/pdf_sets.txt+1−1

@@ -4,7 +4,7 @@

44 { installPhase = String;

55 name = γ;

66 preferLocalBuild = Bool;

7− setupHook = Path;

7+ setupHook = String;

88 src = δ;

99 } ->

1010 ε,

test/golden/importless/plotinus.txt+1−1

@@ -20,6 +20,6 @@

2020) =>

2121α ->

2222{ config = η;

23− meta = {doc = Path; maintainers = ξ;};

23+ meta = {doc = String; maintainers = ξ;};

2424 options = {programs = {plotinus = {enable = ι;};};};

2525}

test/golden/importless/port.txt+1−1

@@ -19,7 +19,7 @@

1919 nativeBuildInputs = [θ];

2020 outputs = [String];

2121 passthru = {targetPrefix = ι;};

22− patches = [Path];

22+ patches = [String];

2323 postPatch = String;

2424 preInstall = String;

2525 src = κ;

test/golden/importless/postfix-exporter.txt+1−1

@@ -17,7 +17,7 @@

1717 { buildFlags = ρ;

1818 buildInputs = σ;

1919 extraSrcs = ν;

20− goDeps = Path;

20+ goDeps = String;

2121 goPackagePath = String;

2222 meta =

2323 {description = String; homepage = π; license = ξ; maintainers = [η];};

test/golden/importless/process-exporter.txt+1−1

@@ -9,7 +9,7 @@

99) =>

1010{ buildGoPackage =

1111 { doCheck = Bool;

12− goDeps = Path;

12+ goDeps = String;

1313 goPackagePath = String;

1414 meta =

1515 { description = String;

test/golden/importless/pure.txt+1−1

@@ -3,7 +3,7 @@

33 { buildInputs = [β];

44 buildPhase = String;

55 installPhase = String;

6− patches = [Path];

6+ patches = [String];

77 pname = String;

88 src = γ;

99 version = String;

test/golden/importless/pyblock.txt+1−1

@@ -5,7 +5,7 @@

55 makeFlags = [String];

66 md5_path = String;

77 meta = {description = String; license = δ;};

8− patches = [Path];

8+ patches = [String];

99 pname = String;

1010 postPatch = String;

1111 src = ε;

test/golden/importless/qemu.txtnew file+49

@@ -0,0 +1,49 @@

1+∀ α β γ δ ε ζ η θ ι κ λ μ ν ξ ο.

2+( α.lib = β,

3+ α.mkDerivation =

4+ { buildInputs = [γ];

5+ configureFlags = [String];

6+ enableParallelBuilding = Bool;

7+ meta =

8+ { description = String;

9+ homepage = String;

10+ license = δ;

11+ maintainers = [ε];

12+ platforms = ζ;

13+ };

14+ name = String;

15+ nativeBuildInputs = [η];

16+ patches = [String];

17+ postUnpack = String;

18+ sourceRoot = String;

19+ srcs = [θ];

20+ } ->

21+ ι,

22+ α.targetPlatform = κ,

23+ λ.src = θ,

24+ β.licenses = μ,

25+ β.maintainers = ν,

26+ β.platforms = ξ,

27+ β.ris = ε,

28+ β.throw = String -> String,

29+ κ.system = String,

30+ ο.system = String,

31+ μ.gpl2Plus = δ,

32+ ξ.linux = ζ

33+) =>

34+{ aflplusplus = λ;

35+ autoconf = η;

36+ bison = η;

37+ fetchurl = {sha256 = String; url = String;} -> θ;

38+ flex = η;

39+ glib = γ;

40+ libuuid = γ;

41+ perl = η;

42+ pixman = γ;

43+ pkgconfig = η;

44+ python2 = η;

45+ stdenv = α;

46+ texinfo = η;

47+ zlib = γ;

48+} ->

49+ι

test/golden/importless/rabbitmq-exporter.txt+1−1

@@ -8,7 +8,7 @@

88 ζ.unix = θ

99) =>

1010{ buildGoPackage =

11− { goDeps = Path;

11+ { goDeps = String;

1212 goPackagePath = String;

1313 meta =

1414 { description = String;

test/golden/importless/raspberrypi-builder.txt+1−1

@@ -7,7 +7,7 @@

77 firmware = γ;

88 isExecutable = Bool;

99 path = [ζ];

10− src = Path;

10+ src = String;

1111 } ->

1212 η,

1313 β.bash = δ,

test/golden/importless/redis-exporter.txt+1−1

@@ -14,7 +14,7 @@

1414) =>

1515{ buildGoPackage =

1616 { buildFlagsArray = String;

17− goDeps = Path;

17+ goDeps = String;

1818 goPackagePath = String;

1919 meta =

2020 { description = String;

test/golden/importless/roboschool-fork.txt+1−1

@@ -14,7 +14,7 @@

1414 platforms = η;

1515 };

1616 nativeBuildInputs = [θ];

17− patches = [Path];

17+ patches = [String];

1818 pname = String;

1919 postPatch = ι;

2020 src = κ;

test/golden/importless/sagenb.txt+1−1

@@ -8,7 +8,7 @@

88{ buildPythonPackage =

99 { doCheck = Bool;

1010 meta = {description = String; license = ζ; maintainers = [ε];};

11− patches = [Path];

11+ patches = [String];

1212 pname = String;

1313 postInstall = String;

1414 propagatedBuildInputs = [η];

test/golden/importless/samtools_0_1_19.txt+1−1

@@ -10,7 +10,7 @@

1010 maintainers = [ε];

1111 platforms = ζ;

1212 };

13− patches = [Path];

13+ patches = [String];

1414 pname = String;

1515 src = η;

1616 version = String;

test/golden/importless/shared.txt+1−1

@@ -27,7 +27,7 @@

2727 minorVersion = ξ;

2828 site = String;

2929 };

30− patches = [Path];

30+ patches = [String];

3131 pname = String;

3232 postInstall = String;

3333 postPatch = String;

test/golden/importless/shiboken.txtnew file+43

@@ -0,0 +1,43 @@

1+∀ β γ δ ε ζ η θ ι κ λ.

2+( β.licenses = γ,

3+ β.optional = Bool -> String -> [String],

4+ β.platforms = δ,

5+ γ.gpl2 = ε,

6+ δ.all = ζ

7+) =>

8+{ buildPythonPackage =

9+ { cmakeFlags = η;

10+ enableParallelBuilding = Bool;

11+ format = String;

12+ meta =

13+ { broken = Bool;

14+ description = String;

15+ homepage = String;

16+ license = ε;

17+ maintainers = ∀ α. α;

18+ platforms = ζ;

19+ };

20+ nativeBuildInputs = [θ];

21+ patches = [String];

22+ pname = String;

23+ preConfigure = String;

24+ src = ι;

25+ version = String;

26+ } ->

27+ κ;

28+ cmake = θ;

29+ fetchurl = {sha256 = String; url = String;} -> ι;

30+ isPy35 = Bool;

31+ isPy36 = Bool;

32+ isPy37 = Bool;

33+ isPy3k = λ;

34+ lib = β;

35+ libxml2 = θ;

36+ libxslt = θ;

37+ pysideApiextractor = θ;

38+ pysideGeneratorrunner = θ;

39+ python = θ;

40+ qt4 = θ;

41+ sphinx = θ;

42+} ->

43+κ

test/golden/importless/skeinjar.txt+1−1

@@ -8,7 +8,7 @@

88 } ->

99 δ

1010) =>

11−{ callPackage = Path -> {src = ε; version = ζ;} -> η;

11+{ callPackage = String -> {src = ε; version = ζ;} -> η;

1212 maven = γ;

1313 src = ε;

1414 stdenv = β;

test/golden/importless/softmaker_office.txt+1−1

@@ -12,7 +12,7 @@

1212 ( γ

1313 ),

1414 α.?officeVersion = {edition = String; sha256 = String; version = String;},

15− α.callPackage = Path -> γ -> δ,

15+ α.callPackage = String -> γ -> δ,

1616 α.fetchurl = {sha256 = String; url = String;} -> β

1717) =>

1818α -> δ

test/golden/importless/springlobby.txt+1−1

@@ -13,7 +13,7 @@

1313 repositories = {git = String;};

1414 };

1515 nativeBuildInputs = [η];

16− patches = [Path];

16+ patches = [String];

1717 pname = String;

1818 postInstall = String;

1919 src = θ;

test/golden/importless/stable.txt+3−2

@@ -1,3 +1,4 @@

11∀ α β.

2−(α.callPackage = Path -> α -> {sha256 = String; version = String;} -> β) => α ->

3−β

2+( α.callPackage = String -> α -> {sha256 = String; version = String;} -> β

3+) =>

4+α -> β

test/golden/importless/staging.txt+1−1

@@ -14,4 +14,4 @@

1414 π.description = String,

1515 ν.version = ξ

1616) =>

17−{callPackage = Path -> {} -> λ; stdenv = η; wineUnstable = ι;} -> γ

17+{callPackage = String -> {} -> λ; stdenv = η; wineUnstable = ι;} -> γ

test/golden/importless/stellar-core.txt+1−1

@@ -12,7 +12,7 @@

1212 };

1313 name = String;

1414 nativeBuildInputs = [ζ];

15− patches = [Path];

15+ patches = [String];

1616 preConfigure = String;

1717 propagatedBuildInputs = [η];

1818 src = θ;

test/golden/importless/tes3mp.txt+1−1

@@ -17,7 +17,7 @@

1717 };

1818 name = String;

1919 nativeBuildInputs = [λ];

20− patches = [Path];

20+ patches = [String];

2121 postInstall = String;

2222 preConfigure = String;

2323 src = δ;

test/golden/importless/todo.txt+1−1

@@ -17,7 +17,7 @@

1717 maintainers = [ε];

1818 };

1919 nativeBuildInputs = δ;

20− patches = [Path];

20+ patches = [String];

2121 pname = String;

2222 preBuild = String;

2323 propagatedBuildInputs = [γ];

test/golden/importless/udev.txt+1−1

@@ -16,6 +16,6 @@

1616 θ.linux = δ

1717) =>

1818{ stdenv = α;

19− substituteAll = {isExecutable = Bool; shell = ζ; src = Path;} -> ι;

19+ substituteAll = {isExecutable = Bool; shell = ζ; src = String;} -> ι;

2020} ->

2121ε

test/golden/importless/ui.txt+1−1

@@ -12,7 +12,7 @@

1212 };

1313 nativeBuildInputs = [η];

1414 outputs = [String];

15− patches = [Path];

15+ patches = [String];

1616 pname = String;

1717 propagatedBuildInputs = [θ];

1818 src = ι;

test/golden/importless/v10.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ.

22{ callPackage =

3− Path ->

3+ String ->

44 {icu = α; openssl = β; python = γ;} ->

55 {enableNpm = Bool; sha256 = String; version = String;} -> δ;

66 enableNpm = Bool;

test/golden/importless/v12.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ δ.

22{ callPackage =

3− Path ->

3+ String ->

44 {icu = α; openssl = β; python = γ;} ->

55 {enableNpm = Bool; sha256 = String; version = String;} -> δ;

66 enableNpm = Bool;

test/golden/importless/v14.txt+1−1

@@ -1,6 +1,6 @@

11∀ α β γ.

22{ callPackage =

3− Path ->

3+ String ->

44 {openssl = α; python = β;} ->

55 {enableNpm = Bool; sha256 = String; version = String;} -> γ;

66 enableNpm = Bool;

test/golden/importless/v3_4.txt+2−2

@@ -3,9 +3,9 @@

33 Security = ζ;

44 boost = η;

55 callPackage =

6− Path ->

6+ String ->

77 {CoreFoundation = ε; Security = ζ; boost = η; cctools = θ; sasl = ι;} ->

8− {license = δ; patches = [Path]; sha256 = String; version = String;} -> κ;

8+ {license = δ; patches = [String]; sha256 = String; version = String;} -> κ;

99 cctools = θ;

1010 lib = λ;

1111 sasl = ι;

test/golden/importless/v3_6.txt+3−3

@@ -1,15 +1,15 @@

11∀ α β γ δ ε ζ η θ ι κ.

22( α.isDarwin = β,

33 α.lib = γ,

4− γ.optionals = β -> [Path] -> [Path]

4+ γ.optionals = β -> [String] -> [String]

55) =>

66{ CoreFoundation = δ;

77 Security = ε;

88 boost = ζ;

99 callPackage =

10− Path ->

10+ String ->

1111 {CoreFoundation = δ; Security = ε; boost = ζ; cctools = η; sasl = θ;} ->

12− {patches = [Path]; sha256 = String; version = String;} -> ι;

12+ {patches = [String]; sha256 = String; version = String;} -> ι;

1313 cctools = η;

1414 lib = κ;

1515 sasl = θ;

test/golden/importless/v4_0.txt+3−3

@@ -1,15 +1,15 @@

11∀ α β γ δ ε ζ η θ ι κ.

22( α.isDarwin = β,

33 α.lib = γ,

4− γ.optionals = β -> [Path] -> [Path]

4+ γ.optionals = β -> [String] -> [String]

55) =>

66{ CoreFoundation = δ;

77 Security = ε;

88 boost = ζ;

99 callPackage =

10− Path ->

10+ String ->

1111 {CoreFoundation = δ; Security = ε; boost = ζ; cctools = η; sasl = θ;} ->

12− {patches = [Path]; sha256 = String; version = String;} -> ι;

12+ {patches = [String]; sha256 = String; version = String;} -> ι;

1313 cctools = η;

1414 lib = κ;

1515 sasl = θ;

test/golden/importless/v4_2.txt+3−3

@@ -1,15 +1,15 @@

11∀ α β γ δ ε ζ η θ ι κ.

22( α.isDarwin = β,

33 α.lib = γ,

4− γ.optionals = β -> [Path] -> [Path]

4+ γ.optionals = β -> [String] -> [String]

55) =>

66{ CoreFoundation = δ;

77 Security = ε;

88 boost = ζ;

99 callPackage =

10− Path ->

10+ String ->

1111 {CoreFoundation = δ; Security = ε; boost = ζ; cctools = η; sasl = θ;} ->

12− {patches = [Path]; sha256 = String; version = String;} -> ι;

12+ {patches = [String]; sha256 = String; version = String;} -> ι;

1313 cctools = η;

1414 lib = κ;

1515 sasl = θ;

test/golden/importless/winetricks.txt+1−1

@@ -21,7 +21,7 @@

2121) =>

2222{ bash = γ;

2323 cabextract = γ;

24− callPackage = Path -> {} -> ι;

24+ callPackage = String -> {} -> ι;

2525 coreutils = γ;

2626 curl = γ;

2727 gnugrep = γ;

test/golden/importless/x32edit.txt+1−1

@@ -10,6 +10,6 @@

1010 ) ~

1111 ( β

1212 ),

13− α.callPackage = Path -> β -> γ

13+ α.callPackage = String -> β -> γ

1414) =>

1515α -> γ