git.iko.soy/tix

on master help sign in

src/Tix/Typechecker.hs+3−3

compare with master

unifiedsplit

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

361infer :: NExprLoc -> InferM' NType

361infer :: NExprLoc -> InferM' NType

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

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

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

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

364− NURI {} -> URI

364+ NURI {} -> String

365 NInt {} -> Number

365 NInt {} -> Number

366 NFloat {} -> Number

366 NFloat {} -> Number

367 NBool {} -> Bool

367 NBool {} -> Bool

368 NNull {} -> Null

368 NNull {} -> Null

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

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

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

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

371 NStr {} -> return $ NAtomic String

371 NStr {} -> return $ NAtomic String

372 NSym var ->

372 NSym var ->

373 lookupVar var

373 lookupVar var

src/Tix/Types.hs−2

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

135 = Number

135 = Number

136 | Bool

136 | Bool

137 | String

137 | String

138− | Path

139 | Null

138 | Null

140− | URI

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

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

142

140

143instance Pretty AtomicType where

141instance Pretty AtomicType where

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

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

21 version = String;

21 version = String;

22 } ->

22 } ->

23 κ,

23 κ,

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

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

25 β.isMusl = λ,

25 β.isMusl = λ,

26 μ.licenses = ν,

26 μ.licenses = ν,

27 μ.platforms = ξ,

27 μ.platforms = ξ,

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

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

6 meta =

6 meta =

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

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

8 name = String;

8 name = String;

9− patches = [Path];

9+ patches = [String];

10 src = ζ;

10 src = ζ;

11 } ->

11 } ->

12 η,

12 η,

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 @@

16 version = String;

16 version = String;

17 } ->

17 } ->

18 λ,

18 λ,

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

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

20 μ.licenses = ν,

20 μ.licenses = ν,

21 μ.platforms = ξ,

21 μ.platforms = ξ,

22 ν.lgpl2 = ζ,

22 ν.lgpl2 = ζ,

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

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

1∀ α β γ.

1∀ α β γ.

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

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

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

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

4) =>

4) =>

5α -> γ

5α -> γ

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

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

1∀ α β γ δ.

1∀ α β γ δ.

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

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

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

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

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

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

5) =>

5) =>

6α -> δ

6α -> δ

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

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

16 name = String;

16 name = String;

17 nativeBuildInputs = [ι];

17 nativeBuildInputs = [ι];

18 outputs = [String];

18 outputs = [String];

19− patches = [Path];

19+ patches = [String];

20 propagatedBuildInputs = [κ];

20 propagatedBuildInputs = [κ];

21 src = λ;

21 src = λ;

22 } ->

22 } ->

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

35{ cairo = π;

35{ cairo = π;

36 cmake = ι;

36 cmake = ι;

37 curl = π;

37 curl = π;

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

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

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

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

40 fontconfig = κ;

40 fontconfig = κ;

41 freetype = κ;

41 freetype = κ;

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

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

14 maintainers = [ε];

14 maintainers = [ε];

15 };

15 };

16 name = String;

16 name = String;

17− patches = [Path];

17+ patches = [String];

18 postPatch = String;

18 postPatch = String;

19 src = ζ;

19 src = ζ;

20 version = String;

20 version = String;

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

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

13 };

13 };

14 name = String;

14 name = String;

15 nativeBuildInputs = [η];

15 nativeBuildInputs = [η];

16− patches = [Path];

16+ patches = [String];

17 postPatch = String;

17 postPatch = String;

18 preConfigure = String;

18 preConfigure = String;

19 src = θ;

19 src = θ;

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

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

27 minorVersion = String;

27 minorVersion = String;

28 site = String;

28 site = String;

29 };

29 };

30− patches = [Path];

30+ patches = [String];

31 pname = String;

31 pname = String;

32 postInstall = String;

32 postInstall = String;

33 postPatch = String;

33 postPatch = String;

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

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

1∀ α β γ δ.

1∀ α β γ δ.

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

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

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

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

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

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

5) =>

5) =>

6α -> δ

6α -> δ

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

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

1∀ α β γ δ ε.

1∀ α β γ δ ε.

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

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

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

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

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

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

5 α.stdenv = ε

5 α.stdenv = ε

6) =>

6) =>

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

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

1∀ α β γ δ ε.

1∀ α β γ δ ε.

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

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

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

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

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

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

5 α.stdenv = ε

5 α.stdenv = ε

6) =>

6) =>

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

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

1∀ α β γ δ ε.

1∀ α β γ δ ε.

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

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

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

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

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

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

5 α.stdenv = ε

5 α.stdenv = ε

6) =>

6) =>

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

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

1∀ α β γ δ ε.

1∀ α β γ δ ε.

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

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

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

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

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

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

5 α.stdenv = ε

5 α.stdenv = ε

6) =>

6) =>

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

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

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

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

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

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

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

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

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

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

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

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

6 α.stdenv = ζ,

6 α.stdenv = ζ,

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

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

1∀ α β γ δ ε ζ.

1∀ α β γ δ ε ζ.

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

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

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

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

4 α.fetchpatch = ε,

4 α.fetchpatch = ε,

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

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

6 α.stdenv = ζ

6 α.stdenv = ζ

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

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

1∀ α β γ δ ε ζ.

1∀ α β γ δ ε ζ.

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

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

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

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

4 α.fetchpatch = ε,

4 α.fetchpatch = ε,

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

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

6 α.stdenv = ζ

6 α.stdenv = ζ

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

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

1∀ α β γ δ ε ζ.

1∀ α β γ δ ε ζ.

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

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

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

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

4 α.fetchpatch = ε,

4 α.fetchpatch = ε,

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

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

6 α.stdenv = ζ

6 α.stdenv = ζ

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

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

1∀ α β γ δ ε ζ.

1∀ α β γ δ ε ζ.

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

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

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

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

4 α.fetchpatch = ε,

4 α.fetchpatch = ε,

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

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

6 α.stdenv = ζ

6 α.stdenv = ζ

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

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

1∀ α β γ δ ε ζ.

1∀ α β γ δ ε ζ.

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

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

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

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

4 α.fetchpatch = ε,

4 α.fetchpatch = ε,

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

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

6 α.stdenv = ζ

6 α.stdenv = ζ

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

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

36 π.platforms = σ,

36 π.platforms = σ,

37 ρ.goibhniu = η,

37 ρ.goibhniu = η,

38 σ.linux = θ,

38 σ.linux = θ,

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

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

40) =>

40) =>

41{ autoconf213 = ο;

41{ autoconf213 = ο;

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

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

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

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

19 name = String;

19 name = String;

20 nativeBuildInputs = [ι];

20 nativeBuildInputs = [ι];

21 outputs = [String];

21 outputs = [String];

22− patches = [Path];

22+ patches = [String];

23 postInstall = String;

23 postInstall = String;

24 preBuild = String;

24 preBuild = String;

25 propagatedBuildInputs = [δ];

25 propagatedBuildInputs = [δ];

26 setOutputFlags = Bool;

26 setOutputFlags = Bool;

27− setupHook = Path;

27+ setupHook = String;

28 src = κ;

28 src = κ;

29 } ->

29 } ->

30 λ,

30 λ,

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

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

12 version = String;

12 version = String;

13 };

13 };

14 name = String;

14 name = String;

15− patches = [Path];

15+ patches = [String];

16 postInstall = String;

16 postInstall = String;

17 propagatedBuildInputs = [η];

17 propagatedBuildInputs = [η];

18 src = θ;

18 src = θ;

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

31{ autoconf = γ;

31{ autoconf = γ;

32 automake = γ;

32 automake = γ;

33 boehmgc = Null;

33 boehmgc = Null;

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

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

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

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

36 gcc = η;

36 gcc = η;

37 gmp = η;

37 gmp = η;

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

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

13 platforms = ζ;

13 platforms = ζ;

14 };

14 };

15 nativeBuildInputs = [η];

15 nativeBuildInputs = [η];

16− patches = [Path];

16+ patches = [String];

17 pname = String;

17 pname = String;

18 postPatch = String;

18 postPatch = String;

19 src = θ;

19 src = θ;

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

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

1∀ α β γ.

1∀ α β γ.

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

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

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

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

4) =>

4) =>

5α -> γ

5α -> γ

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

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

1∀ α β γ.

1∀ α β γ.

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

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

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

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

4) =>

4) =>

5α -> γ

5α -> γ

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

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

1∀ α β γ δ.

1∀ α β γ δ.

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

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

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

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

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

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

5) =>

5) =>

6α -> δ

6α -> δ

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

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

12 meta =

12 meta =

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

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

14 nativeBuildInputs = [θ];

14 nativeBuildInputs = [θ];

15− patches = [Path];

15+ patches = [String];

16 pname = String;

16 pname = String;

17 preConfigure = String;

17 preConfigure = String;

18 src = ι;

18 src = ι;

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

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

11 };

11 };

12 name = String;

12 name = String;

13 nativeBuildInputs = [ζ];

13 nativeBuildInputs = [ζ];

14− patches = [Path];

14+ patches = [String];

15 src = η;

15 src = η;

16 } ->

16 } ->

17 θ,

17 θ,

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

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

1∀ α β γ.

1∀ α β γ.

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

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

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

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

4) =>

4) =>

5α -> γ

5α -> γ

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

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

1∀ α β γ.

1∀ α β γ.

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

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

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

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

4) =>

4) =>

5α -> γ

5α -> γ

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

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

1∀ α β γ.

1∀ α β γ.

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

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

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

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

4) =>

4) =>

5α -> γ

5α -> γ

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

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

10 };

10 };

11 name = String;

11 name = String;

12 nativeBuildInputs = [ε];

12 nativeBuildInputs = [ε];

13− patches = [Path];

13+ patches = [String];

14 src = ζ;

14 src = ζ;

15 } ->

15 } ->

16 η,

16 η,

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

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

2( α.lib = β,

2( α.lib = β,

3 α.mkDerivation =

3 α.mkDerivation =

4 { buildFlags = [String];

4 { buildFlags = [String];

5− builder = Path;

5+ builder = String;

6 checkTarget = [String];

6 checkTarget = [String];

7 configureFlags = [String];

7 configureFlags = [String];

8− configureScript = Path;

8+ configureScript = String;

9 dontAddPrefix = String;

9 dontAddPrefix = String;

10 meta = {platforms = γ;};

10 meta = {platforms = γ;};

11 pname = String;

11 pname = String;

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

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

1∀ α β.

1∀ α β.

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 @@

1∀ α β γ.

1∀ α β γ.

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

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

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

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

4) =>

4) =>

5α -> γ

5α -> γ

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 @@

1∀ α β.

1∀ α β.

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 @@

1∀ α β.

1∀ α β.

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 @@

1∀ α β γ δ ε.

1∀ α β γ δ ε.

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

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

3 α.autoreconfHook = δ,

3 α.autoreconfHook = δ,

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

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

5 α.fetchFromGitHub =

5 α.fetchFromGitHub =

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

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

7) =>

7) =>

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

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

1∀ α β.

1∀ α β.

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 @@

1∀ α β.

1∀ α β.

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 @@

1∀ α β.

1∀ α β.

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 @@

1∀ α β.

1∀ α β.

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 @@

1∀ α β γ.

1∀ α β γ.

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

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

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

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

4) =>

4) =>

5α -> γ

5α -> γ

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

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

1∀ α β γ.

1∀ α β γ.

2{ Foundation = α;

2{ Foundation = α;

3 callPackage =

3 callPackage =

4− Path ->

4+ String ->

5 { Foundation = α;

5 { Foundation = α;

6 enableParallelBuilding = Bool;

6 enableParallelBuilding = Bool;

7− extraPatches = [Path];

7+ extraPatches = [String];

8 libobjc = β;

8 libobjc = β;

9 sha256 = String;

9 sha256 = String;

10 version = String;

10 version = String;

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

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

13 platforms = ζ;

13 platforms = ζ;

14 };

14 };

15 name = String;

15 name = String;

16− patches = [Path];

16+ patches = [String];

17 postInstall = String;

17 postInstall = String;

18 src = η;

18 src = η;

19 version = String;

19 version = String;

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

28 π.peti = ε,

28 π.peti = ε,

29 ρ.platforms = σ,

29 ρ.platforms = σ,

30 σ.unix = ζ,

30 σ.unix = ζ,

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

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

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

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

33) =>

33) =>

34{ ecl = Null;

34{ ecl = Null;

35 ecl-fasl = Bool;

35 ecl-fasl = Bool;

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

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

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

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

38 gnuplot = Null;

38 gnuplot = Null;

39 makeWrapper = Null;

39 makeWrapper = Null;

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

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

13 platforms = [η];

13 platforms = [η];

14 };

14 };

15 nativeBuildInputs = θ;

15 nativeBuildInputs = θ;

16− patches = [Path];

16+ patches = [String];

17 pname = String;

17 pname = String;

18 prePatch = ι;

18 prePatch = ι;

19 src = κ;

19 src = κ;

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

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

1∀ α β γ.

1∀ α β γ.

2{ Foundation = α;

2{ Foundation = α;

3 callPackage =

3 callPackage =

4− Path ->

4+ String ->

5 { Foundation = α;

5 { Foundation = α;

6 enableParallelBuilding = Bool;

6 enableParallelBuilding = Bool;

7 libobjc = β;

7 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 @@

20 outputs = [String];

20 outputs = [String];

21 passthru =

21 passthru =

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

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

23− patches = [Path];

23+ patches = [String];

24 pname = String;

24 pname = String;

25 postInstall = String;

25 postInstall = String;

26 src = ο;

26 src = ο;

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

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

1∀ α β γ δ ε.

1∀ α β γ δ ε.

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

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

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

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

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

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

5 α.tcl = ε

5 α.tcl = ε

6) =>

6) =>

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

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

1∀ α β γ δ ε ζ η θ.

1∀ α β γ δ ε ζ η θ.

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

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

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

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

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

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

5 α.stdenv = ε,

5 α.stdenv = ε,

6 α.tcl = ζ,

6 α.tcl = ζ,

7 ε.isDarwin = η,

7 ε.isDarwin = η,

8 ε.lib = θ,

8 ε.lib = θ,

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

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

10) =>

10) =>

11α -> δ

11α -> δ

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

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

1∀ α β γ.

1∀ α β γ.

2( ( α

2( ( α

3 ) //

3 ) //

4− ( { extraPatches = [Path];

4+ ( { extraPatches = [String];

5 extraPostInstall = String;

5 extraPostInstall = String;

6 sha256 = String;

6 sha256 = String;

7 version = String;

7 version = String;

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

9 ) ~

9 ) ~

10 ( β

10 ( β

11 ),

11 ),

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

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

13) =>

13) =>

14α -> γ

14α -> γ

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

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

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

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

2( β.lib = γ,

2( β.lib = γ,

3 δ.mkDerivation =

3 δ.mkDerivation =

4− { alt_wrapper = Path;

4+ { alt_wrapper = String;

5 buildInputs = [ε];

5 buildInputs = [ε];

6− builder = Path;

6+ builder = String;

7 cctools_port = ζ;

7 cctools_port = ζ;

8 ldid = ζ;

8 ldid = ζ;

9 meta =

9 meta =

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

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

11 name = String;

11 name = String;

12 nativeBuildInputs = [η];

12 nativeBuildInputs = [η];

13 propagatedBuildInputs = [θ];

13 propagatedBuildInputs = [θ];

14− src = Path;

14+ src = String;

15 strictDeps = Bool;

15 strictDeps = Bool;

16 } ->

16 } ->

17 ι,

17 ι,

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

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

212 ξ4.zeavim-vim = η4,

212 ξ4.zeavim-vim = η4,

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

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

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

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

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

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

216) =>

216) =>

217λ4 -> ξ4 -> ν4

217λ4 -> ξ4 -> ν4

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

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

1∀ α β γ δ ε ζ η.

1∀ α β γ δ ε ζ η.

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

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

3 callPackage =

3 callPackage =

4− Path ->

4+ String ->

5 { description = String;

5 { description = String;

6 lexiconPath = String;

6 lexiconPath = String;

7 license = [δ];

7 license = [δ];

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

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

2( α.lib = β,

2( α.lib = β,

3 α.mkDerivation =

3 α.mkDerivation =

4 { buildInputs = [γ];

4 { buildInputs = [γ];

5− builder = Path;

5+ builder = String;

6 doCheck = Bool;

6 doCheck = Bool;

7 dontPatchShebangs = Bool;

7 dontPatchShebangs = Bool;

8 enableParallelBuilding = Bool;

8 enableParallelBuilding = Bool;

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

15 platforms = ε;

15 platforms = ε;

16 };

16 };

17 name = String;

17 name = String;

18− patches = [Path];

18+ patches = [String];

19 preCheck = String;

19 preCheck = String;

20− setupHook = Path;

20+ setupHook = String;

21 src = ζ;

21 src = ζ;

22 } ->

22 } ->

23 η,

23 η,

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

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

16 };

16 };

17 name = String;

17 name = String;

18 nativeBuildInputs = [γ];

18 nativeBuildInputs = [γ];

19− patches = [Path];

19+ patches = [String];

20 preCheck = String;

20 preCheck = String;

21− setupHook = Path;

21+ setupHook = String;

22 src = ζ;

22 src = ζ;

23 } ->

23 } ->

24 η,

24 η,

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

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

17 name = String;

17 name = String;

18 nativeBuildInputs = [γ];

18 nativeBuildInputs = [γ];

19 preCheck = String;

19 preCheck = String;

20− setupHook = Path;

20+ setupHook = String;

21 src = ζ;

21 src = ζ;

22 } ->

22 } ->

23 η,

23 η,

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

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

7) =>

7) =>

8{ buildGoPackage =

8{ buildGoPackage =

9 { doCheck = Bool;

9 { doCheck = Bool;

10− goDeps = Path;

10+ goDeps = String;

11 goPackagePath = String;

11 goPackagePath = String;

12 meta =

12 meta =

13 { description = String;

13 { description = String;

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

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

75 configurePhase = Bool;

75 configurePhase = Bool;

76 installPhase = String;

76 installPhase = String;

77 name = String;

77 name = String;

78− patches = [Path];

78+ patches = [String];

79 pythonPath = [υ];

79 pythonPath = [υ];

80 runtimeDeps = [η];

80 runtimeDeps = [η];

81 src = ρ;

81 src = ρ;

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

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

11 maintainers = [δ];

11 maintainers = [δ];

12 };

12 };

13 name = String;

13 name = String;

14− patches = [Path];

14+ patches = [String];

15 src = ε;

15 src = ε;

16 } ->

16 } ->

17 ζ,

17 ζ,

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

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

15 license = [ε];

15 license = [ε];

16 platforms = θ;

16 platforms = θ;

17 };

17 };

18− patches = [Path];

18+ patches = [String];

19 pname = String;

19 pname = String;

20 postPatch = String;

20 postPatch = String;

21 propagatedBuildInputs = [γ];

21 propagatedBuildInputs = [γ];

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

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

9 maintainers = [ε];

9 maintainers = [ε];

10 platforms = ζ;

10 platforms = ζ;

11 };

11 };

12− patches = [Path];

12+ patches = [String];

13 pname = String;

13 pname = String;

14 src = η;

14 src = η;

15 version = String;

15 version = String;

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

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

22 maintainers = [ζ];

22 maintainers = [ζ];

23 };

23 };

24 nativeBuildInputs = ε;

24 nativeBuildInputs = ε;

25− patches = [Path];

25+ patches = [String];

26 pname = String;

26 pname = String;

27 postInstall = String;

27 postInstall = String;

28 preBuild = String;

28 preBuild = String;

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

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

11 };

11 };

12 name = String;

12 name = String;

13 nativeBuildInputs = [η];

13 nativeBuildInputs = [η];

14− patches = [Path];

14+ patches = [String];

15 prePatch = String;

15 prePatch = String;

16 propagatedBuildInputs = [δ];

16 propagatedBuildInputs = [δ];

17 src = θ;

17 src = θ;

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

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

23 β.pkgs = δ,

23 β.pkgs = δ,

24 γ.override =

24 γ.override =

25 { packageOverrides =

25 { packageOverrides =

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

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

27 η -> {platformio = ζ;};

27 η -> {platformio = ζ;};

28 } ->

28 } ->

29 β,

29 β,

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

43 β.pkgs = δ,

43 β.pkgs = δ,

44 γ.override =

44 γ.override =

45 { packageOverrides =

45 { packageOverrides =

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

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

47 η -> {platformio = ζ;};

47 η -> {platformio = ζ;};

48 } ->

48 } ->

49 β,

49 β,

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

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

5 nativeBuildInputs = [ε];

5 nativeBuildInputs = [ε];

6 pname = String;

6 pname = String;

7 prePatch = String;

7 prePatch = String;

8− setupHook = Path;

8+ setupHook = String;

9 src = ζ;

9 src = ζ;

10 version = String;

10 version = String;

11 } ->

11 } ->

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

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

20 platforms = [κ];

20 platforms = [κ];

21 };

21 };

22 nativeBuildInputs = [λ];

22 nativeBuildInputs = [λ];

23− patches = [Path];

23+ patches = [String];

24 pname = String;

24 pname = String;

25 postPatch = μ;

25 postPatch = μ;

26 preFixup = ν;

26 preFixup = ν;

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

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

11 enableParallelBuilding = Bool;

11 enableParallelBuilding = Bool;

12 nativeBuildInputs = [ζ];

12 nativeBuildInputs = [ζ];

13 outputs = [String];

13 outputs = [String];

14− patches = [Path];

14+ patches = [String];

15 pname = String;

15 pname = String;

16 postInstall = η;

16 postInstall = η;

17 postPatch = θ;

17 postPatch = θ;

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

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

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

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

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

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

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

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

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

33 α1.isMusl = ω,

33 α1.isMusl = ω,

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

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

35 γ1.libc = String,

35 γ1.libc = String,

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

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

37 ζ1.isAarch32 = ε1,

37 ζ1.isAarch32 = ε1,

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

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

39 θ1.isDarwin = Bool,

39 θ1.isDarwin = Bool,

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

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

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

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

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

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

3( α.llvmPackages_6 = β,

3( α.llvmPackages_6 = β,

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

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

5 γ.doJailbreak = ζ -> η,

5 γ.doJailbreak = ζ -> η,

6 γ.dontCheck = θ -> ι,

6 γ.dontCheck = θ -> ι,

7 κ.Diff = θ,

7 κ.Diff = θ,

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

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

9 maintainers = [β];

9 maintainers = [β];

10 };

10 };

11 passthru = {scriptName = String;};

11 passthru = {scriptName = String;};

12− patches = [Path];

12+ patches = [String];

13 pname = String;

13 pname = String;

14 postPatch = String;

14 postPatch = String;

15 src = γ;

15 src = γ;

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

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

11 platforms = ζ;

11 platforms = ζ;

12 };

12 };

13 nativeBuildInputs = [η];

13 nativeBuildInputs = [η];

14− patches = [Path];

14+ patches = [String];

15 pname = String;

15 pname = String;

16 src = θ;

16 src = θ;

17 version = String;

17 version = String;

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

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

11 libraryHaskellDepends = [ε];

11 libraryHaskellDepends = [ε];

12 license = δ;

12 license = δ;

13 pname = String;

13 pname = String;

14− src = Path;

14+ src = String;

15 testHaskellDepends = [ε];

15 testHaskellDepends = [ε];

16 version = String;

16 version = String;

17 } ->

17 } ->

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

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

18 libraryHaskellDepends = [ε];

18 libraryHaskellDepends = [ε];

19 license = δ;

19 license = δ;

20 pname = String;

20 pname = String;

21− src = Path;

21+ src = String;

22 testHaskellDepends = [ε];

22 testHaskellDepends = [ε];

23 version = String;

23 version = String;

24 } ->

24 } ->

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

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

13 platforms = θ;

13 platforms = θ;

14 };

14 };

15 nativeBuildInputs = [ε];

15 nativeBuildInputs = [ε];

16− patches = [Path];

16+ patches = [String];

17 pname = String;

17 pname = String;

18 preFixup = String;

18 preFixup = String;

19 src = ι;

19 src = ι;

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

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

14 version = λ;

14 version = λ;

15 } ->

15 } ->

16 μ,

16 μ,

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

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

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

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

19) =>

19) =>

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

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

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

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

2( α.lib = β,

2( α.lib = β,

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

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

4 β.types = ε,

4 β.types = ε,

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

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

6) =>

6) =>

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

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

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

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

13 η,

13 η,

14 α.fix' = η -> θ

14 α.fix' = η -> θ

15) =>

15) =>

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

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

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

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

14 β.platforms = ζ,

14 β.platforms = ζ,

15 ζ.linux = γ

15 ζ.linux = γ

16) =>

16) =>

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

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

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

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

19 stdenv = α;

19 stdenv = α;

20} ->

20} ->

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

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

3 β.mkDerivation =

3 β.mkDerivation =

4 { buildInputs = [δ];

4 { buildInputs = [δ];

5 builder = ε;

5 builder = ε;

6− convert = Path;

6+ convert = String;

7 data = ζ;

7 data = ζ;

8 meta =

8 meta =

9 { description = String;

9 { description = String;

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

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

3 β.mkDerivation =

3 β.mkDerivation =

4 { buildInputs = [δ];

4 { buildInputs = [δ];

5 builder = ε;

5 builder = ε;

6− convert = Path;

6+ convert = String;

7 meta =

7 meta =

8 { description = String;

8 { description = String;

9 homepage = String;

9 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 @@

15 maintainers = [ε];

15 maintainers = [ε];

16 };

16 };

17 nativeBuildInputs = δ;

17 nativeBuildInputs = δ;

18− patches = [Path];

18+ patches = [String];

19 pname = String;

19 pname = String;

20 preBuild = String;

20 preBuild = String;

21 propagatedBuildInputs = [γ];

21 propagatedBuildInputs = [γ];

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

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

4 δ.meta = β

4 δ.meta = β

5) =>

5) =>

6{ callPackage =

6{ callPackage =

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

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

8 fetchurl = ε;

8 fetchurl = ε;

9 jre = ζ;

9 jre = ζ;

10 makeWrapper = η;

10 makeWrapper = η;

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

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

11 ζ.homepage = μ

11 ζ.homepage = μ

12) =>

12) =>

13{ buildGoPackage =

13{ buildGoPackage =

14− { goDeps = Path;

14+ { goDeps = String;

15 goPackagePath = String;

15 goPackagePath = String;

16 meta =

16 meta =

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

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

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

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

7 meta =

7 meta =

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

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

9 name = String;

9 name = String;

10− patches = [Path];

10+ patches = [String];

11 src = η;

11 src = η;

12 } ->

12 } ->

13 θ,

13 θ,

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

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

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

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

9 name = String;

9 name = String;

10 nativeBuildInputs = [ζ];

10 nativeBuildInputs = [ζ];

11− patches = [Path];

11+ patches = [String];

12 postPatch = String;

12 postPatch = String;

13 src = η;

13 src = η;

14 } ->

14 } ->

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

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

37 };

37 };

38 name = String;

38 name = String;

39 nativeBuildInputs = [ο];

39 nativeBuildInputs = [ο];

40− packageJSON = Path;

40+ packageJSON = String;

41 src = ∀ α. α;

41 src = ∀ α. α;

42 version = ∀ α. α;

42 version = ∀ α. α;

43− yarnNix = Path;

43+ yarnNix = String;

44 } ->

44 } ->

45 π;

45 π;

46 stdenv = β;

46 stdenv = β;

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

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

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

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

2( α.buildRustPackage =

2( α.buildRustPackage =

3 { buildInputs = [β];

3 { buildInputs = [β];

4− cargoPatches = [Path];

4+ cargoPatches = [String];

5 cargoSha256 = String;

5 cargoSha256 = String;

6 doCheck = Bool;

6 doCheck = Bool;

7 meta =

7 meta =

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

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

4 α.gnugrep = γ,

4 α.gnugrep = γ,

5 α.gnused = γ,

5 α.gnused = γ,

6 α.substituteAll =

6 α.substituteAll =

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

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

8) =>

8) =>

9{pkgs = α;} -> δ

9{pkgs = α;} -> δ

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

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

43) =>

43) =>

44β ->

44β ->

45{ config = ξ;

45{ config = ξ;

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

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

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

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

48}

48}

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

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

12 ( γ

12 ( γ

13 ),

13 ),

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

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

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

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

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

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

17) =>

17) =>

18α -> δ

18α -> δ

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

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

13 maintainers = [ε];

13 maintainers = [ε];

14 platforms = [ζ];

14 platforms = [ζ];

15 };

15 };

16− patches = [Path];

16+ patches = [String];

17 pname = String;

17 pname = String;

18 preBuild = String;

18 preBuild = String;

19 preConfigure = String;

19 preConfigure = String;

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

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

19 δ.gnused = ξ,

19 δ.gnused = ξ,

20 δ.stdenv = ο,

20 δ.stdenv = ο,

21 δ.substituteAll =

21 δ.substituteAll =

22+ { bash = ν;

23+ copyKernels = π;

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

24+ isExecutable = Bool;

25+ path = [ξ];

26+ src = String;

27+ } ->

23 θ,

28 θ,

24 ο.hostPlatform = ρ,

29 ο.hostPlatform = ρ,

25 ρ.platform = σ,

30 ρ.platform = σ,

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

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

40 ghc = ε;

40 ghc = ε;

41 glibcLocales = λ;

41 glibcLocales = λ;

42 lib = κ;

42 lib = κ;

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

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

44 pkgconfig = ε;

44 pkgconfig = ε;

45 stack = ε;

45 stack = ε;

46 stdenv = η;

46 stdenv = η;

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

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

7) =>

7) =>

8{ buildGoPackage =

8{ buildGoPackage =

9 { doCheck = Bool;

9 { doCheck = Bool;

10− goDeps = Path;

10+ goDeps = String;

11 goPackagePath = String;

11 goPackagePath = String;

12 meta =

12 meta =

13 { description = String;

13 { description = String;

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

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

14 version = String;

14 version = String;

15 } ->

15 } ->

16 μ,

16 μ,

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

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

18 ν.licenses = ξ,

18 ν.licenses = ξ,

19 ν.maintainers = ο,

19 ν.maintainers = ο,

20 ν.platforms = π,

20 ν.platforms = π,

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

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

12 platforms = η;

12 platforms = η;

13 };

13 };

14 nativeBuildInputs = [θ];

14 nativeBuildInputs = [θ];

15− patches = [Path];

15+ patches = [String];

16 pname = String;

16 pname = String;

17 src = ι;

17 src = ι;

18 version = String;

18 version = String;

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

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

14 maintainers = [ε];

14 maintainers = [ε];

15 };

15 };

16 nativeBuildInputs = δ;

16 nativeBuildInputs = δ;

17− patches = [Path];

17+ patches = [String];

18 pname = String;

18 pname = String;

19 preBuild = String;

19 preBuild = String;

20 propagatedBuildInputs = [γ];

20 propagatedBuildInputs = [γ];

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

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

26) =>

26) =>

27α ->

27α ->

28{ config = ι;

28{ config = ι;

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

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

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

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

31}

31}

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

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

1∀ α β.

1∀ α β.

2{ callPackage =

2{ callPackage =

3− Path ->

3+ String ->

4 {} ->

4 {} ->

5 { buildInputs = [α];

5 { buildInputs = [α];

6 buildPhase = String;

6 buildPhase = String;

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

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

11 δ.gnugrep = ν,

11 δ.gnugrep = ν,

12 δ.gnused = ν,

12 δ.gnused = ν,

13 δ.substituteAll =

13 δ.substituteAll =

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

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

15 ε.loader = ξ,

15 ε.loader = ξ,

16 ξ.initScript = ο,

16 ξ.initScript = ο,

17 ο.enable = ζ,

17 ο.enable = ζ,

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

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

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

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

15 minimumSupportedOcamlVersion = String;

15 minimumSupportedOcamlVersion = String;

16 name = String;

16 name = String;

17− patches = [Path];

17+ patches = [String];

18 src = θ;

18 src = θ;

19 version = String;

19 version = String;

20 } ->

20 } ->

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

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

7 ζ.json = θ

7 ζ.json = θ

8) =>

8) =>

9{ buildGoPackage =

9{ buildGoPackage =

10− { goDeps = Path;

10+ { goDeps = String;

11 goPackagePath = String;

11 goPackagePath = String;

12 meta =

12 meta =

13 { description = String;

13 { description = String;

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

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

31 mlt = δ;

31 mlt = δ;

32 name = String;

32 name = String;

33 nativeBuildInputs = [ε];

33 nativeBuildInputs = [ε];

34− patches = [Path];

34+ patches = [String];

35 postPatch = String;

35 postPatch = String;

36 preFixup = String;

36 preFixup = String;

37 qtWrapperArgs = [String];

37 qtWrapperArgs = [String];

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

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

9) =>

9) =>

10{ buildGoPackage =

10{ buildGoPackage =

11 { buildInputs = [ι];

11 { buildInputs = [ι];

12− goDeps = Path;

12+ goDeps = String;

13 goPackagePath = String;

13 goPackagePath = String;

14 meta =

14 meta =

15 { description = String;

15 { description = String;

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

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

5 meta =

5 meta =

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

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

7 nativeBuildInputs = [ε];

7 nativeBuildInputs = [ε];

8− patches = [Path];

8+ patches = [String];

9 pname = String;

9 pname = String;

10 postPatch = String;

10 postPatch = String;

11 src = ζ;

11 src = ζ;

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

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

4 { installPhase = String;

4 { installPhase = String;

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

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

6 name = String;

6 name = String;

7− patches = [Path];

7+ patches = [String];

8− src = Path;

8+ src = String;

9 } ->

9 } ->

10 ε,

10 ε,

11 β.licenses = ζ,

11 β.licenses = ζ,

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

13 ζ.gpl2 = γ,

13 ζ.gpl2 = γ,

14 η.unix = δ

14 η.unix = δ

15) =>

15) =>

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 @@

2( α.pkgs = β,

2( α.pkgs = β,

3 β.isPy27 = Bool,

3 β.isPy27 = Bool,

4 γ.buildPythonPackage =

4 γ.buildPythonPackage =

5− { patches = [Path];

5+ { patches = [String];

6 pname = String;

6 pname = String;

7 postFixup = String;

7 postFixup = String;

8 postInstall = String;

8 postInstall = String;

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

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

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

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

3 buildPackages = γ;

3 buildPackages = γ;

4 callPackage =

4 callPackage =

5− Path ->

5+ String ->

6 {stdenv = α;} ->

6 {stdenv = α;} ->

7 { buildPhase = String;

7 { buildPhase = String;

8− builder = Path;

8+ builder = String;

9 installPhase = String;

9 installPhase = String;

10 meta = {description = String;};

10 meta = {description = String;};

11 name = String;

11 name = String;

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

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

1∀ α β γ δ.

1∀ α β γ δ.

2( α.overrideAttrs =

2( α.overrideAttrs =

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

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

4) =>

4) =>

5{ fetchFromGitHub =

5{ fetchFromGitHub =

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

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

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

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

10 ) ~

10 ) ~

11 ( β

11 ( β

12 ),

12 ),

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

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

14) =>

14) =>

15α -> γ

15α -> γ

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

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

4 { config =

4 { config =

5 { packageOverrides =

5 { packageOverrides =

6 ∀ α β.

6 ∀ α β.

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

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

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

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

9 };

9 };

10 };

10 };

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

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

21 };

21 };

22 name = String;

22 name = String;

23 nativeBuildInputs = [θ];

23 nativeBuildInputs = [θ];

24− patches = [Path];

24+ patches = [String];

25 pname = String;

25 pname = String;

26 postInstall = String;

26 postInstall = String;

27 postPatch = String;

27 postPatch = String;

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

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

13 platforms = η;

13 platforms = η;

14 };

14 };

15 nativeBuildInputs = [θ];

15 nativeBuildInputs = [θ];

16− patches = [Path];

16+ patches = [String];

17 pname = String;

17 pname = String;

18 postConfigure = String;

18 postConfigure = String;

19 postInstall = String;

19 postInstall = String;

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

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

11 δ.mail = λ

11 δ.mail = λ

12) =>

12) =>

13{ buildGoPackage =

13{ buildGoPackage =

14− { goDeps = Path;

14+ { goDeps = String;

15 goPackagePath = String;

15 goPackagePath = String;

16 meta =

16 meta =

17 { description = String;

17 { description = String;

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

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

1∀ α β.

1∀ α β.

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

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

3+) =>

3−β

4+α -> β

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

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

14 maintainers = [ε];

14 maintainers = [ε];

15 };

15 };

16 nativeBuildInputs = δ;

16 nativeBuildInputs = δ;

17− patches = [Path];

17+ patches = [String];

18 pname = String;

18 pname = String;

19 preBuild = String;

19 preBuild = String;

20 propagatedBuildInputs = [γ];

20 propagatedBuildInputs = [γ];

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

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

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

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

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

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

3( α.callPackage =

3( α.callPackage =

4− Path ->

4+ String ->

5 {} ->

5 {} ->

6 { artifactId = String;

6 { artifactId = String;

7 groupId = String;

7 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 @@

2( α.mkDerivation =

2( α.mkDerivation =

3 { allowMissing = Bool;

3 { allowMissing = Bool;

4 allowedReferences = [String];

4 allowedReferences = [String];

5− builder = Path;

5+ builder = String;

6 firmware = β;

6 firmware = β;

7 kernel = γ;

7 kernel = γ;

8 name = String;

8 name = String;

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

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

7 β.system = η,

7 β.system = η,

8 γ.literalExample = String -> θ,

8 γ.literalExample = String -> θ,

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

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

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

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

11 δ.grub2 = μ,

11 δ.grub2 = μ,

12 δ.grub2_efi = μ,

12 δ.grub2_efi = μ,

13 δ.makeInitrd =

13 δ.makeInitrd =

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

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

10) =>

10) =>

11{ buildGoPackage =

11{ buildGoPackage =

12 { doCheck = Bool;

12 { doCheck = Bool;

13− goDeps = Path;

13+ goDeps = String;

14 goPackagePath = String;

14 goPackagePath = String;

15 meta =

15 meta =

16 { description = String;

16 { description = String;

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

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

7) =>

7) =>

8{ buildGoPackage =

8{ buildGoPackage =

9 { doCheck = Bool;

9 { doCheck = Bool;

10− goDeps = Path;

10+ goDeps = String;

11 goPackagePath = String;

11 goPackagePath = String;

12 meta =

12 meta =

13 { description = String;

13 { description = String;

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

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

21 δ

21 δ

22) =>

22) =>

23{ callPackage =

23{ callPackage =

24− Path ->

24+ String ->

25 { nixopsAzurePackages = [ε];

25 { nixopsAzurePackages = [ε];

26 python2Packages = δ;

26 python2Packages = δ;

27 src = θ;

27 src = θ;

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

29 } ->

29 } ->

30 ι;

30 ι;

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

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

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

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

33 pkgs = β;

33 pkgs = β;

34} ->

34} ->

35ι

35ι

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

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

55 θ1.etc = ι1,

55 θ1.etc = ι1,

56 ι1.nscd.conf = κ1,

56 ι1.nscd.conf = κ1,

57 κ1.source = μ,

57 κ1.source = μ,

58− θ.readFile = Path -> ξ,

58+ θ.readFile = String -> ξ,

59 ρ.lines = ο,

59 ρ.lines = ο,

60 λ1.bool = μ1

60 λ1.bool = μ1

61) =>

61) =>

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

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

11 platforms = ζ;

11 platforms = ζ;

12 };

12 };

13 nativeBuildInputs = [η];

13 nativeBuildInputs = [η];

14− patches = [Path];

14+ patches = [String];

15 pname = String;

15 pname = String;

16 postPatch = String;

16 postPatch = String;

17 src = θ;

17 src = θ;

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

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

14 maintainers = [ε];

14 maintainers = [ε];

15 };

15 };

16 nativeBuildInputs = δ;

16 nativeBuildInputs = δ;

17− patches = [Path];

17+ patches = [String];

18 pname = String;

18 pname = String;

19 preBuild = String;

19 preBuild = String;

20 propagatedBuildInputs = [γ];

20 propagatedBuildInputs = [γ];

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

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

4 { installPhase = String;

4 { installPhase = String;

5 name = γ;

5 name = γ;

6 preferLocalBuild = Bool;

6 preferLocalBuild = Bool;

7− setupHook = Path;

7+ setupHook = String;

8 src = δ;

8 src = δ;

9 } ->

9 } ->

10 ε,

10 ε,

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

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

20) =>

20) =>

21α ->

21α ->

22{ config = η;

22{ config = η;

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

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

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

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

25}

25}

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

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

19 nativeBuildInputs = [θ];

19 nativeBuildInputs = [θ];

20 outputs = [String];

20 outputs = [String];

21 passthru = {targetPrefix = ι;};

21 passthru = {targetPrefix = ι;};

22− patches = [Path];

22+ patches = [String];

23 postPatch = String;

23 postPatch = String;

24 preInstall = String;

24 preInstall = String;

25 src = κ;

25 src = κ;

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

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

17 { buildFlags = ρ;

17 { buildFlags = ρ;

18 buildInputs = σ;

18 buildInputs = σ;

19 extraSrcs = ν;

19 extraSrcs = ν;

20− goDeps = Path;

20+ goDeps = String;

21 goPackagePath = String;

21 goPackagePath = String;

22 meta =

22 meta =

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

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

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

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

9) =>

9) =>

10{ buildGoPackage =

10{ buildGoPackage =

11 { doCheck = Bool;

11 { doCheck = Bool;

12− goDeps = Path;

12+ goDeps = String;

13 goPackagePath = String;

13 goPackagePath = String;

14 meta =

14 meta =

15 { description = String;

15 { description = String;

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

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

3 { buildInputs = [β];

3 { buildInputs = [β];

4 buildPhase = String;

4 buildPhase = String;

5 installPhase = String;

5 installPhase = String;

6− patches = [Path];

6+ patches = [String];

7 pname = String;

7 pname = String;

8 src = γ;

8 src = γ;

9 version = String;

9 version = String;

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

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

5 makeFlags = [String];

5 makeFlags = [String];

6 md5_path = String;

6 md5_path = String;

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

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

8− patches = [Path];

8+ patches = [String];

9 pname = String;

9 pname = String;

10 postPatch = String;

10 postPatch = String;

11 src = ε;

11 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 @@

8 ζ.unix = θ

8 ζ.unix = θ

9) =>

9) =>

10{ buildGoPackage =

10{ buildGoPackage =

11− { goDeps = Path;

11+ { goDeps = String;

12 goPackagePath = String;

12 goPackagePath = String;

13 meta =

13 meta =

14 { description = String;

14 { description = String;

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

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

7 firmware = γ;

7 firmware = γ;

8 isExecutable = Bool;

8 isExecutable = Bool;

9 path = [ζ];

9 path = [ζ];

10− src = Path;

10+ src = String;

11 } ->

11 } ->

12 η,

12 η,

13 β.bash = δ,

13 β.bash = δ,

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

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

14) =>

14) =>

15{ buildGoPackage =

15{ buildGoPackage =

16 { buildFlagsArray = String;

16 { buildFlagsArray = String;

17− goDeps = Path;

17+ goDeps = String;

18 goPackagePath = String;

18 goPackagePath = String;

19 meta =

19 meta =

20 { description = String;

20 { description = String;

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

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

14 platforms = η;

14 platforms = η;

15 };

15 };

16 nativeBuildInputs = [θ];

16 nativeBuildInputs = [θ];

17− patches = [Path];

17+ patches = [String];

18 pname = String;

18 pname = String;

19 postPatch = ι;

19 postPatch = ι;

20 src = κ;

20 src = κ;

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

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

8{ buildPythonPackage =

8{ buildPythonPackage =

9 { doCheck = Bool;

9 { doCheck = Bool;

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

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

11− patches = [Path];

11+ patches = [String];

12 pname = String;

12 pname = String;

13 postInstall = String;

13 postInstall = String;

14 propagatedBuildInputs = [η];

14 propagatedBuildInputs = [η];

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

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

10 maintainers = [ε];

10 maintainers = [ε];

11 platforms = ζ;

11 platforms = ζ;

12 };

12 };

13− patches = [Path];

13+ patches = [String];

14 pname = String;

14 pname = String;

15 src = η;

15 src = η;

16 version = String;

16 version = String;

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

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

27 minorVersion = ξ;

27 minorVersion = ξ;

28 site = String;

28 site = String;

29 };

29 };

30− patches = [Path];

30+ patches = [String];

31 pname = String;

31 pname = String;

32 postInstall = String;

32 postInstall = String;

33 postPatch = String;

33 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 @@

8 } ->

8 } ->

9 δ

9 δ

10) =>

10) =>

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

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

12 maven = γ;

12 maven = γ;

13 src = ε;

13 src = ε;

14 stdenv = β;

14 stdenv = β;

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

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

12 ( γ

12 ( γ

13 ),

13 ),

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

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

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

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

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

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

17) =>

17) =>

18α -> δ

18α -> δ

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

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

13 repositories = {git = String;};

13 repositories = {git = String;};

14 };

14 };

15 nativeBuildInputs = [η];

15 nativeBuildInputs = [η];

16− patches = [Path];

16+ patches = [String];

17 pname = String;

17 pname = String;

18 postInstall = String;

18 postInstall = String;

19 src = θ;

19 src = θ;

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

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

1∀ α β.

1∀ α β.

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

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

3+) =>

3−β

4+α -> β

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

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

14 π.description = String,

14 π.description = String,

15 ν.version = ξ

15 ν.version = ξ

16) =>

16) =>

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

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

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

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

12 };

12 };

13 name = String;

13 name = String;

14 nativeBuildInputs = [ζ];

14 nativeBuildInputs = [ζ];

15− patches = [Path];

15+ patches = [String];

16 preConfigure = String;

16 preConfigure = String;

17 propagatedBuildInputs = [η];

17 propagatedBuildInputs = [η];

18 src = θ;

18 src = θ;

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

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

17 };

17 };

18 name = String;

18 name = String;

19 nativeBuildInputs = [λ];

19 nativeBuildInputs = [λ];

20− patches = [Path];

20+ patches = [String];

21 postInstall = String;

21 postInstall = String;

22 preConfigure = String;

22 preConfigure = String;

23 src = δ;

23 src = δ;

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

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

17 maintainers = [ε];

17 maintainers = [ε];

18 };

18 };

19 nativeBuildInputs = δ;

19 nativeBuildInputs = δ;

20− patches = [Path];

20+ patches = [String];

21 pname = String;

21 pname = String;

22 preBuild = String;

22 preBuild = String;

23 propagatedBuildInputs = [γ];

23 propagatedBuildInputs = [γ];

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

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

16 θ.linux = δ

16 θ.linux = δ

17) =>

17) =>

18{ stdenv = α;

18{ stdenv = α;

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

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

20} ->

20} ->

21ε

21ε

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

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

12 };

12 };

13 nativeBuildInputs = [η];

13 nativeBuildInputs = [η];

14 outputs = [String];

14 outputs = [String];

15− patches = [Path];

15+ patches = [String];

16 pname = String;

16 pname = String;

17 propagatedBuildInputs = [θ];

17 propagatedBuildInputs = [θ];

18 src = ι;

18 src = ι;

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

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

1∀ α β γ δ.

1∀ α β γ δ.

2{ callPackage =

2{ callPackage =

3− Path ->

3+ String ->

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

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

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

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

6 enableNpm = Bool;

6 enableNpm = Bool;

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

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

1∀ α β γ δ.

1∀ α β γ δ.

2{ callPackage =

2{ callPackage =

3− Path ->

3+ String ->

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

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

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

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

6 enableNpm = Bool;

6 enableNpm = Bool;

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

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

1∀ α β γ.

1∀ α β γ.

2{ callPackage =

2{ callPackage =

3− Path ->

3+ String ->

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

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

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

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

6 enableNpm = Bool;

6 enableNpm = Bool;

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

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

3 Security = ζ;

3 Security = ζ;

4 boost = η;

4 boost = η;

5 callPackage =

5 callPackage =

6− Path ->

6+ String ->

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

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

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

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

9 cctools = θ;

9 cctools = θ;

10 lib = λ;

10 lib = λ;

11 sasl = ι;

11 sasl = ι;

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

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

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

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

2( α.isDarwin = β,

2( α.isDarwin = β,

3 α.lib = γ,

3 α.lib = γ,

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

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

5) =>

5) =>

6{ CoreFoundation = δ;

6{ CoreFoundation = δ;

7 Security = ε;

7 Security = ε;

8 boost = ζ;

8 boost = ζ;

9 callPackage =

9 callPackage =

10− Path ->

10+ String ->

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

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

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

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

13 cctools = η;

13 cctools = η;

14 lib = κ;

14 lib = κ;

15 sasl = θ;

15 sasl = θ;

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

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

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

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

2( α.isDarwin = β,

2( α.isDarwin = β,

3 α.lib = γ,

3 α.lib = γ,

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

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

5) =>

5) =>

6{ CoreFoundation = δ;

6{ CoreFoundation = δ;

7 Security = ε;

7 Security = ε;

8 boost = ζ;

8 boost = ζ;

9 callPackage =

9 callPackage =

10− Path ->

10+ String ->

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

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

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

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

13 cctools = η;

13 cctools = η;

14 lib = κ;

14 lib = κ;

15 sasl = θ;

15 sasl = θ;

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

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

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

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

2( α.isDarwin = β,

2( α.isDarwin = β,

3 α.lib = γ,

3 α.lib = γ,

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

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

5) =>

5) =>

6{ CoreFoundation = δ;

6{ CoreFoundation = δ;

7 Security = ε;

7 Security = ε;

8 boost = ζ;

8 boost = ζ;

9 callPackage =

9 callPackage =

10− Path ->

10+ String ->

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

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

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

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

13 cctools = η;

13 cctools = η;

14 lib = κ;

14 lib = κ;

15 sasl = θ;

15 sasl = θ;

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

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

21) =>

21) =>

22{ bash = γ;

22{ bash = γ;

23 cabextract = γ;

23 cabextract = γ;

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

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

25 coreutils = γ;

25 coreutils = γ;

26 curl = γ;

26 curl = γ;

27 gnugrep = γ;

27 gnugrep = γ;

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

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

10 ) ~

10 ) ~

11 ( β

11 ( β

12 ),

12 ),

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

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

14) =>

14) =>

15α -> γ

15α -> γ