62abc7b · tix · git.iko.soy

src/Tix/Typechecker.hs+42−17

compare with master

unifiedsplit

@@ -77,20 +77,40 @@ runConstraintEnv ::

77 Members '[State VariableMap, State (MKM.Map Pred)] effs =>

78 Eff (SubstituteEnv : Writer Substitution : Writer Constraint : State (Seq Constraint) : effs) a ->

79 Eff effs ((a, Substitution), Seq Constraint)

80−runConstraintEnv =

80+runConstraintEnv f = do

81+ ((x, subs), cs) <-

81− runState @(Seq Constraint) Empty

82+ runState @(Seq Constraint) Empty

82− . interpret @(Writer Constraint) (\(Tell x) -> modify (x :<|))

83+ . interpret @(Writer Constraint) (\(Tell x) -> modify (x :<|))

83− . runWriter @Substitution

84+ . runWriter @Substitution

84− . interpret @SubstituteEnv

85+ . interpret @SubstituteEnv

85− ( \(SubstituteEnv x) -> do

86+ ( \(SubstituteEnv x) -> do

86− modify @(Seq Constraint) (sub x <$>)

87+ -- modify @(Seq Constraint) (sub x <$>)

87− -- TODO: I have a feeling that variables in the env should already be closed over.

88+ -- TODone: I have a feeling that variables in the env should already be closed over.

88− -- (aka this is redundant)

89+ -- (aka this is redundant)

90+ --

91+ -- No, they can have type variables. E g when they are arguments in a function.

89− modify @VariableMap (sub x <$>)

92+ modify @VariableMap (sub x <$>)

90− modify @(MKM.Map Pred) (sub x)

93+ modify @(MKM.Map Pred) (sub x)

91− tell x

94+ tell x

92− return ()

95+ return ()

93− )

96+ )

97+ $ f

98+ return ((x, subs), sub subs <$> cs)

99+

100+captureSubstitutions ::

101+ Members '[SubstituteEnv] effs =>

102+ Eff (Writer Substitution : effs) a ->

103+ Eff effs (a, Substitution)

104+captureSubstitutions f = do

105+ (x, s) <-

106+ runWriter @Substitution

107+ . interpose @SubstituteEnv

108+ ( \(SubstituteEnv x) -> do

109+ tell x

110+ subEnv x

111+ )

112+ $ f

113+ return (x, s)

94

114

95data SubstituteEnv a where

115data SubstituteEnv a where

96 SubstituteEnv :: Substitution -> SubstituteEnv ()

116 SubstituteEnv :: Substitution -> SubstituteEnv ()

@@ -166,7 +186,7 @@ prettySubstitution = A.toJSON . M.mapKeysMonotonic (TL.pack . show) . fmap rende

166

186

167-- | @older <> newer@

187-- | @older <> newer@

168instance Semigroup Substitution where

188instance Semigroup Substitution where

169− x'@(Substitution x) <> (Substitution y) = Substitution (fmap (sub x') y <> x)

189+ x'@(Substitution x) <> y'@(Substitution y) = Substitution (M.unionWithKey (error "invariant") (fmap (sub y') x) (fmap (sub x') y))

170

190

171instance Monoid Substitution where

191instance Monoid Substitution where

172 mempty = Substitution mempty

192 mempty = Substitution mempty

@@ -598,8 +618,12 @@ inferComponents n ((S.toList -> paths) : otherComponents) = do

598 return $ fmap fst <$> tvsTypes

618 return $ fmap fst <$> tvsTypes

599 -- TODO: There should probably be some smarter predicate filtering

619 -- TODO: There should probably be some smarter predicate filtering

600 schemes <- types & traverse . traverse %%~ (\t -> solveAndClose p $ sub s $ preds :=> t)

620 schemes <- types & traverse . traverse %%~ (\t -> solveAndClose p $ sub s $ preds :=> t)

621+

622+ (otherBindings, s') <-

623+ captureSubstitutions $

601− fmap (M.unionWith mergeBindings schemes) . withBindings (toScheme' <$> schemes) $

624+ withBindings (toScheme' <$> schemes) $

602− inferComponents n otherComponents

625+ inferComponents n otherComponents

626+ return $ M.unionWith mergeBindings (fmap (sub s') <$> schemes) otherBindings

603 where

627 where

604 bindingToNExpr :: NonEmpty VarName -> NExprLoc -> Binding NExpr

628 bindingToNExpr :: NonEmpty VarName -> NExprLoc -> Binding NExpr

605 bindingToNExpr name expr = NamedVar (StaticKey <$> name) (stripAnnotation expr) nullPos

629 bindingToNExpr name expr = NamedVar (StaticKey <$> name) (stripAnnotation expr) nullPos

@@ -724,6 +748,7 @@ inferGeneral' toPretty f = do

724 traceValue "substitutions_after_solving" $ prettySubstitution s'

748 traceValue "substitutions_after_solving" $ prettySubstitution s'

725 let s = subs <> s'

749 let s = subs <> s'

726 returnedS = Substitution . M.filterWithKey (\k _ -> k `RS.notMember` range) . unSubstitution $ s

750 returnedS = Substitution . M.filterWithKey (\k _ -> k `RS.notMember` range) . unSubstitution $ s

751+ traceValue "composed_substitution" $ prettySubstitution s

727 traceSubtree "returned" $ do

752 traceSubtree "returned" $ do

728 traceValue "substitutions" $ prettySubstitution returnedS

753 traceValue "substitutions" $ prettySubstitution returnedS

729 -- Filter for optimization purposes

754 -- Filter for optimization purposes

test/golden/importless/aspell-with-dicts.txt+2−2

@@ -1,8 +1,8 @@

1−∀ α β γ δ ε.

1+∀ α β γ δ.

2{ aspell = α;

3 aspellDicts = β;

4 buildEnv =

5 {buildInputs = [γ]; name = String; paths = [α]; postBuild = String;} -> δ;

6 makeWrapper = γ;

7} ->

8−(β -> ε) -> δ

8+(β -> [α]) -> δ

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

@@ -1,26 +1,26 @@

1−∀ δ ε ζ η.

1+∀ δ ε ζ.

2{ Cabal = δ;

3− base = ε;

3+ base = δ;

4− containers = ε;

4+ containers = δ;

5− directory = ε;

5+ directory = δ;

6− extra = ε;

6+ extra = δ;

7− filepath = ε;

7+ filepath = δ;

8 mkDerivation =

9 { description = String;

10 homepage = String;

11 libraryHaskellDepends = [δ];

12− license = ∀ α β γ. (ζ.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

12+ license = ∀ α β γ. (ε.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

13 pname = String;

14 src = Path;

15 testHaskellDepends = [δ];

16 version = String;

17 } ->

18− η;

18+ ζ;

19− mtl = ε;

19+ mtl = δ;

20− parsec = ε;

20+ parsec = δ;

21− pretty = ε;

21+ pretty = δ;

22− stdenv = ζ;

22+ stdenv = ε;

23− time = ε;

23+ time = δ;

24 transformers = δ;

25} ->

26−η

26+ζ

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

@@ -1,13 +1,13 @@

1−∀ δ ε ζ η.

1+∀ δ ε ζ.

2{ Cabal = δ;

3− base = ε;

3+ base = δ;

4− bytestring = ε;

4+ bytestring = δ;

5− containers = ε;

5+ containers = δ;

6− curry-base = ε;

6+ curry-base = δ;

7− directory = ε;

7+ directory = δ;

8− extra = ε;

8+ extra = δ;

9− file-embed = ε;

9+ file-embed = δ;

10− filepath = ε;

10+ filepath = δ;

11 mkDerivation =

12 { description = String;

13 enableSeparateDataOutput = Bool;

@@ -16,20 +16,20 @@

16 isExecutable = Bool;

17 isLibrary = Bool;

18 libraryHaskellDepends = [δ];

19− license = ∀ α β γ. (ζ.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

19+ license = ∀ α β γ. (ε.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

20 pname = String;

21 src = Path;

22 testHaskellDepends = [δ];

23 version = String;

24 } ->

25− η;

25+ ζ;

26− mtl = ε;

26+ mtl = δ;

27− network-uri = ε;

27+ network-uri = δ;

28− pretty = ε;

28+ pretty = δ;

29− process = ε;

29+ process = δ;

30− set-extra = ε;

30+ set-extra = δ;

31− stdenv = ζ;

31+ stdenv = ε;

32− template-haskell = ε;

32+ template-haskell = δ;

33 transformers = δ;

34} ->

35−η

35+ζ

test/golden/importless/declare.txtdeleted−64

@@ -1,64 +0,0 @@

1−{ configA =

2− ∀ ι κ λ μ.

3− ι ->

4− κ ->

5− { optionA =

6− ∀ η θ.

7− ( ι.lib = η,

8− η.mkOption =

9− { default = Bool;

10− merge = ∀ ε ζ. (ι.lib = ε, ε.mergeEnableOption = ζ) => ζ;

11− } ->

12− θ

13− ) =>

14− θ;

15− optionB = ∀ η. (κ.optionA = η) => η;

16− require =

17− λ ->

18− μ ->

19− { optionB =

20− ∀ ε ζ. (λ.lib = ε, ε.mkOption = {default = Bool;} -> ζ) => ζ;

21− require = [{optionA = Bool; optionD = Bool;}];

22− };

23− };

24− configB =

25− ∀ ι κ.

26− ι ->

27− κ ->

28− { optionB = ∀ η θ. (ι.lib = η, η.mkOption = {default = Bool;} -> θ) => θ;

29− require = [{optionA = Bool; optionD = Bool;}];

30− };

31− configC =

32− ∀ ι κ λ μ ν ξ.

33− ι ->

34− κ ->

35− { optionA = ∀ η. (κ.optionC = η) => η;

36− optionC = ∀ η θ. (ι.lib = η, η.mkOption = {default = Bool;} -> θ) => θ;

37− require =

38− [ ( λ ->

39− μ ->

40− { optionA =

41− ∀ γ δ.

42− ( λ.lib = γ,

43− γ.mkOption =

44− { default = Bool;

45− merge = ∀ α β. (λ.lib = α, α.mergeEnableOption = β) => β;

46− } ->

47− δ

48− ) =>

49− δ;

50− optionB = ∀ γ. (μ.optionA = γ) => γ;

51− require =

52− ν ->

53− ξ ->

54− { optionB =

55− ∀ α β.

56− (ν.lib = α, α.mkOption = {default = Bool;} -> β) => β;

57− require = [{optionA = Bool; optionD = Bool;}];

58− };

59− }

60− )

61− ];

62− };

63− configD = {optionA = Bool; optionD = Bool;};

64−}

test/golden/importless/default-crate-overrides.txt+42−42

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

1−∀ θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω α1 β2 γ3.

1+∀ θ ι κ λ μ ν ξ ο π ρ σ τ υ φ.

2( θ.apple_sdk = ι,

3 θ.apple_sdk = κ,

4 θ.apple_sdk = λ,

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

7{ cairo = ν;

8 curl = ξ;

9 darwin = θ;

10− dbus = ο;

10+ dbus = ξ;

11− dbus-glib = π;

11+ dbus-glib = ο;

12− foundationdb = ρ;

12+ foundationdb = π;

13− gdk-pixbuf = σ;

13+ gdk-pixbuf = ρ;

14− gmp = τ;

14+ gmp = σ;

15− libgit2 = υ;

15+ libgit2 = ξ;

16− libiconv = φ;

16+ libiconv = τ;

17− libsodium = χ;

17+ libsodium = ξ;

18− libssh2 = ψ;

18+ libssh2 = ξ;

19− openssl = ω;

19+ openssl = ξ;

20− pkgconfig = ω;

20+ pkgconfig = ξ;

21− postgresql = χ;

21+ postgresql = ξ;

22− python3 = α1;

22+ python3 = υ;

23− sqlite = β2;

23+ sqlite = ξ;

24− stdenv = γ3;

24+ stdenv = φ;

25− zlib = ω;

25+ zlib = ξ;

26} ->

27{ cairo-rs = ∀ η. η -> {buildInputs = [ν];};

28 cargo =

@@ -30,13 +30,13 @@

30 η ->

31 { buildInputs =

32 ∀ α β γ δ ε ζ.

33− ( γ3.lib = α,

33+ ( φ.lib = α,

34− α.optionals = β -> [φ] -> [ξ],

34+ α.optionals = β -> [τ] -> [ξ],

35− γ3.isDarwin = β,

35+ φ.isDarwin = β,

36 γ.frameworks = δ,

37− δ.CoreFoundation = φ,

37+ δ.CoreFoundation = τ,

38 ε.frameworks = ζ,

39− ζ.Security = φ

39+ ζ.Security = τ

40 ) =>

41 [ξ];

42 };

@@ -47,25 +47,25 @@

47 extraLinkFlags = [String];

48 propagatedBuildInputs = [ξ];

49 };

50− dbus = ∀ η. η -> {buildInputs = [ο];};

50+ dbus = ∀ η. η -> {buildInputs = [ξ];};

51− foundationdb = ∀ η. η -> {buildInputs = [ρ];};

51+ foundationdb = ∀ η. η -> {buildInputs = [π];};

52− foundationdb-sys = ∀ η. η -> {buildInputs = [ρ];};

52+ foundationdb-sys = ∀ η. η -> {buildInputs = [π];};

53− gdk-pixbuf = ∀ η. η -> {buildInputs = [σ];};

53+ gdk-pixbuf = ∀ η. η -> {buildInputs = [ρ];};

54− gdk-pixbuf-sys = ∀ η. η -> {buildInputs = [π];};

54+ gdk-pixbuf-sys = ∀ η. η -> {buildInputs = [ο];};

55− gio-sys = ∀ η. η -> {buildInputs = [π];};

55+ gio-sys = ∀ η. η -> {buildInputs = [ο];};

56− gobject-sys = ∀ η. η -> {buildInputs = [π];};

56+ gobject-sys = ∀ η. η -> {buildInputs = [ο];};

57− libdbus-sys = ∀ η. η -> {buildInputs = [ο];};

57+ libdbus-sys = ∀ η. η -> {buildInputs = [ξ];};

58 libgit2-sys =

59− ∀ η. η -> {LIBGIT2_SYS_USE_PKG_CONFIG = Bool; buildInputs = [υ];};

59+ ∀ η. η -> {LIBGIT2_SYS_USE_PKG_CONFIG = Bool; buildInputs = [ξ];};

60− libsqlite3-sys = ∀ η. η -> {buildInputs = [β2];};

60+ libsqlite3-sys = ∀ η. η -> {buildInputs = [ξ];};

61− libssh2-sys = ∀ η. η -> {buildInputs = [ψ];};

61+ libssh2-sys = ∀ η. η -> {buildInputs = [ξ];};

62− libz-sys = ∀ η. η -> {buildInputs = [ψ]; extraLinkFlags = [String];};

62+ libz-sys = ∀ η. η -> {buildInputs = [ξ]; extraLinkFlags = [String];};

63− openssl = ∀ η. η -> {buildInputs = [ψ];};

63+ openssl = ∀ η. η -> {buildInputs = [ξ];};

64− openssl-sys = ∀ η. η -> {buildInputs = [ψ];};

64+ openssl-sys = ∀ η. η -> {buildInputs = [ξ];};

65− pq-sys = ∀ η. η -> {buildInputs = [χ];};

65+ pq-sys = ∀ η. η -> {buildInputs = [ξ];};

66 rink =

67 ∀ η.

68− η -> {buildInputs = [τ]; crateBin = [{name = String; path = String;}];};

68+ η -> {buildInputs = [σ]; crateBin = [{name = String; path = String;}];};

69 security-framework-sys =

70 ∀ η.

71 η ->

@@ -77,14 +77,14 @@

77 η ->

78 { buildInputs =

79 ∀ α β γ δ ε ζ.

80− ( γ3.lib = α,

80+ ( φ.lib = α,

81 α.optional = β -> γ -> δ,

82− γ3.isDarwin = β,

82+ φ.isDarwin = β,

83 ε.frameworks = ζ,

84 ζ.Security = γ

85 ) =>

86 δ;

87 };

88− thrussh-libsodium = ∀ η. η -> {buildInputs = [χ];};

88+ thrussh-libsodium = ∀ η. η -> {buildInputs = [ξ];};

89− xcb = ∀ η. η -> {buildInputs = [α1];};

89+ xcb = ∀ η. η -> {buildInputs = [υ];};

90}

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

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

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

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

2( α.fix' = β -> γ,

3 α.extends =

4 (δ -> ε -> {}) ->

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

13 ) ->

14 β

15) =>

16−{lib = α; newScope = ζ -> ι; overrides = δ -> ε -> {};} -> γ

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

test/golden/importless/elm-format.txt+24−24

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

1−∀ δ ε ζ η θ.

1+∀ δ ε ζ η.

2{ HUnit = δ;

3 QuickCheck = δ;

4− ansi-terminal = ε;

4+ ansi-terminal = δ;

5− ansi-wl-pprint = ε;

5+ ansi-wl-pprint = δ;

6− base = ε;

6+ base = δ;

7− binary = ε;

7+ binary = δ;

8− bytestring = ε;

8+ bytestring = δ;

9 cmark = δ;

10− containers = ε;

10+ containers = δ;

11− directory = ε;

11+ directory = δ;

12− fetchgit = {rev = String; sha256 = String; url = String;} -> ζ;

12+ fetchgit = {rev = String; sha256 = String; url = String;} -> ε;

13− filepath = ε;

13+ filepath = δ;

14− free = ε;

14+ free = δ;

15− indents = ε;

15+ indents = δ;

16− json = ε;

16+ json = δ;

17 mkDerivation =

18 { description = String;

19 doHaddock = Bool;

20− executableHaskellDepends = [ε];

20+ executableHaskellDepends = [δ];

21 homepage = String;

22 isExecutable = Bool;

23 isLibrary = Bool;

24 libraryHaskellDepends = [δ];

25− license = ∀ α β γ. (η.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

25+ license = ∀ α β γ. (ζ.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

26 pname = String;

27 postPatch = String;

28− src = ζ;

28+ src = ε;

29 testHaskellDepends = [δ];

30 version = String;

31 } ->

32− θ;

32+ η;

33− mtl = ε;

33+ mtl = δ;

34− optparse-applicative = ε;

34+ optparse-applicative = δ;

35− parsec = ε;

35+ parsec = δ;

36− process = ε;

36+ process = δ;

37 quickcheck-io = δ;

38− split = ε;

38+ split = δ;

39− stdenv = η;

39+ stdenv = ζ;

40 tasty = δ;

41 tasty-golden = δ;

42 tasty-hunit = δ;

43 tasty-quickcheck = δ;

44 text = δ;

45} ->

46−θ

46+η

test/golden/importless/elm-instrument.txt+26−26

@@ -1,48 +1,48 @@

1−∀ δ ε ζ η θ ι.

1+∀ δ ε ζ η.

2{ Cabal = δ;

3 HUnit = δ;

4 QuickCheck = δ;

5− ansi-terminal = ε;

5+ ansi-terminal = δ;

6− ansi-wl-pprint = ε;

6+ ansi-wl-pprint = δ;

7− base = ε;

7+ base = δ;

8− binary = ε;

8+ binary = δ;

9− bytestring = ε;

9+ bytestring = δ;

10 cmark = δ;

11− containers = ε;

11+ containers = δ;

12− directory = ε;

12+ directory = δ;

13 elm-format = δ;

14 fetchgit =

15− {fetchSubmodules = Bool; rev = String; sha256 = String; url = String;} -> ζ;

15+ {fetchSubmodules = Bool; rev = String; sha256 = String; url = String;} -> ε;

16− filepath = ε;

16+ filepath = δ;

17− free = ε;

17+ free = δ;

18− indents = ε;

18+ indents = δ;

19− json = ε;

19+ json = δ;

20 mkDerivation =

21 { description = String;

22− executableHaskellDepends = [ε];

22+ executableHaskellDepends = [δ];

23 homepage = String;

24 isExecutable = Bool;

25 isLibrary = Bool;

26− libraryHaskellDepends = [η];

26+ libraryHaskellDepends = [δ];

27− license = ∀ α β γ. (θ.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

27+ license = ∀ α β γ. (ζ.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

28 pname = String;

29 setupHaskellDepends = [δ];

30− src = ζ;

30+ src = ε;

31 testHaskellDepends = [δ];

32 version = String;

33 } ->

34− ι;

34+ η;

35− mtl = ε;

35+ mtl = δ;

36− optparse-applicative = ε;

36+ optparse-applicative = δ;

37− parsec = ε;

37+ parsec = δ;

38− process = ε;

38+ process = δ;

39 quickcheck-io = δ;

40− split = ε;

40+ split = δ;

41− stdenv = θ;

41+ stdenv = ζ;

42 tasty = δ;

43 tasty-golden = δ;

44 tasty-hunit = δ;

45 tasty-quickcheck = δ;

46− text = η;

46+ text = δ;

47} ->

48−ι

48+η

test/golden/importless/engines.txt+11−6

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

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

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

2( β.overrideAttrs = (γ -> {postInstall = String;}) -> δ,

3 β.overrideAttrs = (ε -> {postInstall = String;}) -> ζ,

4 β.overrideAttrs = (η -> {postInstall = String;}) -> θ

@@ -8,12 +8,17 @@

8 homepage = String;

9 mods = [String];

10 src = ι;

11− version = κ;

11+ version = String;

12 } ->

13− λ -> β;

13+ κ -> β;

14− extraPostFetch = μ;

14+ extraPostFetch = λ;

15 fetchFromGitHub =

16− {extraPostFetch = μ; owner = String; repo = String; rev = ν; sha256 = ξ;} ->

16+ { extraPostFetch = λ;

17+ owner = String;

18+ repo = String;

19+ rev = String;

20+ sha256 = String;

21+ } ->

17 ι;

22 ι;

18} ->

23} ->

19−{bleed = ∀ α. λ -> α; playtest = ∀ α. λ -> α; release = ∀ α. λ -> α;}

24+{bleed = ∀ α. κ -> α; playtest = ∀ α. κ -> α; release = ∀ α. κ -> α;}

test/golden/importless/ghcjs-base.txt+25−25

@@ -1,44 +1,44 @@

1−∀ δ ε ζ η θ.

1+∀ δ ε ζ η.

2{ HUnit = δ;

3 QuickCheck = δ;

4− aeson = ε;

4+ aeson = δ;

5 array = δ;

6− attoparsec = ε;

6+ attoparsec = δ;

7− base = ε;

7+ base = δ;

8− binary = ε;

8+ binary = δ;

9− bytestring = ε;

9+ bytestring = δ;

10− containers = ε;

10+ containers = δ;

11− deepseq = ε;

11+ deepseq = δ;

12 directory = δ;

13− dlist = ε;

13+ dlist = δ;

14− fetchgit = {rev = String; sha256 = String; url = String;} -> ζ;

14+ fetchgit = {rev = String; sha256 = String; url = String;} -> ε;

15− ghc-prim = ε;

15+ ghc-prim = δ;

16− ghcjs-prim = ε;

16+ ghcjs-prim = δ;

17− hashable = ε;

17+ hashable = δ;

18− integer-gmp = ε;

18+ integer-gmp = δ;

19 mkDerivation =

20 { description = String;

21 homepage = String;

22 libraryHaskellDepends = [δ];

23− license = ∀ α β γ. (η.lib = α, α.licenses = β, β.mit = γ) => γ;

23+ license = ∀ α β γ. (ζ.lib = α, α.licenses = β, β.mit = γ) => γ;

24 pname = String;

25− src = ζ;

25+ src = ε;

26 testHaskellDepends = [δ];

27 version = String;

28 } ->

29− θ;

29+ η;

30− primitive = ε;

30+ primitive = δ;

31 quickcheck-unicode = δ;

32 random = δ;

33− scientific = ε;

33+ scientific = δ;

34− stdenv = η;

34+ stdenv = ζ;

35 test-framework = δ;

36 test-framework-hunit = δ;

37 test-framework-quickcheck2 = δ;

38− text = ε;

38+ text = δ;

39− time = ε;

39+ time = δ;

40− transformers = ε;

40+ transformers = δ;

41− unordered-containers = ε;

41+ unordered-containers = δ;

42 vector = δ;

43} ->

44−θ

44+η

test/golden/importless/hls-ghcide.txt+63−63

@@ -1,84 +1,84 @@

1−∀ δ ε ζ η θ ι κ.

1+∀ δ ε ζ η.

2{ Chart = δ;

3 Chart-diagrams = δ;

4− QuickCheck = ε;

4+ QuickCheck = δ;

5 aeson = δ;

6− array = ζ;

6+ array = δ;

7− async = ζ;

7+ async = δ;

8 base = δ;

9− base16-bytestring = ζ;

9+ base16-bytestring = δ;

10− binary = ζ;

10+ binary = δ;

11− bytestring = η;

11+ bytestring = δ;

12− containers = η;

12+ containers = δ;

13− cryptohash-sha1 = ζ;

13+ cryptohash-sha1 = δ;

14− data-default = η;

14+ data-default = δ;

15− deepseq = ζ;

15+ deepseq = δ;

16 diagrams = δ;

17 diagrams-svg = δ;

18 directory = δ;

19 extra = δ;

20 fetchgit =

21− {fetchSubmodules = Bool; rev = String; sha256 = String; url = String;} -> θ;

21+ {fetchSubmodules = Bool; rev = String; sha256 = String; url = String;} -> ε;

22 filepath = δ;

23− fuzzy = ζ;

23+ fuzzy = δ;

24− ghc = ζ;

24+ ghc = δ;

25− ghc-boot = ζ;

25+ ghc-boot = δ;

26− ghc-boot-th = ζ;

26+ ghc-boot-th = δ;

27− ghc-check = ζ;

27+ ghc-check = δ;

28− ghc-paths = ζ;

28+ ghc-paths = δ;

29− ghc-typelits-knownnat = ε;

29+ ghc-typelits-knownnat = δ;

30− gitrev = η;

30+ gitrev = δ;

31− haddock-library = ζ;

31+ haddock-library = δ;

32− hashable = η;

32+ hashable = δ;

33− haskell-lsp = η;

33+ haskell-lsp = δ;

34− haskell-lsp-types = η;

34+ haskell-lsp-types = δ;

35− hie-bios = η;

35+ hie-bios = δ;

36− hslogger = ζ;

36+ hslogger = δ;

37− lens = η;

37+ lens = δ;

38− lsp-test = η;

38+ lsp-test = δ;

39 mkDerivation =

40− { benchmarkHaskellDepends = [η];

40+ { benchmarkHaskellDepends = [δ];

41 description = String;

42− executableHaskellDepends = [ζ];

42+ executableHaskellDepends = [δ];

43 homepage = String;

44 isExecutable = Bool;

45 isLibrary = Bool;

46− libraryHaskellDepends = [ε];

46+ libraryHaskellDepends = [δ];

47− license = ∀ α β γ. (ι.lib = α, α.licenses = β, β.asl20 = γ) => γ;

47+ license = ∀ α β γ. (ζ.lib = α, α.licenses = β, β.asl20 = γ) => γ;

48 pname = String;

49− src = θ;

49+ src = ε;

50− testHaskellDepends = [ε];

50+ testHaskellDepends = [δ];

51 version = String;

52 } ->

53− κ;

53+ η;

54− mtl = ζ;

54+ mtl = δ;

55− network-uri = ζ;

55+ network-uri = δ;

56− opentelemetry = ζ;

56+ opentelemetry = δ;

57− optparse-applicative = η;

57+ optparse-applicative = δ;

58− prettyprinter = ζ;

58+ prettyprinter = δ;

59− prettyprinter-ansi-terminal = ζ;

59+ prettyprinter-ansi-terminal = δ;

60− process = η;

60+ process = δ;

61− quickcheck-instances = ε;

61+ quickcheck-instances = δ;

62− regex-tdfa = ζ;

62+ regex-tdfa = δ;

63− rope-utf16-splay = ζ;

63+ rope-utf16-splay = δ;

64− safe = ζ;

64+ safe = δ;

65− safe-exceptions = η;

65+ safe-exceptions = δ;

66 shake = δ;

67− sorted-list = ζ;

67+ sorted-list = δ;

68− stdenv = ι;

68+ stdenv = ζ;

69− stm = ζ;

69+ stm = δ;

70− syb = ζ;

70+ syb = δ;

71− tasty = ε;

71+ tasty = δ;

72− tasty-expected-failure = ε;

72+ tasty-expected-failure = δ;

73− tasty-hunit = ε;

73+ tasty-hunit = δ;

74− tasty-quickcheck = ε;

74+ tasty-quickcheck = δ;

75− tasty-rerun = ε;

75+ tasty-rerun = δ;

76 text = δ;

77− time = ζ;

77+ time = δ;

78− transformers = ζ;

78+ transformers = δ;

79− unix = ζ;

79+ unix = δ;

80− unordered-containers = ζ;

80+ unordered-containers = δ;

81− utf8-string = ε;

81+ utf8-string = δ;

82− yaml = η;

82+ yaml = δ;

83} ->

84−κ

84+η

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

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

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

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

2( β.overrideAttrs = (γ -> {UNZIP = String;}) -> δ,

3 β.overrideAttrs = (ε -> {UNZIP = String;}) -> ζ,

4 β.overrideAttrs = (η -> {UNZIP = String;}) -> θ,

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

10 β.overrideAttrs = (τ -> {UNZIP = String;}) -> υ,

11 β.overrideAttrs = (φ -> {UNZIP = String;}) -> χ

12) =>

13−{fetchzip = ψ -> β;} ->

13+{fetchzip = {sha256 = String; stripRoot = Bool; url = String;} -> β;} ->

14{ ladder2017season1 = ∀ α. α;

15 ladder2017season2 = ∀ α. α;

16 ladder2017season3 = ∀ α. α;

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

@@ -1 +1 @@

1−∀ α β γ δ. {fetchurl = {name = α; sha256 = β; url = γ;} -> δ;} -> [δ]

1+∀ α. {fetchurl = {name = String; sha256 = String; url = String;} -> α;} -> [α]

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

@@ -1,13 +1,13 @@

1−∀ β γ.

1+∀ β.

2−{fetchurl = {sha256 = β; url = String;} -> γ;} ->

2+{fetchurl = {sha256 = String; url = String;} -> β;} ->

3−{ fetchSrc = ∀ α. {name = α; sha256 = String;} -> γ;

3+{ fetchSrc = ∀ α. {name = α; sha256 = String;} -> β;

4− help = γ;

4+ help = β;

5 major = String;

6 minor = String;

7 patch = String;

8− src = γ;

8+ src = β;

9 subdir = String;

10− translations = γ;

10+ translations = β;

11 tweak = String;

12 version = String;

13}

test/golden/importless/sbv-7.13.txt+24−24

@@ -1,44 +1,44 @@

1−∀ δ ε ζ η θ.

1+∀ δ ε ζ η.

2{ Glob = δ;

3− QuickCheck = ε;

3+ QuickCheck = δ;

4− array = ε;

4+ array = δ;

5− async = ε;

5+ async = δ;

6− base = ε;

6+ base = δ;

7 bytestring = δ;

8− containers = ε;

8+ containers = δ;

9− crackNum = ε;

9+ crackNum = δ;

10− deepseq = ε;

10+ deepseq = δ;

11− directory = ε;

11+ directory = δ;

12 doctest = δ;

13− filepath = ε;

13+ filepath = δ;

14− generic-deriving = ε;

14+ generic-deriving = δ;

15− ghc = ε;

15+ ghc = δ;

16 hlint = δ;

17 mkDerivation =

18 { description = String;

19 enableSeparateDataOutput = Bool;

20 homepage = String;

21 libraryHaskellDepends = [δ];

22− license = ∀ α β γ. (ζ.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

22+ license = ∀ α β γ. (ε.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

23 pname = String;

24 sha256 = String;

25 testHaskellDepends = [δ];

26− testSystemDepends = [η];

26+ testSystemDepends = [ζ];

27 version = String;

28 } ->

29− θ;

29+ η;

30− mtl = ε;

30+ mtl = δ;

31− pretty = ε;

31+ pretty = δ;

32− process = ε;

32+ process = δ;

33− random = ε;

33+ random = δ;

34− stdenv = ζ;

34+ stdenv = ε;

35− syb = ε;

35+ syb = δ;

36 tasty = δ;

37 tasty-golden = δ;

38 tasty-hunit = δ;

39 tasty-quickcheck = δ;

40− template-haskell = ε;

40+ template-haskell = δ;

41 time = δ;

42− z3 = η;

42+ z3 = ζ;

43} ->

44−θ

44+η

test/golden/importless/spago.txt+21−21

@@ -1,12 +1,12 @@

1−∀ δ ε ζ η θ ι κ λ.

1+∀ δ ε ζ η θ ι.

2{ Cabal = δ;

3 Glob = δ;

4− QuickCheck = ε;

4+ QuickCheck = δ;

5 aeson = δ;

6 aeson-pretty = δ;

7 ansi-terminal = δ;

8 async-pool = δ;

9− base = ζ;

9+ base = δ;

10 bower-json = δ;

11 bytestring = δ;

12 containers = δ;

@@ -14,18 +14,18 @@

14 directory = δ;

15 either = δ;

16 exceptions = δ;

17− extra = ε;

17+ extra = δ;

18 fetchgit =

19− {fetchSubmodules = Bool; rev = String; sha256 = String; url = String;} -> η;

19+ {fetchSubmodules = Bool; rev = String; sha256 = String; url = String;} -> ε;

20 file-embed = δ;

21 filepath = δ;

22 foldl = δ;

23 fsnotify = δ;

24 github = δ;

25− hpack = θ;

25+ hpack = ζ;

26− hspec = ε;

26+ hspec = δ;

27− hspec-discover = ι;

27+ hspec-discover = η;

28− hspec-megaparsec = ε;

28+ hspec-megaparsec = δ;

29 http-client = δ;

30 http-conduit = δ;

31 lens-family-core = δ;

@@ -35,17 +35,17 @@

35 homepage = String;

36 isExecutable = Bool;

37 isLibrary = Bool;

38− libraryHaskellDepends = [ε];

38+ libraryHaskellDepends = [δ];

39− libraryToolDepends = [θ];

39+ libraryToolDepends = [ζ];

40− license = ∀ α β γ. (κ.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

40+ license = ∀ α β γ. (θ.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

41 pname = String;

42 prePatch = String;

43− src = η;

43+ src = ε;

44− testHaskellDepends = [ε];

44+ testHaskellDepends = [δ];

45− testToolDepends = [ι];

45+ testToolDepends = [η];

46 version = String;

47 } ->

48− λ;

48+ ι;

49 mtl = δ;

50 network-uri = δ;

51 open-browser = δ;

@@ -57,20 +57,20 @@

57 rio-orphans = δ;

58 safe = δ;

59 semver-range = δ;

60− stdenv = κ;

60+ stdenv = θ;

61 stm = δ;

62 tar = δ;

63 template-haskell = δ;

64 temporary = δ;

65− text = ζ;

65+ text = δ;

66 time = δ;

67 transformers = δ;

68− turtle = ζ;

68+ turtle = δ;

69 unliftio = δ;

70 unordered-containers = δ;

71 vector = δ;

72 versions = δ;

73 with-utf8 = δ;

74− zlib = ε;

74+ zlib = δ;

75} ->

76−λ

76+ι

test/golden/importless/v10.txt+6−3

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

1−∀ α β γ δ ε.

1+∀ α β γ δ.

2+{ callPackage =

3+ Path ->

2−{ callPackage = Path -> {icu = α; openssl = β; python = γ;} -> δ;

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

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

3 enableNpm = Bool;

6 enableNpm = Bool;

4 icu = α;

7 icu = α;

5 openssl = β;

8 openssl = β;

6 python2 = γ;

9 python2 = γ;

7} ->

10} ->

8−ε

11+δ

test/golden/importless/v12.txt+6−3

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

1−∀ α β γ δ ε.

1+∀ α β γ δ.

2+{ callPackage =

3+ Path ->

2−{ callPackage = Path -> {icu = α; openssl = β; python = γ;} -> δ;

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

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

3 enableNpm = Bool;

6 enableNpm = Bool;

4 icu = α;

7 icu = α;

5 openssl = β;

8 openssl = β;

6 python2 = γ;

9 python2 = γ;

7} ->

10} ->

8−ε

11+δ

test/golden/importless/v14.txt+6−3

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

1−∀ α β γ δ.

1+∀ α β γ.

2+{ callPackage =

3+ Path ->

2−{ callPackage = Path -> {openssl = α; python = β;} -> γ;

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

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

3 enableNpm = Bool;

6 enableNpm = Bool;

4 openssl = α;

7 openssl = α;

5 python3 = β;

8 python3 = β;

6} ->

9} ->

7−δ

10+γ

test/golden/importless/v3_4.txt+16−10

@@ -1,13 +1,19 @@

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

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

2−{ CoreFoundation = α;

2+{ CoreFoundation = δ;

3− Security = β;

3+ Security = ε;

4− boost = γ;

4+ boost = ζ;

5 callPackage =

6 Path ->

7− {CoreFoundation = α; Security = β; boost = γ; cctools = δ; sasl = ε;} -> ζ;

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

8+ { license = ∀ α β γ. (ι.lib = α, α.licenses = β, β.agpl3 = γ) => γ;

9+ patches = [Path];

10+ sha256 = String;

11+ version = String;

12+ } ->

13+ κ;

8− cctools = δ;

14+ cctools = η;

9− lib = η;

15+ lib = λ;

10− sasl = ε;

16+ sasl = θ;

11− stdenv = θ;

17+ stdenv = ι;

12} ->

18} ->

13−ι

19+κ

test/golden/importless/v3_6.txt+19−8

@@ -1,13 +1,24 @@

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

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

2−{ CoreFoundation = α;

2+{ CoreFoundation = γ;

3− Security = β;

3+ Security = δ;

4− boost = γ;

4+ boost = ε;

5 callPackage =

6 Path ->

7− {CoreFoundation = α; Security = β; boost = γ; cctools = δ; sasl = ε;} -> ζ;

7+ {CoreFoundation = γ; Security = δ; boost = ε; cctools = ζ; sasl = η;} ->

8+ { patches =

9+ ∀ α β.

10+ ( θ.lib = α,

11+ α.optionals = β -> [Path] -> [Path],

12+ θ.isDarwin = β

13+ ) =>

14+ [Path];

15+ sha256 = String;

16+ version = String;

17+ } ->

18+ ι;

8− cctools = δ;

19+ cctools = ζ;

9− lib = η;

20+ lib = κ;

10− sasl = ε;

21+ sasl = η;

11 stdenv = θ;

22 stdenv = θ;

12} ->

23} ->

13ι

24ι

test/golden/importless/v4_0.txt+19−8

@@ -1,13 +1,24 @@

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

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

2−{ CoreFoundation = α;

2+{ CoreFoundation = γ;

3− Security = β;

3+ Security = δ;

4− boost = γ;

4+ boost = ε;

5 callPackage =

6 Path ->

7− {CoreFoundation = α; Security = β; boost = γ; cctools = δ; sasl = ε;} -> ζ;

7+ {CoreFoundation = γ; Security = δ; boost = ε; cctools = ζ; sasl = η;} ->

8+ { patches =

9+ ∀ α β.

10+ ( θ.lib = α,

11+ α.optionals = β -> [Path] -> [Path],

12+ θ.isDarwin = β

13+ ) =>

14+ [Path];

15+ sha256 = String;

16+ version = String;

17+ } ->

18+ ι;

8− cctools = δ;

19+ cctools = ζ;

9− lib = η;

20+ lib = κ;

10− sasl = ε;

21+ sasl = η;

11 stdenv = θ;

22 stdenv = θ;

12} ->

23} ->

13ι

24ι

test/golden/importless/v4_2.txt+19−8

@@ -1,13 +1,24 @@

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

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

2−{ CoreFoundation = α;

2+{ CoreFoundation = γ;

3− Security = β;

3+ Security = δ;

4− boost = γ;

4+ boost = ε;

5 callPackage =

6 Path ->

7− {CoreFoundation = α; Security = β; boost = γ; cctools = δ; sasl = ε;} -> ζ;

7+ {CoreFoundation = γ; Security = δ; boost = ε; cctools = ζ; sasl = η;} ->

8+ { patches =

9+ ∀ α β.

10+ ( θ.lib = α,

11+ α.optionals = β -> [Path] -> [Path],

12+ θ.isDarwin = β

13+ ) =>

14+ [Path];

15+ sha256 = String;

16+ version = String;

17+ } ->

18+ ι;

8− cctools = δ;

19+ cctools = ζ;

9− lib = η;

20+ lib = κ;

10− sasl = ε;

21+ sasl = η;

11 stdenv = θ;

22 stdenv = θ;

12} ->

23} ->

13ι

24ι

test/golden/importless/with-provers.txt+3−3

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

1−∀ α β γ δ ε ζ.

1+∀ α β γ δ ε.

2( α.mkDerivation =

3 { buildInputs = [β];

4 buildPhase = String;

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

9 γ

10) =>

11{ makeWrapper = β;

12− runCommand = String -> {provers = δ;} -> String -> ε;

12+ runCommand = String -> {provers = [β];} -> String -> δ;

13 stdenv = α;

14− symlinkJoin = ζ;

14+ symlinkJoin = ε;

15 why3 = β;

16} ->

17[β] -> γ

test/golden/importless/xsa-patches.txt+50−50

@@ -1,51 +1,51 @@

1−∀ α β.

1+∀ α.

2−{fetchpatch = {sha256 = α; url = String;} -> β;} ->

2+{fetchpatch = {sha256 = String; url = String;} -> α;} ->

3−{ XSA_190 = β;

3+{ XSA_190 = α;

4− XSA_191 = β;

4+ XSA_191 = α;

5− XSA_192 = β;

5+ XSA_192 = α;

6− XSA_193 = β;

6+ XSA_193 = α;

7− XSA_195 = β;

7+ XSA_195 = α;

8− XSA_196 = [β];

8+ XSA_196 = [α];

9− XSA_198 = β;

9+ XSA_198 = α;

10− XSA_200 = β;

10+ XSA_200 = α;

11− XSA_202_45 = β;

11+ XSA_202_45 = α;

12− XSA_204_45 = β;

12+ XSA_204_45 = α;

13− XSA_206_45 = [β];

13+ XSA_206_45 = [α];

14− XSA_207 = β;

14+ XSA_207 = α;

15− XSA_212 = β;

15+ XSA_212 = α;

16− XSA_213_45 = β;

16+ XSA_213_45 = α;

17− XSA_214 = β;

17+ XSA_214 = α;

18− XSA_215 = β;

18+ XSA_215 = α;

19− XSA_217_45 = β;

19+ XSA_217_45 = α;

20− XSA_218_45 = [β];

20+ XSA_218_45 = [α];

21− XSA_219_45 = β;

21+ XSA_219_45 = α;

22− XSA_220_45 = β;

22+ XSA_220_45 = α;

23− XSA_221 = β;

23+ XSA_221 = α;

24− XSA_222_45 = [β];

24+ XSA_222_45 = [α];

25− XSA_223 = β;

25+ XSA_223 = α;

26− XSA_224_45 = [β];

26+ XSA_224_45 = [α];

27− XSA_226_45 = [β];

27+ XSA_226_45 = [α];

28− XSA_227_45 = β;

28+ XSA_227_45 = α;

29− XSA_230 = β;

29+ XSA_230 = α;

30− XSA_231_45 = β;

30+ XSA_231_45 = α;

31− XSA_232 = β;

31+ XSA_232 = α;

32− XSA_233 = β;

32+ XSA_233 = α;

33− XSA_234_45 = β;

33+ XSA_234_45 = α;

34− XSA_235_45 = β;

34+ XSA_235_45 = α;

35− XSA_236_45 = β;

35+ XSA_236_45 = α;

36− XSA_237_45 = [β];

36+ XSA_237_45 = [α];

37− XSA_238_45 = β;

37+ XSA_238_45 = α;

38− XSA_239_45 = β;

38+ XSA_239_45 = α;

39− XSA_240_45 = [β];

39+ XSA_240_45 = [α];

40− XSA_241 = β;

40+ XSA_241 = α;

41− XSA_242 = β;

41+ XSA_242 = α;

42− XSA_243_45 = [β];

42+ XSA_243_45 = [α];

43− XSA_244_45 = β;

43+ XSA_244_45 = α;

44− XSA_245 = [β];

44+ XSA_245 = [α];

45− XSA_246_45 = [β];

45+ XSA_246_45 = [α];

46− XSA_247_45 = [β];

46+ XSA_247_45 = [α];

47− XSA_248_45 = [β];

47+ XSA_248_45 = [α];

48− XSA_249 = [β];

48+ XSA_249 = [α];

49− XSA_250_45 = [β];

49+ XSA_250_45 = [α];

50− XSA_251_45 = [β];

50+ XSA_251_45 = [α];

51}

test/golden/importless/z3.txt+12−12

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

1−∀ δ ε ζ η θ ι.

1+∀ δ ε ζ η θ.

2{ QuickCheck = δ;

3− base = ε;

3+ base = δ;

4− containers = ε;

4+ containers = δ;

5− fetchpatch = {sha256 = String; url = String;} -> ζ;

5+ fetchpatch = {sha256 = String; url = String;} -> ε;

6− gomp = η;

6+ gomp = ζ;

7 hspec = δ;

8 mkDerivation =

9 { description = String;

@@ -12,17 +12,17 @@

12 isExecutable = Bool;

13 isLibrary = Bool;

14 libraryHaskellDepends = [δ];

15− librarySystemDepends = [η];

15+ librarySystemDepends = [ζ];

16− license = ∀ α β γ. (θ.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

16+ license = ∀ α β γ. (η.lib = α, α.licenses = β, β.bsd3 = γ) => γ;

17− patches = [ζ];

17+ patches = [ε];

18 pname = String;

19 sha256 = String;

20 testHaskellDepends = [δ];

21 version = String;

22 } ->

23− ι;

23+ θ;

24− stdenv = θ;

24+ stdenv = η;

25 transformers = δ;

26− z3 = η;

26+ z3 = ζ;

27} ->

28−ι

28+θ

test/golden/mine/0.9.nixnew file+5

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

1+{ a, b }:

2+rec {

3+ bar = [ a b ];

4+ baz = 1;

5+}

test/golden/mine/0.9.txtnew file+1

@@ -0,0 +1 @@

1+∀ α. {a = α; b = α;} -> {bar = [α]; baz = Integer;}

test/golden/mine/dhall-packages.nixnew file+14

@@ -0,0 +1,14 @@

1+g:

2+let packages = self:

3+ let

4+ f = g self;

5+ prefer = version: path:

6+ let packages = f path { }; in

7+ packages."${version}".overrideAttrs (_: { passthru = packages; });

8+ foo = f "b" { };

9+ in

10+ {

11+ Prelude =

12+ prefer "d" "f";

13+ };

14+in packages

test/golden/mine/dhall-packages.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ. (α -> String -> {} -> β) -> α -> {Prelude = γ;}

test/golden/mine/nuget.txt+1−1

@@ -1 +1 @@

1−∀ α β. {fetchurl = {url = α;} -> β;} -> [β]

1+∀ α. {fetchurl = {url = String;} -> α;} -> [α]

test/golden/mine/org-generated.nixnew file+6

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

1+f:

2+{

3+ a = f ({ x, y }: x { c = y { }; });

4+ b = f ({ x, y }:

5+ let u = 1; in x { c = y { }; });

6+}

test/golden/mine/org-generated.txtnew file+1

@@ -0,0 +1 @@

1+∀ α β γ. (({x = {c = α;} -> β; y = {} -> α;} -> β) -> γ) -> {a = γ; b = γ;}

test/golden/mine/polyArgs.nixnew file+1

@@ -0,0 +1 @@

1+{ x, y, z }: { a = [ x y ]; b = [ y z ]; c = [ x z ]; }

test/golden/mine/polyArgs.txtnew file+1

@@ -0,0 +1 @@

1+∀ α. {x = α; y = α; z = α;} -> {a = [α]; b = [α]; c = [α];}

test/golden/mine/z3.nixnew file+10

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

1+{ mkDerivation

2+, a

3+, b

4+, c

5+, g

6+}:

7+{

8+ libraryHaskellDepends = [ a b ];

9+ librarySystemDepends = [ c g ];

10+}

test/golden/mine/z3.txtnew file+3

@@ -0,0 +1,3 @@

1+∀ α β γ.

2+{a = α; b = α; c = β; g = β; mkDerivation = γ;} ->

3+{libraryHaskellDepends = [α]; librarySystemDepends = [β];}