master..6a0233f · tix · git.iko.soy

git.iko.soy/tix

137 files changed+2363−1180

unifiedsplit

docs/paper.lhs+45−152

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

6868\pagestyle{plain}

6969

7070\begin{abstract}

71− Configuring and building even the most straightforward software projects is often not simple -- it requires downloading and installing copious amounts of prerequisite software. This often makes reproducing builds of a project on different machines problematic. The Nix package manager aims to address this problem by providing a unified language for describing software packages in a purely functional way. This language is called the Nix Expression Language. Since all of the complexity of software configuration needs to be expressed in the Nix Expression Language, the expressions themselves often become pretty complicated, making it difficult to understand and extend existing expressions without introducing errors. A widespread tool for easing the understandability and correctness of expressions in other languages is static type checking. This paper will explore the techniques that can be used to add static type checking to the Nix Expression Language.

71+ Configuring and building even the most straightforward software projects is often not simple -- it requires downloading and installing copious amounts of prerequisite software. This often makes reproducing builds of a project on different machines problematic. The Nix package manager aims to address this problem by providing a unified language for describing software packages in a purely functional way. This language is called the Nix Expression Language. Since all of the complexity of software configuration needs to be expressed in the Nix Expression Language, the expressions themselves often become quite complicated, making it difficult to understand and extend existing expressions without introducing errors. A widespread tool for easing the understandability and correctness of expressions in other languages is static type checking. This paper will explore the techniques that can be used to add static type checking to the Nix Expression Language.

7272\end{abstract}

7373

7474% \begin{otherlanguage}{russian}

@@ -87,11 +87,11 @@

8787

8888\section*{Introduction}

8989

90−Today developing software is riddled with large amounts of complexity -- newer software is built on top of older software, dragging the whole stack below as dependencies. As a result, building software requires a large number of dependencies to be preinstalled. Modern build systems like Gradle\footnote{\url{https://gradle.org}}, Maven\footnote{\url{https://maven.apache.org}}, and Stack\footnote{\url{https://docs.haskellstack.org/en/stable/README/}} try to mitigate the issue by automatically downloading and installing the required dependencies. However, in most cases, such tools can only manage language-level dependencies, requiring the user to manually install additional libraries and tools.

90+Today developing software is riddled with large amounts of complexity -- newer software is built on top of older software, dragging the whole stack below as dependencies. As a result, building software requires a large number of dependencies to be preinstalled. Modern build systems like Gradle\footnote{\url{https://gradle.org}}, Maven\footnote{\url{https://maven.apache.org}}, and Stack\footnote{\url{https://docs.haskellstack.org/en/stable/README/}} try to mitigate the issue by automatically downloading and installing the required dependencies. However, in most cases, such tools can only manage language-level dependencies, requiring the user to install additional libraries and tools manually.

9191

9292Such manual dependency management leads to several problems. Firstly, when a user wants to work on a project he has not encountered before, he will have to install the required dependencies, leading to additional tedious work. Furthermore, the required versions of project dependencies might conflict with the versions that another project requires. The user will have to manually switch the versions of executables and libraries when switching between projects.

9393

94−So-called virtual environment tools partially solve this problem. A virtual environment is a way of restricting and customizing the available external tools (usually compilers) with the ability to switch between them dynamically. These tools can generally be split into one of two categories:

94+This problem is partially solved by so-called virtual environment tools. A virtual environment is a way of restricting and customizing the available external tools (usually compilers) with the ability to dynamically switch between them. These tools can generally be split into one of two categories:

9595

9696\begin{enumerate}

9797 \item \emph{language-specific tools} which simplify installing and switching between different versions of some tools (usually compilers). Examples of such tools are:

@@ -109,7 +109,7 @@ So-called virtual environment tools partially solve this problem. A virtual envi

109109 \end{enumerate}

110110\end{enumerate}

111111

112−Such tools still require explicit user action: the user needs to explicitly switch between (or install) the necessary tools when switching projects in the case of \emph{language-specific tools}, the user needs to explicitly install the required tools in some other way for them to be imported by \emph{general-purpose tools}.

112+Even so, such tools still require explicit user action: the user needs to explicitly switch between (or install) the necessary tools when switching projects in the case of \emph{language-specific tools}, the user needs to explicitly install the required tools in some other way for them to be imported by \emph{general-purpose tools}.

113113

114114Secondly, manual dependency management impedes the reproducibility of the project builds -- building the same project on multiple machines will, in all likelihood, produce different results since the machines will likely differ in many ways that impact the build, such as having slightly different versions\footnote{``Version'' here refers to actual variations on the bit level, and not just version numbers.} of libraries and executables.

115115

@@ -127,13 +127,13 @@ Refactoring existing code is also tricky since the generated expressions are onl

127127

128128A widespread tool for easing development and alleviate the aforementioned problems in other languages is static type checking -- the process of analyzing the types of expressions and detecting type errors in programs without evaluating them.

129129

130−Even though static type checking in most mainstream programming languages does not influence the semantics of the programs, it is nonetheless widely used. This is an indication of the usefulness of static type checking during development. Type checking helps detect likely ``incorrect'' programs without evaluating them (very helpful during refactoring) and aids in understanding existing code since types often expose some semantics of expressions (this is especially true for purely functional programs).

130+Even though static type checking in most mainstream programming languages does not influence the semantics of the programs, it is nonetheless widely used. This is an indication of the usefulness of static type checking during development. Type checking helps detect likely ``incorrect'' programs without evaluating them (very helpful during refactoring), and aids in understanding existing code since types often expose some semantics of expressions (this is especially true for purely functional programs).

131131

132132The Nix Expression Language does not currently support static type checking of any kind. Of course, retrofitting a static type checker onto an existing dynamic programming language will reject programs that will not produce errors at runtime. However, this is still a goal worth pursuing because even with all of the situations when the type checker produces false negatives, inferring types for existing expressions, as mentioned above, will aid in understanding existing code and surface potentially problematic areas of code to the developer.

133133

134134\section{Nix Expression Language}

135135

136−In this chapter, we will examine the semantics of major terms of the Nix Expression Language. We will, from now on abbreviate \emph{Nix Expression Language} as \emph{Nix} as it is in most cases clear from the context what is being referred to: the language or the system as a whole.

136+In this chapter we will examine the semantics of major terms of the Nix Expression Language. We will from now on abbreviate \emph{Nix Expression Language} as \emph{Nix} as it is in most cases clear from the context what is being referred to: the language or the system as a whole.

137137

138138\subsection{Atomic types}

139139

@@ -158,7 +158,7 @@ Atomic types are described in table~\ref{tab:atomicTypes}.

158158

159159\subsubsection{Double quoted string literals}

160160

161−Double quoted string literals are string literals, just like in many other programming languages. It can contain escaped newline character literals \texttt{\textbackslash n} which will be preserved as shown in figure~\ref{lst:newlineString}.

161+Double quoted string literals are string literals just like in many other programming languages. It can contain esaped newline character literals \texttt{\textbackslash n} which will be preserved as shown in figure~\ref{lst:newlineString}.

162162

163163\begin{figure}

164164 \begin{minipage}{\textwidth}

@@ -172,7 +172,7 @@ Double quoted string literals are string literals, just like in many other progr

172172

173173\subsubsection{Multiline string literals}

174174

175−Multiline string literals are enclosed by pairs of single quotes (\texttt{''} as opposed to \texttt{"}). Newlines are preserved, and indentation is stripped from the beginning of the literal. An example multiline string literal is shown in figure~\ref{lst:multilineString}.

175+Multiline string literals are enclosed by pairs of single quotes (\texttt{''} as opposed to \texttt{"}). Newlines are preserved and indentation is stripped from the beginning of the literal. An example multiline string literal is shown in figure~\ref{lst:multilineString}.

176176

177177\begin{figure}

178178 \begin{minipage}{\textwidth}

@@ -206,7 +206,7 @@ Palnet''

206206

207207\subsection{Lists}

208208

209−Nix supports a list type. List literals are enclosed by square brackets \texttt{[]}, and the elements are separated by whitespace. Examples of list literals are shown in figure~\ref{lst:list}.

209+Nix supports a list type. List literals are enclosed by square brackets \texttt{[]} and the elements are separated by whitespace. Examples of list literals are shown in figure~\ref{lst:list}.

210210

211211\begin{figure}

212212 \begin{minipage}{\textwidth}

@@ -236,7 +236,7 @@ An attribute set is internally implemented as a hashmap with strings as keys whe

236236 \label{lst:attrSet}

237237\end{figure}

238238

239−Fields (keys) of an attribute set can be accessed through the \emph{dot} (\texttt{.}) operator, as shown in figure~\ref{lst:attrSetAccess}. Accessing an absent field yields a runtime error.

239+Fields (keys) of an attribute set can be accessed through the \emph{dot} (\texttt{.}) operator as shown in figure~\ref{lst:attrSetAccess}. Accessing an absent field yields a runtime error.

240240

241241\begin{figure}

242242 \begin{minipage}{\textwidth}

@@ -271,7 +271,7 @@ There is a binary \emph{update} operator that takes two \emph{attribute sets} as

271271

272272\subsection{Recursive attribute sets} \label{sec:recAttrSet}

273273

274−While ordinary \emph{attribute sets} discussed in section~\ref{sec:attrSet} can only reference values defined outside of the attribute set literal, \emph{recursive attribute sets} can also reference values defined in the attribute set literal itself. The keys of the attribute set are available in the scopes of the attribute set values. An example \emph{recursive attribute set} is given in figure~\ref{lst:recAttrSet}. Note that it is syntactically distinguished from normal \emph{attribute set} literals by the \texttt{rec} keyword at the beginning.

274+While ordinary \emph{attribute sets} discussed in section~\ref{sec:attrSet} can only reference values defined outside of the attribute set literal, \emph{recursive attribute sets} can also reference values defined in the attribute set literal itself. The keys of the attribute set are available in the scopes of the attribute set values. An example \emph{recursive attribute set} is given in figure~\ref{lst:recAttrSet}. Note that it is syntactically distinguished form normal \emph{attribute set} literals by the \texttt{rec} key word at the beginning.

275275

276276\begin{figure}

277277 \begin{minipage}{\textwidth}

@@ -307,7 +307,7 @@ in d

307307

308308\subsection{With expression} \label{sec:withExp}

309309

310−\emph{With expressions} are a way of bringing all values from an \emph{attribute set} into scope. It is conceptually very similar to \emph{let expressions} discussed in section~\ref{sec:let}. The syntax can be roughly described like so: \texttt{with <set>; <body>} where \texttt{<set>} is an expression which evaluates to an \emph{attribute set} and all values from the set are available as definitions in the \texttt{<body>} expression. An example of a \emph{with expression} can be found in figure~\ref{lst:with}.

310+\emph{With expressions} are a way of bringing all values from an \emph{attribute set} into scope. It is conceptually very similar to \emph{let expressions} discussed in section~\ref{sec:let}. The syntax can be roughly describe like so: \texttt{with <set>; <body>} where \texttt{<set>} is an expression which evaluates to an \emph{attribute set} and all values from the set are available as definitions in the \texttt{<body>} expression. An example of a \emph{with expression} can be found in figure~\ref{lst:with}.

311311

312312\begin{figure}

313313 \begin{minipage}{\textwidth}

@@ -322,7 +322,7 @@ in d

322322 \label{lst:with}

323323\end{figure}

324324

325−\section{Existing typecheckers implementations}

325+\section{Existing typecheckers}

326326

327327In this section we will examine existing attempts at developing a typechecker for the Nix Expression Language, determine the features of the implemented type systems and assess how well maintained the implementations are.

328328

@@ -345,7 +345,7 @@ haskell-nix/hnix\footnote{\url{https://github.com/haskell-nix/hnix}} is primaril

345345\parr{Status} Last time the typechecker was modified in any substantial way was in 2019. It does not appear to be actively developed. Furthermore, there is no description of the implemented type system.

346346

347347

348−\section{Existing type system research}

348+\section{Existing Approaches}

349349

350350In this section we will explore existing techniques used to develop typecheckers, and explore how they can be applicable to our implementation.

351351

@@ -393,9 +393,9 @@ There has been some research conducted in the field of type systems with row-pol

393393

394394% Hughes introduced a general-purpose algebraic pretty-printer~\cite{hughes1995design}, which was later improved upon~\cite{wadler2003prettier}, to solve precisely this problem. Using one of the pretty-printers based on that research is the industry standard and will be used by our type checker.

395395

396−\section{Our Nix type system}

396+\section{Type system}

397397

398−As mentioned above, we have opted to use the Damas-Milner type system as a basis for our implementation. Our goal is not just to add types for the sake of types, but give additional reassurance to the developer, and reject as many potentially ``invalid'' programs as possible. If the developed typechecker processes a program without errors, then the program should have no type errors during execution.

398+As mentioned above, we have opted to use the Damas-Milner type system as a basis for our implementation. Our goal is not to just add types for the sake of types, but give additional reassurance to the developer, and reject as many potentially ``invalid'' programs as possible. If the developed typechecker processes a program without errors, then the program should have no type errors during execution.

399399

400400\subsection{Polymorphism} \label{sec:polymorphism}

401401

@@ -568,7 +568,7 @@ The term \texttt{x: y: x // y} would yield the following type:

568568 \forall \alpha \beta \gamma. \; \alpha \update \beta \sim \gamma \Rightarrow \alpha \rightarrow \beta \rightarrow \gamma

569569\end{equation}

570570

571−\subsection{Atomic types}

571+\subsection{Atmoic types}

572572

573573Nix is a dynamic language, and as such, allows dynamic coercions between certain types. This means that we can not use the dynamic types from the interpreter to perform static type checking -- if we did that we would reject \emph{a lot} of valid programs.\footnote{``Valid'' not just in the sense that they would not produce runtime errors, but ``valid'' in the sense that the programmer would judge the program as being ``correct''.}

574574

@@ -883,7 +883,7 @@ instance Semigroup Substitution where

883883

884884This means that the order of composition does no longer matter, and applying the composition of substitutions yields more information than applying them sequentially.

885885

886−Another consequence of the decision to delay substitutions is that now the role of the |infer| step of typechecking only does the following three things:

886+Another consequence of the decision to delay substitutions is that now the role of the |infer| step of typechecking only does the following tree things:

887887

888888\begin{enumerate}

889889 \item returns a type variable that represents the type of the expression being inferred

@@ -893,7 +893,7 @@ Another consequence of the decision to delay substitutions is that now the role

893893

894894\subsection{Typing context}

895895

896−The typing context in our implementation, in essence, consists of two distinct data structures:

896+The typing context in our implementation in essence consists of two distinct data structures:

897897

898898\begin{enumerate}

899899 \item the types of variables currently in scope

@@ -902,9 +902,9 @@ The typing context in our implementation, in essence, consists of two distinct d

902902

903903\subsubsection{Variables in scope}

904904

905−Note that in practice, the ``variables in scope'' data structure only needs to contain type variables since we apply substitutions as late as possible.

905+Note that in practice the ``variables in scope'' data structure only needs to contain type variables since we apply substitutions as late as possible.

906906

907−In actual fact, due to the heuristics described in section~\ref{sec:withExprType}, the types of variables in scope can not be represented as a static data structure but rather is implemented as a scoped effect\footnote{Effects in our case are implemented using the \emph{freer-simple} library: \url{https://github.com/lexi-lambda/freer-simple}}:

907+In actual fact, due to the heuristics described in section~\ref{sec:withExprType} the types of variables in scope can not be represented as static data structure, but rather is implemented as a scoped effect\footnote{Effects in our case are implemented using the \emph{freer-simple} library: \url{https://github.com/lexi-lambda/freer-simple}}:

908908

909909\begin{code}

910910data VariableMapEff x where

@@ -918,13 +918,13 @@ lookupVar

918918lookupVar = send . LookupVariable

919919\end{code}

920920

921−This allows us to dynamically redefine what it means to look up a variable in terms of its implementation in the outer context.

921+This allows us to dynamically redefine what it means to lookup a variable in terms of its implementation in the outer context.

922922

923923\subsubsection{Predicates}

924924

925−Predicates can, on the other hand, be stored as a static data structure. The only non-standard behavior is that the set of predicates needs to be queried and manipulated based on the types that they contain rather than on the predicates themselves.

925+Predicates can, on the other hand, be stored as a static data structure. The only non-standard behavior is that the set of predicates needs to be queried and manipulated based on the types that they contain, rather than on the predicates themselves.

926926

927−For this reason, we have developed a data structure we call ``multi-keyed map''.

927+For this reason we have developed a data structure we call ``multi-keyed map''.

928928

929929\begin{code}

930930class (Ord (Key t), Ord t) => Keyable t where

@@ -938,8 +938,8 @@ data MultiKeyedMap t = MultiKeyedMap

938938The data structure is the product of two other data structures:

939939

940940\begin{enumerate}

941− \item A map, mapping possible keys of the stored |t| to a set of values that contain the given key

942− \item A set that contains the values that don't contain any keys

941+ \item A map, mapping possible keys of the stored |t| to a set of values the contain the given key

942+ \item A set which contains the values that don't contain any keys

943943\end{enumerate}

944944

945945The |Keyable| typeclass is used to extract the keys from the values that need to be stored.

@@ -994,11 +994,11 @@ An observation we can make is the following: it only makes sense to close over t

994994 \item are used in an outer lexical scope (environment)

995995\end{enumerate}

996996

997−This greatly simplifies implementing the typing rule~\ref{eq:letGeneralization} since instead of having to calculate a set of free type variables of the whole context, we only need to obtain a predicate that identifies if a type variable was introduced during the inference of an expression. This is made even easier if type variables are internally represented as integers, as they often are.

997+This greatly simplifies implementing the typing rule~\ref{eq:letGeneralization} since instead of having to calculate a set of free type variables of the whole context, we only need to obtain a predicate which identifies if a type variable was introduced during the inference of an expression. This is made even easier if type variables are internally represented as integers, as they often are.

998998

999−In our case, this is complicated by the fact that we need to introduce type variables which are fields of an \emph{attribute set} from an outer lexical scope. This is problematic because while the type variable can be defined during inference, it is actually logically defined at the same position as the initial \emph{attribute set}; it has the same lexical scope as the \emph{attribute set}. So, the lexical scope of a type variable can not be derived from the inference context of an expression.

999+In our case this is complicated by the fact that we need to introduce type variables which are fields of an \emph{attribute set} from an outer lexical scope. This is problematic because while the type variable can be defined during inference, it is actually logically defined at the same position as the initial \emph{attribute set}; it has the same lexical scope as the \emph{attribute set}. So, the lexical scope of a type variable can not be derived from the inference context of an expression.

10001000

1001−A solution we came up with is to have two ways a type variable can be constructed -- as an ordinary type variable backed by a single integer or as a sub-type variable that has the same lexical scope as another type variable:

1001+A solution we came up with is to have two ways a type variable can be constructed -- as an ordinary type variable backed by a single integer, or as a sub-type variable which has the same lexical scope as another type variable:

10021002

10031003\begin{code}

10041004data TypeVariable

@@ -1006,126 +1006,17 @@ data TypeVariable

10061006 | SubTypeVariable Int Int

10071007\end{code}

10081008

1009−This way, when applying a predicate to check the lexical scope of a type variable, we can always restrict ourselves to the first integer.

1009+This way, when applying a predicate to check the lexical scope of a type variable we can always restrict ourselves to the first integer.

10101010

10111011\section{Evaluation of our implementation}

10121012

1013−In this section, we will examine how our implementation of the typechecker behaves on real input.

1014−

1015−\subsection{Evaluating nixpkgs}

1016−

1017−To evaluate our typechecker implementation~\cite{github-source}, we collected \emph{Nix} source files from the largest \emph{Nix} package repository – \emph{nixpkgs}\footnote{\url{https://github.com/NixOS/nixpkgs}}. Due to our current implementation not supporting file imports (file imports are the responsibility of the system calling the typechecker, not the type checker itself), the files were filtered down to those that do not contain import statements.

1013+To evaluate our typechecker implementation~\cite{github-source} we collected \emph{Nix} source files from the larges \emph{Nix} package repository – \emph{nixpkgs}\footnote{\url{https://github.com/NixOS/nixpkgs}}. Due to our current implementation not supporting file imports (file imports are the responsibility of the system calling the typechecker, not the type checker itself) the files were filtered down to those that do not contain import statements.

10181014

10191015Running our typechecker on the test set of \emph{Nix} source files results in \emph{1963} out of \emph{2948} (67\%) typechecking with no type errors.

10201016

10211017We believe this is a very good result since the files were not prepared in any way and were taken as-is from the package repository. Furthermore, it is important to note that rejecting a portion of ``valid'' programs is an unavoidable property of static typecheckers.

10221018

1023−We would also like to point out that even in those cases when type errors were encountered during typechecking, the typechecker still produces output types that can be useful to the developer and can be used for further typechecking of larger expressions (though providing fewer guarantees).

1024−

1025−\subsection{Evaluating common expressions}

1026−

1027−We will now examine a few language constructs to see how our typechecker handles them and what errors it can detect.

1028−

1029−\subsubsection{Script interpreters}

1030−

1031−In listing~\ref{lst:interpreters} we present a sample script that demonstrates our type inference algorithm.

1032−

1033−The function \texttt{getScriptInterpreters} takes a single ``package'' structure and returns a list of interpreters used in the scripts of the package. Out type inference algorithm correctly infers the following type of the function:

1034−

1035−\begin{equation}

1036− \forall \alpha \beta \gamma. \; (\alpha. \text{scripts} = [\beta], \beta. \text{interpreter} = \gamma) \Rightarrow \alpha \rightarrow [\gamma]

1037−\end{equation}

1038−

1039−The constant \texttt{package} contains a sample ``package'' structure with three scripts. In real code, the structure would be a lot more complex, but it is simplified for brevity.

1040−

1041−The result of the whole expression (applying \texttt{getScriptInterpreters} to \texttt{package}) is correctly inferred by our type checker to have the type:

1042−

1043−\begin{equation}

1044− [\text{String}]

1045−\end{equation}

1046−

1047−\begin{figure}

1048− \begin{minipage}{\textwidth}

1049− \begin{verbatim}

1050−let getScriptInterpreters = x:

1051− builtins.map

1052− (y: y.interpreter)

1053− x.scripts;

1054− package = {

1055− scripts = [

1056− {interpreter = "bash";}

1057− {interpreter = "zsh";}

1058− {interpreter = "fish";}

1059− ];

1060− };

1061−in getScriptInterpreters package

1062−\end{verbatim}

1063− \end{minipage}

1064− \caption{A sample nix program which gathers all interpreters used by a script in a package.}

1065− \label{lst:interpreters}

1066−\end{figure}

1067−

1068−If a programmer makes a certain class of mistakes when developing the program, our typechecker would report an error. For example, the programmer might forget to access the ``scripts'' field of the package and pass the whole package by accident:

1069−

1070−\begin{verbatim}

1071−getScriptInterpreters =

1072− x: builtins.map (y: y.interpreter) x;

1073−\end{verbatim}

1074−

1075−In that case, when evaluating the whole expression from listing~\ref{lst:interpreters}, he would receive the following error from the typechecker: ``could not match list with type \texttt{\{scripts = [{interpreter = String;}]\}}''. This error is a result of trying to \texttt{map} over an attribute set.

1076−

1077−\subsubsection{Haskell packages}

1078−

1079−In listing~\ref{lst:haskellPackages}, we defined a function \texttt{haskellPackage} that takes parameters for a Haskell package and returns a configuration that might describe how to build the package. Out tool correctly infers the type of the function:

1080−

1081−\begin{equation}

1082− \begin{aligned}

1083− \forall \alpha \beta. \; &

1084− \\ ( & \alpha \optDot \text{compilerFlags} = [\text{String}],

1085− \\ & \alpha \optDot \text{compilerVersion} = \text{String},

1086− \\ & \alpha.\text{src} = \beta)

1087− \\ \Rightarrow & \alpha

1088− \\ \rightarrow & \{ \text{compiler} = \text{String};

1089− \\ & \text{compilerFlags} = [\text{String}];

1090− \\ & \text{src} = \beta; \}

1091− \end{aligned}

1092−\end{equation}

1093−

1094−By the derived type of the function, we can clearly see that the \texttt{compilerFlags} and \texttt{compilerVersion} fields of the input attribute set are optional.

1095−

1096−The result of the whole expression is a list of applications of the \texttt{haskellPackage} function to multiple configurations. Ou implementation correctly infers the following type:

1097−

1098−\begin{equation}

1099− [{\text{compiler} = \text{String}; \text{compilerFlags} = [\text{String}]; \text{src} = \text{String};}]

1100−\end{equation}

1101−

1102−\begin{figure}

1103− \begin{minipage}{\textwidth}

1104− \begin{verbatim}

1105−let haskellPackage = x: {

1106− compiler = "ghc" + (x.compilerVersion or "900");

1107− inherit (x) src;

1108− compilerFlags = x.compilerFlags or ["-O3" "-j"];

1109−};

1110−in [

1111− (haskellPackage {

1112− src = ./project-m36;

1113− compilerVersion = "865";

1114− })

1115− (haskellPackage {

1116− src = ./pandoc;

1117− compilerFlags = ["-static"];

1118− })

1119−]

1120− \end{verbatim}

1121− \end{minipage}

1122− \caption{A sample nix program which defined several haskell packages..}

1123− \label{lst:haskellPackages}

1124−\end{figure}

1125−

1126−A mistake that is easy to make here is to forget to quote the \texttt{compilerVersion} field, leading to the type being `Number' instead of `String'. In that case, our implementation will convey exactly that in an error.

1127−

1128−Another common mistake is specifying the \texttt{compilerFlags} field as a single `String' instead of a list. In that case, our implementation will emit an appropriate error without the need to execute the expression.

1019+We would also like to point out that even in those cases, when type errors were encountered during typechecking, the typechecker still produces output types which can be useful to the developer and can be used for further typechecking of larger expressions (though, providing less guarantees).

11291020

11301021\section{Possible improvements}

11311022

@@ -1139,22 +1030,22 @@ The technique is based on the fact that a type variable by itself can only conve

11391030

11401031\begin{enumerate}

11411032 \item positional information -- a specific position in a type

1142− \item identity information -- the type variable is equivalent to other type variables with the same name within the scope where it is declared

1033+ \item identity information -- the type variable is equivalent to other type variable with the same name within the scope where it is declared

11431034\end{enumerate}

11441035

11451036Note that all of what follows is only concerned with syntactic constructs. It does in no way alter the semantic of the predicates described above.

11461037

1147−We would like to point out that all of the predicates have an operand which is the ``result'' of the predicate -- a single type variable that is said to be equivalent to a more complex expression. That is $\beta$ in predicates \ref{eq:fieldPred} and \ref{eq:optFieldPred}, and $\gamma$ in predicate \ref{eq:upatePred}.

1038+We would like to point out that all of the predicates have an operand which is the ``result'' of the predicate -- a single type variable which is said to be equivalent to a more complex expression. That is $\beta$ in predicates \ref{eq:fieldPred} and \ref{eq:optFieldPred}, and $\gamma$ in predicate \ref{eq:upatePred}.

11481039

1149−The observation we need to make is that \emph{referential transparency}\footnote{\url{https://en.wikipedia.org/wiki/Referential_transparency}} is a natural notion in functional programming languages like Nix, and it is natural to replace variables with their definitions. In some sense, the ``results'' of predicates described above can be interpreted as being ``defined'' by the predicate to be ``equal'' to the combination of the other operands and, as such, can be replaced with their definitions.

1040+The observation we need to make is that \emph{referential transparency}\footnote{\url{https://en.wikipedia.org/wiki/Referential_transparency}} is a natural notion in functional programming languages like Nix, and it is natural to replace variables with their definitions. In some sense the ``results'' of predicates described above can be interpreted as being ``defined'' by the predicate to be ``equal'' to the combination of the other operands, and, as such, can be replaced with their definitions.

11501041

1151−This means that we can syntactically replace \emph{type variables} with a portion of a predicate -- replace the variable with the definition. If we apply this technique to the type~\ref{eq:dotExample}, we get the following type:

1042+This means that we can syntactically replace \emph{type variables} with a portion of a predicate -- replace the variable with the definition. If we apply this technique to the type~\ref{eq:dotExample} we get the following type:

11521043

11531044\begin{equation}

11541045 \forall \alpha. \; \alpha \rightarrow \alpha.\text{y}

11551046\end{equation}

11561047

1157−When applied to the type~\ref{eq:updatePredExample}, it yields:

1048+When applied to the type~\ref{eq:updatePredExample} it yields:

11581049

11591050\begin{equation}

11601051 \forall \alpha \beta. \; \alpha \rightarrow \beta \rightarrow (\alpha \update \beta)

@@ -1166,11 +1057,11 @@ We believe the derived types above are a lot easier to understand than their ini

11661057

11671058For practical reasons, when applying the technique, there should be a threshold that limits the syntactic complexity of types that can be ``inlined''. This is due to the types being potentially as big as literals in the source expressions.

11681059

1169−The complexity of types should also be used as a heuristic in cases where there are multiple potential ``definitions'' for the same type variable – it is preferable to use the ``definitions'' with the lowest syntactic complexity as it leads to simpler types.

1060+Complexity of types should also be used as a heuristic in cases where there are multiple potential ``definitions'' for the same type variable – it is preferable to use the ``definitions'' with the lowest syntactic complexity as it leads to simpler types.

11701061

11711062\subsubsection{Limitations}

11721063

1173−The technique is not applicable if the ``result'' of a predicate is not a type variable like in type \ref{eq:optFieldPredExample2}.

1064+The technique is not in applicable if the ``result'' of a predicate is not a type variable like in type \ref{eq:optFieldPredExample2}.

11741065

11751066Another limitation is that we can not remove predicates if their ``result'' type variable is not present in the head of the type like in type \ref{eq:optFieldPredExample}, since we would be losing typing information by doing so.

11761067

@@ -1182,12 +1073,12 @@ Some information that might be useful as type hints:

11821073

11831074\begin{enumerate}

11841075 \item The dynamic type of strings (URI, Path, etc.) – useful information for the programmer

1185− \item Programmer-supplied annotations. When writing nix expressions, it is common practice to have a program in some other programming language embedded in Nix as a string literal. It would be useful to propagate information about the underlying programming language to aid IDEs -- they could enable special syntax highlighting and linting based on the programming language.

1076+ \item Programmer-supplied annotations. When writing nix expressions it is common practice to have a program in some other programming language embedded in Nix as a string literal. It would be useful to propagate information about the underlying programming language to aid IDEs -- they could enable special syntax highlighting and linting based on the programming language.

11861077\end{enumerate}

11871078

11881079\subsection{Sum types} \label{sec:sumTypes}

11891080

1190−In our static type system, we introduced a ``special case'' for the \emph{addition operator} as it could be applied to a number of different types.

1081+In our static type system we introduced a ``special case'' for the \emph{addition operator} as it could be applied to a number of different types.

11911082

11921083The idea of this improvement is to generalize the case and allow the type system to handle arbitrary sums of arbitrary types. This can be implemented as a predicate stating that a type variable can be a certain type:

11931084

@@ -1201,9 +1092,11 @@ where $\beta$ can be the type $\alpha$. With this predicate, our ``String or Num

12011092 \strOrNum \sim \alpha = (\text{String} \lessdot \alpha, \text{Number} \lessdot \alpha)

12021093\end{equation}

12031094

1204−\section*{Conclusion}

1095+\section{Conclusion}

1096+

1097+Nix is a rapidly growing ecosystem. At the time of writing, nixpkgs, the Nix package registry, contains over 60000 packages\footnote{\url{https://github.com/NixOS/nixpkgs}} that can be either installed or used as dependencies in other projects. There is much interest in the approach used by Nix, and making the ever-growing codebase of configurations easier to manage and extend would be a welcome development.

12051098

1206−In this paper, we have examined the existing approaches which have been used in developing type systems for functional programming languages. We have then adapted the existing approaches and developed a new static type system for the Nix Expression Language. We have also developed a preliminary implementation of our type system, which we tested on an existing codebase. We have also outlined further practical improvements to our implementation, which could improve the developer experience.

1099+Even though the developed type checker will need to check code for an existing dynamic language, and no type checker can cover all of the valid cases, producing false negatives, covering most of the cases encountered in practice would be useful enough to be worth using. Furthermore, plenty of research has already been conducted on which the Nix Expression Language type checker can be based.

12071100

12081101\newpage

12091102

docs/pres_2/img/ter.png

Binary file not shown.

docs/pres_2/pres.md+52−52

@@ -20,9 +20,8 @@ _Supervisor:_ Victor Kuliamin, Associate Professor, PhD

2020

2121---

2222

23−## Nix is a powerful package manager that makes package management reliable and reproducible.

24−

25−#### – [nixos.org](https://nixos.org)

23+> Nix is a powerful package manager that makes package management reliable and reproducible.

24+-- [nixos.org](https://nixos.org)

2625

2726---

2827

@@ -66,12 +65,10 @@ in derivation {

6665

6766---

6867

69−[.text: text-scale(0.55)]

68+[.text: text-scale(0.75)]

7069

7170# Terms and definitions

7271

73−**Type** – an attribute of data which tells the compiler or interpreter how the programmer intends to use the data

74−

7572**Type system** – a logical system comprising a set of rules that assigns a property called a type to the various constructs of a computer program

7673

7774**Type checking** – the process of verifying and enforcing the constraints of types.

@@ -105,14 +102,14 @@ Adding static typing would:

105102- Increase reliability of code

106103- Lower costs of development (resolving issue earlier is cheaper)

107104

108−

105+_The typechecker should help find issues in existing code_

109106

110107---

111108

112109# The goal

113110

114−1. Develop a static type system for the existing Nix expression language

115−2. Develop a type checker for this static type system

111+1. Develop a type static system for the existing Nix expression language

112+2. Develop a type checker for this type system

116113

117114---

118115

@@ -132,48 +129,31 @@ The Hindley–Milner type system_[1]_ is a simple, but well-studied type system

132129

133130---

134131

135−# Methods and algorithms

132+# Functional requirements

136133

137−The developed type system is heavily influenced by the Hindley–Milner_[1]_ type system.

134+- The system should perform type checking on expression.

138135

136+- The system should analyze the types and presence of attributes in attribute sets.

139137

140−---

138+- The system should report encountered typechecking.

141139

142−# Methods and algorithms

140+- The system should report the use of undefined terms.

143141

144−The developed type system supports parametric polymorphism to support code that does not require a specific type.

145−

146−```nix

147−x: y: x ++ y

148−```

149−

150−```

151−∀ α. [α] -> [α] -> [α]

152−```

142+- The system should report the resulting types of expressions to the user.

153143

154144---

155145

156−# Methods and algorithms

157−

158−The developed type system implements row polymorphism to work with attribute sets.

146+[.text: text-scale(0.85)]

159147

160−```nix

161−x: x.v + 69

162−```

148+# Methods and algorithms

163149

164−```

165−∀ α. (α.v = Number) => α -> Number

166−```

150+The type system will be heavily influenced by the Hindley–Milner_[1]_ type system.

167151

168−<br />

152+The type system will implement parametric polymorphism to support code that does not require a specific type.

169153

170−```nix

171−x: x // {v = "hello";}

172−```

154+The type system will implement arbitrary-ranked polymorphism_[3]_ with deep instantiation to disambiguate types in existing untyped code.

173155

174−```

175−∀ α β. (α // {v = String;} ~ β) => α -> β

176−```

156+The type system will implement row polymorphism to work with attribute sets.

177157

178158---

179159

@@ -197,28 +177,49 @@ The typechecker is implemented in a two-step architecture:

197177

198178---

199179

200−# Results

180+# Current results

201181

202−- Theoretical

203− - A static type system for the Nix Expression Language

182+A typechecker executable that successfully typechecks _most_ of the selected files from _nixpkgs_.

204183

205−- Practical

184+The typechecker currently has some support for all language constructs.

206185

207− - A typechecker executable that successfully typechecks _most_ of the selected files from _nixpkgs_.

186+![.right .fit](img/ter.png)

208187

209− - The typechecker supports all language constructs.

188+---

210189

211−![.right .fit](img/ter.png)

190+[.build-lists: false]

191+

192+# Current results

193+

194+## Paper status

195+

196+1. Nix Expression Language (80%)

197+2. Existing typecheckers (100%)

198+3. Existing approaches (100%)

199+4. Architecture (20%)

200+5. Implementation (0%)

201+6. Conclusion (60%)

202+

203+![.right .fit](img/paper.png)

204+

205+---

206+

207+# What is left

208+

209+- Better type rendering (predicates)

210+- Subsumption

211+- A lot of minor big fixes in type inference

212+- Add type information about built-in functions

212213

213214---

214215

215216# Potential future developments

216217

217218- Add support for user-supplied type annotations.

219+ - Fork parser

220+ - Bidirectional type inference_[4]_

218221- Type holes

219222- Language Server Integration

220−- Better type rendering

221−- Sum types

222223

223224---

224225

@@ -227,10 +228,9 @@ The typechecker is implemented in a two-step architecture:

227228

228229# References

229230

230−1. L. Damas and R. Milner, “Principal type-schemes for functional pro- grams,” in Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1982, pp. 207–212.

231−2. E. Dolstra and A. Loh, “Nixos: A purely functional linux distribution,” in Proceedings of the 13th ACM SIGPLAN international conference on Functional programming, 2008, pp. 367–378.

232−3. J. G. Morris and J. McKinna, “Abstracting extensible data types: or, rows by any other name,” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, pp. 1–28, 2019.

233−4. D. Leijen, “Extensible records with scoped labels.” Trends in Functional Programming, vol. 6, pp. 179–194, 2005.

231+1. Damas L., Milner R. Principal type-schemes for functional programs //Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. – 1982. – С. 207-212.

232+2. Jones S. P. et al. Practical type inference for arbitrary-rank types //Journal of functional programming. – 2007. – Т. 17. – №. 1. – С. 1-82. MLA

233+3. Stuckey P. J., Sulzmann M., Wazny J. Improved inference for checking type annotations //arXiv preprint cs/0507036. – 2005. MLA

234234

235235---

236236

@@ -347,7 +347,7 @@ let f = x: x.a; in f {b = "hello";}

347347```

348348

349349```

350−Error: key "a" not present in { b = String; }

350+Error: key "a" NotPresent in { b = String; }

351351```

352352

353353---

paper.pdfdeleted

Binary file not shown.

src/Tix/Builtins.hsdeleted−68

@@ -1,68 +0,0 @@

1−module Tix.Builtins (builtins) where

2−

3−import Data.Map (Map)

4−import qualified Data.Map as M

5−import Data.Text (Text)

6−import Tix.Types

7−

8−builtins :: Map Text Scheme

9−builtins =

10− M.fromList

11− [ ( "builtins",

12− scheme $

13− NAttrSet $

14− M.fromList

15− [ ("abort", scheme $ NAtomic String :-> deBruijn 0 0),

16− ("add", [StringOrNumber $ deBruijn 2 0] :=> (deBruijn 3 0 :-> (deBruijn 4 0 :-> deBruijn 4 0))),

17− ("all", [] :=> ((deBruijn 4 0 :-> NAtomic Bool) :-> (List (deBruijn 5 0) :-> NAtomic Bool))),

18− ("any", [] :=> ((deBruijn 4 0 :-> NAtomic Bool) :-> (List (deBruijn 5 0) :-> NAtomic Bool))),

19− ("attrNames", [] :=> (deBruijn 3 0 :-> List (NAtomic String))),

20− ("attrValues", [] :=> (deBruijn 3 0 :-> List (deBruijn 0 0))),

21− ("baseNameOf", [] :=> (NAtomic String :-> NAtomic String)),

22− ("bitAnd", [] :=> (NAtomic Number :-> (NAtomic Number :-> NAtomic Number))),

23− ("bitXor", [] :=> (NAtomic Number :-> (NAtomic Number :-> NAtomic Number))),

24− ("bitOr", [] :=> (NAtomic Number :-> (NAtomic Number :-> NAtomic Number))),

25− ("ceil", [] :=> (NAtomic Number :-> NAtomic Number)),

26− ("compareVersions", [] :=> (NAtomic String :-> (NAtomic String :-> NAtomic Number))),

27− ("concatLists", [] :=> (List (List (deBruijn 5 0)) :-> List (deBruijn 4 0))),

28− ("concatMap", [] :=> ((deBruijn 4 0 :-> List (deBruijn 5 1)) :-> (List (deBruijn 5 0) :-> List (deBruijn 5 1)))),

29− ("map", [] :=> ((deBruijn 4 0 :-> deBruijn 4 1) :-> (List (deBruijn 5 0) :-> List (deBruijn 5 1)))),

30− ("catAttrs", [] :=> (NAtomic String :-> (List (deBruijn 0 0) :-> List (deBruijn 0 0))))

31− ]

32− ),

33− ( "derivation",

34− [ deBruijn 2 0

35− // attrSet

36− [ ("all", scheme $ List (deBruijn 5 1)),

37− ("drvAttrs", scheme $ deBruijn 4 0),

38− ("drvPath", string),

39− ("out", scheme $ deBruijn 4 1),

40− ("outPath", string),

41− ("outputName", string),

42− ("type", string)

43− ]

44− $ deBruijn 2 1,

45− deBruijn 2 0 .! ("name", string),

46− deBruijn 2 0 .! ("builder", string),

47− deBruijn 2 0 .! ("system", string),

48− deBruijn 2 0 .? ("args", scheme $ List (NAtomic String)),

49− deBruijn 2 0 .? ("outputs", scheme $ List (NAtomic String))

50− ]

51− :=> (deBruijn 3 0 :-> deBruijn 3 1)

52− )

53− ]

54−

55−string :: Scheme

56−string = scheme $ NAtomic String

57−

58−deBruijn :: Int -> Int -> NType

59−deBruijn a b = NBruijn $ DeBruijn a b

60−

61−attrSet :: [(Text, Scheme)] -> NType

62−attrSet = NAttrSet . M.fromList

63−

64−(.!) :: NType -> (Text, Scheme) -> Pred

65−(.!) = HasField RequiredField

66−

67−(.?) :: NType -> (Text, Scheme) -> Pred

68−(.?) = HasField OptionalField

src/Tix/Typechecker.hs−2

@@ -52,7 +52,6 @@ import Data.Traversable

5252import Nix.Atoms

5353import Nix.Expr

5454import Nix.Pretty

55−import Tix.Builtins (builtins)

5655import Tix.Types

5756import Prelude as P

5857

@@ -64,7 +63,6 @@ getType r =

6463 . evalState @(MKM.Map Pred) mempty

6564 . interpret @(Writer Pred) (\(Tell x) -> modify (<> MKM.singleton x))

6665 . runVariableMapEff

67− . localVariablesMap builtins

6866 . evalState @Substitution mempty

6967 . runState @[(TypeVariable, SrcSpan)] []

7068 . interpret @(Writer (TypeVariable, SrcSpan)) (\(Tell x) -> modify (x :))

src/Tix/Types.hs+1−1

@@ -252,7 +252,7 @@ prettyScheme u@(cs :=> t) = do

252252 x' <- prettyNType False x

253253 y' <- prettyNType False y

254254 z' <- prettyNType False z

255− return $ group $ x' <+> "//" <> line <> y' <+> "~" <> line <> z'

255+ return $ group $ paren x' <+> "//" <> line <> paren y' <+> "~" <> line <> paren z'

256256 prettyPred (StringOrNumber x) = do

257257 x' <- prettyNType False x

258258 return $ "(String | Number)" <+> "~" <+> x'

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

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

11∀ α β γ.

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

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

33 α.callPackage = String -> β -> γ

44) =>

55α -> γ

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

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

11∀ α β γ δ.

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

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

33 α.callPackage = String -> γ -> δ,

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

55) =>

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

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

11∀ α β γ δ.

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

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

33 α.callPackage = String -> γ -> δ,

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

55) =>

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

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

11∀ α β γ δ ε.

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

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

33 α.callPackage = String -> γ -> δ,

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

55 α.stdenv = ε

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

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

11∀ α β γ δ ε.

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

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

33 α.callPackage = String -> γ -> δ,

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

55 α.stdenv = ε

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

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

11∀ α β γ δ ε.

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

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

33 α.callPackage = String -> γ -> δ,

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

55 α.stdenv = ε

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

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

11∀ α β γ δ ε.

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

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

33 α.callPackage = String -> γ -> δ,

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

55 α.stdenv = ε

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

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

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

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

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

33 α.callPackage = String -> δ -> ε,

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

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

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

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

11∀ α β γ δ ε ζ.

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

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

33 α.callPackage = String -> γ -> δ,

44 α.fetchpatch = ε,

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

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

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

11∀ α β γ δ ε ζ.

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

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

33 α.callPackage = String -> γ -> δ,

44 α.fetchpatch = ε,

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

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

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

11∀ α β γ δ ε ζ.

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

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

33 α.callPackage = String -> γ -> δ,

44 α.fetchpatch = ε,

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

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

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

11∀ α β γ δ ε ζ.

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

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

33 α.callPackage = String -> γ -> δ,

44 α.fetchpatch = ε,

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

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

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

11∀ α β γ δ ε ζ.

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

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

33 α.callPackage = String -> γ -> δ,

44 α.fetchpatch = ε,

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

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

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

11∀ β γ δ ε ζ η θ ι.

2−( β // {description = String; priority = Number;} ~ γ,

2+( (β) // ({description = String; priority = Number;}) ~ (γ),

33 δ.mkDerivation = {builder = ε; meta = ∀ α. α; name = String;} -> ζ,

44 η.meta = β,

55 θ.description = String

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

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

11∀ α β γ.

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

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

33 α.callPackage = String -> β -> γ

44) =>

55α -> γ

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

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

11∀ α β γ.

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

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

33 α.callPackage = String -> β -> γ

44) =>

55α -> γ

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

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

11∀ α β γ δ.

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

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

33 α.callPackage = String -> γ -> δ,

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

55) =>

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

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

11∀ α β γ.

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

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

33 α.callPackage = String -> β -> γ

44) =>

55α -> γ

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

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

11∀ α β γ.

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

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

33 α.callPackage = String -> β -> γ

44) =>

55α -> γ

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

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

11∀ α β γ.

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

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

33 α.callPackage = String -> β -> γ

44) =>

55α -> γ

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

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

11∀ α β γ.

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

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

33 α.callPackage = String -> β -> γ

44) =>

55α -> γ

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

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

11∀ α β γ δ ε.

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

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

33 α.autoreconfHook = δ,

44 α.callPackage = String -> γ -> ε,

55 α.fetchFromGitHub =

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

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

11∀ α β γ.

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

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

33 α.callPackage = String -> β -> γ

44) =>

55α -> γ

test/golden/importless/4.13a.txt+1−1

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

11∀ β γ δ ε ζ η θ ι.

2−( β // {branch = String;} ~ γ,

2+( (β) // ({branch = String;}) ~ (γ),

33 δ.mkDerivation =

44 { buildInputs = [ε];

55 meta = ∀ α. α;

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

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

11∀ α β γ δ ε.

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

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

33 α.callPackage = String -> γ -> δ,

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

55 α.tcl = ε

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

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

11∀ α β γ δ ε ζ η θ.

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

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

33 α.callPackage = String -> γ -> δ,

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

55 α.stdenv = ε,

test/golden/importless/8_0.txt+10−7

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

11∀ α β γ.

2−( α //

3− { extraPatches = [String];

4− extraPostInstall = String;

5− sha256 = String;

6− version = String;

7− } ~

8− β,

2+( ( α

3+ ) //

4+ ( { extraPatches = [String];

5+ extraPostInstall = String;

6+ sha256 = String;

7+ version = String;

8+ }

9+ ) ~

10+ ( β

11+ ),

912 α.callPackage = String -> β -> γ

1013) =>

1114α -> γ

test/golden/importless/aliases.txtnew file+217

@@ -0,0 +1,217 @@

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

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

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

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

5+τ4.

6+( ( { BufOnly = α;

7+ CSApprox = β;

8+ Colour_Sampler_Pack = γ;

9+ Cosco = δ;

10+ Gist = ε;

11+ Gundo = ζ;

12+ Hoogle = η;

13+ Solarized = θ;

14+ Supertab = ι;

15+ Syntastic = κ;

16+ SyntaxRange = λ;

17+ Tabular = μ;

18+ Tagbar = ν;

19+ The_NERD_Commenter = ξ;

20+ The_NERD_tree = ο;

21+ UltiSnips = π;

22+ WebAPI = ρ;

23+ Yankring = σ;

24+ airline = τ;

25+ alternative = υ;

26+ bats = φ;

27+ calendar = χ;

28+ caw = ψ;

29+ coffee-script = ω;

30+ coffeeScript = α1;

31+ colors-solarized = β1;

32+ colorsamplerpack = γ1;

33+ command_T = δ1;

34+ commentary = ε1;

35+ committia = ζ1;

36+ concealedyank = η1;

37+ context-filetype = θ1;

38+ css_color_5056 = ι1;

39+ csv = κ1;

40+ ctrlp = λ1;

41+ cute-python = μ1;

42+ denite = ν1;

43+ easy-align = ξ1;

44+ easygit = ο1;

45+ easymotion = π1;

46+ echodoc = ρ1;

47+ eighties = σ1;

48+ extradite = τ1;

49+ fugitive = υ1;

50+ ghc-mod-vim = φ1;

51+ ghcmod = χ1;

52+ gitgutter = ψ1;

53+ goyo = ω1;

54+ gundo = α2;

55+ haskellConceal = β2;

56+ haskellConcealPlus = γ2;

57+ haskellconceal = δ2;

58+ hier = ε2;

59+ hlint-refactor = ζ2;

60+ hoogle = η2;

61+ ipython = θ2;

62+ latex-live-preview = ι2;

63+ maktaba = κ2;

64+ multiple-cursors = λ2;

65+ necoGhc = μ2;

66+ neocomplete = ν2;

67+ neoinclude = ξ2;

68+ neomru = ο2;

69+ neosnippet = π2;

70+ open-browser = ρ2;

71+ pathogen = σ2;

72+ polyglot = τ2;

73+ prettyprint = υ2;

74+ quickrun = φ2;

75+ rainbow_parentheses = χ2;

76+ repeat = ψ2;

77+ rhubarb = ω2;

78+ riv = α3;

79+ sensible = β3;

80+ signature = γ3;

81+ sleuth = δ3;

82+ snipmate = ε3;

83+ solarized = ζ3;

84+ solidity = η3;

85+ sourcemap = θ3;

86+ sourcemap.vim = ι3;

87+ stylish-haskell = κ3;

88+ stylishHaskell = λ3;

89+ surround = μ3;

90+ table-mode = ν3;

91+ tabpagebuffer = ξ3;

92+ tabpagecd = ο3;

93+ taglist = π3;

94+ thumbnail = ρ3;

95+ tlib = σ3;

96+ tmux-navigator = τ3;

97+ tmuxNavigator = υ3;

98+ tslime = φ3;

99+ unite = χ3;

100+ vim-addon-vim2nix = ψ3;

101+ vimproc = ω3;

102+ vimshell = α4;

103+ vinegar = β4;

104+ watchdogs = γ4;

105+ wombat256 = δ4;

106+ xterm-color-table = ε4;

107+ yankring = ζ4;

108+ zeavim = η4;

109+ }

110+ ) //

111+ ( θ4

112+ ) ~

113+ ( ι4

114+ ),

115+ κ4.?recurseForDerivations = Bool,

116+ λ4.mapAttrs = (μ4 -> κ4 -> κ4) -> ι4 -> ν4,

117+ ξ4.BufOnly-vim = α,

118+ ξ4.Colour-Sampler-Pack = γ,

119+ ξ4.YankRing-vim = σ,

120+ ξ4.a-vim = υ,

121+ ξ4.bats-vim = φ,

122+ ξ4.builtins = ο4,

123+ ξ4.calendar-vim = χ,

124+ ξ4.caw-vim = ψ,

125+ ξ4.command-t = δ1,

126+ ξ4.committia-vim = ζ1,

127+ ξ4.concealedyank-vim = η1,

128+ ξ4.context_filetype-vim = θ1,

129+ ξ4.cosco-vim = δ,

130+ ξ4.csapprox = β,

131+ ξ4.csv-vim = κ1,

132+ ξ4.ctrlp-vim = λ1,

133+ ξ4.denite-nvim = ν1,

134+ ξ4.dontDistribute = κ4 -> κ4,

135+ ξ4.echodoc-vim = ρ1,

136+ ξ4.ghcmod-vim = φ1,

137+ ξ4.goyo-vim = ω1,

138+ ξ4.gundo-vim = ζ,

139+ ξ4.hlint-refactor-vim = ζ2,

140+ ξ4.isDerivation = κ4 -> Bool,

141+ ξ4.neco-ghc = μ2,

142+ ξ4.neocomplete-vim = ν2,

143+ ξ4.neoinclude-vim = ξ2,

144+ ξ4.neomru-vim = ο2,

145+ ξ4.neosnippet-vim = π2,

146+ ξ4.nerdcommenter = ξ,

147+ ξ4.nerdtree = ο,

148+ ξ4.open-browser-vim = ρ2,

149+ ξ4.rainbow_parentheses-vim = χ2,

150+ ξ4.removeAttrs = κ4 -> [String] -> κ4,

151+ ξ4.riv-vim = α3,

152+ ξ4.sourcemap-vim = θ3,

153+ ξ4.supertab = ι,

154+ ξ4.syntastic = κ,

155+ ξ4.tabpagebuffer-vim = ξ3,

156+ ξ4.tabular = μ,

157+ ξ4.tagbar = ν,

158+ ξ4.taglist-vim = π3,

159+ ξ4.throw = String -> κ4,

160+ ξ4.thumbnail-vim = ρ3,

161+ ξ4.tlib_vim = σ3,

162+ ξ4.tslime-vim = φ3,

163+ ξ4.ultisnips = π,

164+ ξ4.unite-vim = χ3,

165+ ξ4.vim-SyntaxRange = λ,

166+ ξ4.vim-airline = τ,

167+ ξ4.vim-coffee-script = ω,

168+ ξ4.vim-colors-solarized = θ,

169+ ξ4.vim-commentary = ε1,

170+ ξ4.vim-css-color = ι1,

171+ ξ4.vim-cute-python = μ1,

172+ ξ4.vim-easy-align = ξ1,

173+ ξ4.vim-easygit = ο1,

174+ ξ4.vim-easymotion = π1,

175+ ξ4.vim-eighties = σ1,

176+ ξ4.vim-extradite = τ1,

177+ ξ4.vim-fugitive = υ1,

178+ ξ4.vim-gist = ε,

179+ ξ4.vim-gitgutter = ψ1,

180+ ξ4.vim-haskellConcealPlus = γ2,

181+ ξ4.vim-haskellconceal = β2,

182+ ξ4.vim-hier = ε2,

183+ ξ4.vim-hoogle = η,

184+ ξ4.vim-ipython = θ2,

185+ ξ4.vim-latex-live-preview = ι2,

186+ ξ4.vim-maktaba = κ2,

187+ ξ4.vim-multiple-cursors = λ2,

188+ ξ4.vim-pathogen = σ2,

189+ ξ4.vim-polyglot = τ2,

190+ ξ4.vim-prettyprint = υ2,

191+ ξ4.vim-quickrun = φ2,

192+ ξ4.vim-repeat = ψ2,

193+ ξ4.vim-rhubarb = ω2,

194+ ξ4.vim-sensible = β3,

195+ ξ4.vim-signature = γ3,

196+ ξ4.vim-sleuth = δ3,

197+ ξ4.vim-snipmate = ε3,

198+ ξ4.vim-solidity = η3,

199+ ξ4.vim-stylish-haskell = κ3,

200+ ξ4.vim-surround = μ3,

201+ ξ4.vim-table-mode = ν3,

202+ ξ4.vim-tabpagecd = ο3,

203+ ξ4.vim-tmux-navigator = τ3,

204+ ξ4.vim-vinegar = β4,

205+ ξ4.vim-watchdogs = γ4,

206+ ξ4.vim2nix = ψ3,

207+ ξ4.vimproc-vim = ω3,

208+ ξ4.vimshell-vim = α4,

209+ ξ4.webapi-vim = ρ,

210+ ξ4.wombat256-vim = δ4,

211+ ξ4.xterm-color-table-vim = ε4,

212+ ξ4.zeavim-vim = η4,

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

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

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

216+) =>

217+λ4 -> ξ4 -> ν4

test/golden/importless/atd.txtnew file+59

@@ -0,0 +1,59 @@

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

2+( α.config = β,

3+ α.lib = γ,

4+ α.pkgs = δ,

5+ β.ids = ε,

6+ β.services = ζ,

7+ γ.builtins = η,

8+ γ.map =

9+ ( θ ->

10+ { name = String;

11+ value =

12+ { group = String;

13+ owner = String;

14+ setgid = Bool;

15+ setuid = Bool;

16+ source = String;

17+ };

18+ }

19+ ) ->

20+ [String] -> ι,

21+ γ.mkIf =

22+ κ ->

23+ { environment = {systemPackages = [λ];};

24+ security = {pam = {services = {atd = {};};}; wrappers = μ;};

25+ systemd =

26+ { services =

27+ { atd =

28+ { description = String;

29+ path = [λ];

30+ preStart = String;

31+ script = String;

32+ serviceConfig = {Type = String;};

33+ wantedBy = [String];

34+ };

35+ };

36+ };

37+ users =

38+ { groups = {atd = {gid = ν;};};

39+ users = {atd = {description = String; home = String; uid = ξ;};};

40+ };

41+ } ->

42+ ο,

43+ γ.mkOption = {default = Bool; description = String; type = π;} -> ρ,

44+ γ.types = σ,

45+ δ.at = λ,

46+ ζ.atd = τ,

47+ τ.enable = κ,

48+ η.listToAttrs = ι -> μ,

49+ ε.gids = υ,

50+ υ.atd = ν,

51+ φ.uids = χ,

52+ χ.atd = ξ,

53+ σ.bool = π,

54+ ψ.bool = ω

55+) =>

56+α ->

57+{ config = ο;

58+ options = {services = {atd = {allowEveryone = ρ; enable = α1;};};};

59+}

test/golden/importless/attica.txtdeleted−14

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

1−∀ α β γ δ ε ζ η.

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { buildInputs = [γ];

6− meta = {broken = Bool; maintainers = [ε];};

7− name = String;

8− nativeBuildInputs = [ζ];

9− outputs = [String];

10− } ->

11− η;

12− qtbase = γ;

13−} ->

14−η

test/golden/importless/b43.txt+15−13

@@ -1,19 +1,21 @@

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

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

22( α.config = β,

33 α.lib = γ,

44 α.pkgs = δ,

55 β.boot = ε,

66 β.networking = ζ,

7− γ.lessThan = Number -> η -> θ,

8− γ.mkIf = ι -> {assertions = κ; hardware = {firmware = [λ];};} -> μ,

9− γ.mkOption = {default = Bool; description = String; type = ν;} -> ξ,

10− γ.singleton = {assertion = θ; message = String;} -> κ,

11− γ.types = ο,

12− δ.b43Firmware_5_1_138 = λ,

13− ε.kernelPackages = π,

14− π.kernel = ρ,

15− ρ.version = σ,

16− ζ.enableB43Firmware = ι,

17− ο.bool = ν

7+ γ.builtins = η,

8+ γ.lessThan = Number -> θ -> ι,

9+ γ.mkIf = κ -> {assertions = λ; hardware = {firmware = [μ];};} -> ν,

10+ γ.mkOption = {default = Bool; description = String; type = ξ;} -> ο,

11+ γ.singleton = {assertion = ι; message = String;} -> λ,

12+ γ.types = π,

13+ δ.b43Firmware_5_1_138 = μ,

14+ ε.kernelPackages = ρ,

15+ ρ.kernel = σ,

16+ σ.version = τ,

17+ ζ.enableB43Firmware = κ,

18+ η.compareVersions = τ -> String -> θ,

19+ π.bool = ξ

1820) =>

19−α -> {config = μ; options = {networking = {enableB43Firmware = ξ;};};}

21+α -> {config = ν; options = {networking = {enableB43Firmware = ο;};};}

test/golden/importless/binary-tarball.txt+22−16

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

11∀ β γ δ ε ζ η.

2−( β //

3− { distPhase = String;

4− doDist = Bool;

5− finalPhase = String;

6− meta = ∀ α. α;

7− name = String;

8− postHook = String;

9− } ~

10− γ,

11− { doCheck = Bool;

12− postPhases = String;

13− prefix = String;

14− showBuildStats = Bool;

15− } //

16− γ ~

17− δ,

2+( ( β

3+ ) //

4+ ( { distPhase = String;

5+ doDist = Bool;

6+ finalPhase = String;

7+ meta = ∀ α. α;

8+ name = String;

9+ postHook = String;

10+ }

11+ ) ~

12+ ( γ

13+ ),

14+ ( { doCheck = Bool;

15+ postPhases = String;

16+ prefix = String;

17+ showBuildStats = Bool;

18+ }

19+ ) //

20+ ( γ

21+ ) ~

22+ ( δ

23+ ),

1824 β.meta = {},

1925 β.?name = String,

2026 ε.version = String,

test/golden/importless/bioc-annotation-packages.txtnew file+1032

@@ -0,0 +1,1032 @@

1+∀ β γ.

2+( β.AnnotationDbi = β,

3+ β.AnnotationForge = β,

4+ β.AnnotationHub = β,

5+ β.AnnotationHubData = β,

6+ β.BSgenome = β,

7+ β.BSgenome_Amellifera_UCSC_apiMel2 = β,

8+ β.BSgenome_Btaurus_UCSC_bosTau3 = β,

9+ β.BSgenome_Btaurus_UCSC_bosTau4 = β,

10+ β.BSgenome_Btaurus_UCSC_bosTau6 = β,

11+ β.BSgenome_Cfamiliaris_UCSC_canFam2 = β,

12+ β.BSgenome_Cfamiliaris_UCSC_canFam3 = β,

13+ β.BSgenome_Dmelanogaster_UCSC_dm2 = β,

14+ β.BSgenome_Dmelanogaster_UCSC_dm3 = β,

15+ β.BSgenome_Drerio_UCSC_danRer5 = β,

16+ β.BSgenome_Drerio_UCSC_danRer6 = β,

17+ β.BSgenome_Drerio_UCSC_danRer7 = β,

18+ β.BSgenome_Gaculeatus_UCSC_gasAcu1 = β,

19+ β.BSgenome_Ggallus_UCSC_galGal3 = β,

20+ β.BSgenome_Ggallus_UCSC_galGal4 = β,

21+ β.BSgenome_Hsapiens_UCSC_hg17 = β,

22+ β.BSgenome_Hsapiens_UCSC_hg18 = β,

23+ β.BSgenome_Hsapiens_UCSC_hg19 = β,

24+ β.BSgenome_Hsapiens_UCSC_hg38 = β,

25+ β.BSgenome_Mmulatta_UCSC_rheMac2 = β,

26+ β.BSgenome_Mmulatta_UCSC_rheMac3 = β,

27+ β.BSgenome_Mmusculus_UCSC_mm10 = β,

28+ β.BSgenome_Mmusculus_UCSC_mm8 = β,

29+ β.BSgenome_Mmusculus_UCSC_mm9 = β,

30+ β.BSgenome_Ptroglodytes_UCSC_panTro2 = β,

31+ β.BSgenome_Ptroglodytes_UCSC_panTro3 = β,

32+ β.BSgenome_Rnorvegicus_UCSC_rn4 = β,

33+ β.BSgenome_Rnorvegicus_UCSC_rn5 = β,

34+ β.BSgenome_Sscrofa_UCSC_susScr3 = β,

35+ β.BSgenome_Tguttata_UCSC_taeGut1 = β,

36+ β.Biobase = β,

37+ β.BiocGenerics = β,

38+ β.BiocManager = β,

39+ β.Biostrings = β,

40+ β.ChemmineR = β,

41+ β.DBI = β,

42+ β.GO_db = β,

43+ β.GenomeInfoDb = β,

44+ β.GenomeInfoDbData = β,

45+ β.GenomicFeatures = β,

46+ β.GenomicRanges = β,

47+ β.GenomicScores = β,

48+ β.IRanges = β,

49+ β.LRBaseDbi = β,

50+ β.MeSHDbi = β,

51+ β.OrganismDbi = β,

52+ β.RSQLite = β,

53+ β.S4Vectors = β,

54+ β.TxDb_Hsapiens_UCSC_hg18_knownGene = β,

55+ β.TxDb_Hsapiens_UCSC_hg19_knownGene = β,

56+ β.TxDb_Mmusculus_UCSC_mm10_knownGene = β,

57+ β.TxDb_Rnorvegicus_UCSC_rn5_refGene = β,

58+ β.VariantAnnotation = β,

59+ β.dbplyr = β,

60+ β.digest = β,

61+ β.dplyr = β,

62+ β.ensembldb = β,

63+ β.gtools = β,

64+ β.lumi = β,

65+ β.metagenomeFeatures = β,

66+ β.miRNAtap = β,

67+ β.minfi = β,

68+ β.oligo = β,

69+ β.oligoClasses = β,

70+ β.org_At_tair_db = β,

71+ β.org_Bt_eg_db = β,

72+ β.org_Ce_eg_db = β,

73+ β.org_Cf_eg_db = β,

74+ β.org_Dm_eg_db = β,

75+ β.org_Dr_eg_db = β,

76+ β.org_EcK12_eg_db = β,

77+ β.org_Gg_eg_db = β,

78+ β.org_Hs_eg_db = β,

79+ β.org_Mm_eg_db = β,

80+ β.org_Rn_eg_db = β,

81+ β.org_Sc_sgd_db = β,

82+ β.org_Ss_eg_db = β,

83+ β.org_Xl_eg_db = β

84+) =>

85+{ derive =

86+ {biocVersion = String;} ->

87+ {depends = ∀ α. [α]; name = String; sha256 = String; version = String;} ->

88+ γ;

89+ self = β;

90+} ->

91+{ AHCytoBands = γ;

92+ AHEnsDbs = γ;

93+ BSgenome_Alyrata_JGI_v1 = γ;

94+ BSgenome_Amellifera_BeeBase_assembly4 = γ;

95+ BSgenome_Amellifera_UCSC_apiMel2 = γ;

96+ BSgenome_Amellifera_UCSC_apiMel2_masked = γ;

97+ BSgenome_Aofficinalis_NCBI_V1 = γ;

98+ BSgenome_Athaliana_TAIR_04232008 = γ;

99+ BSgenome_Athaliana_TAIR_TAIR9 = γ;

100+ BSgenome_Btaurus_UCSC_bosTau3 = γ;

101+ BSgenome_Btaurus_UCSC_bosTau3_masked = γ;

102+ BSgenome_Btaurus_UCSC_bosTau4 = γ;

103+ BSgenome_Btaurus_UCSC_bosTau4_masked = γ;

104+ BSgenome_Btaurus_UCSC_bosTau6 = γ;

105+ BSgenome_Btaurus_UCSC_bosTau6_masked = γ;

106+ BSgenome_Btaurus_UCSC_bosTau8 = γ;

107+ BSgenome_Carietinum_NCBI_v1 = γ;

108+ BSgenome_Celegans_UCSC_ce10 = γ;

109+ BSgenome_Celegans_UCSC_ce11 = γ;

110+ BSgenome_Celegans_UCSC_ce2 = γ;

111+ BSgenome_Celegans_UCSC_ce6 = γ;

112+ BSgenome_Cfamiliaris_UCSC_canFam2 = γ;

113+ BSgenome_Cfamiliaris_UCSC_canFam2_masked = γ;

114+ BSgenome_Cfamiliaris_UCSC_canFam3 = γ;

115+ BSgenome_Cfamiliaris_UCSC_canFam3_masked = γ;

116+ BSgenome_Dmelanogaster_UCSC_dm2 = γ;

117+ BSgenome_Dmelanogaster_UCSC_dm2_masked = γ;

118+ BSgenome_Dmelanogaster_UCSC_dm3 = γ;

119+ BSgenome_Dmelanogaster_UCSC_dm3_masked = γ;

120+ BSgenome_Dmelanogaster_UCSC_dm6 = γ;

121+ BSgenome_Drerio_UCSC_danRer10 = γ;

122+ BSgenome_Drerio_UCSC_danRer5 = γ;

123+ BSgenome_Drerio_UCSC_danRer5_masked = γ;

124+ BSgenome_Drerio_UCSC_danRer6 = γ;

125+ BSgenome_Drerio_UCSC_danRer6_masked = γ;

126+ BSgenome_Drerio_UCSC_danRer7 = γ;

127+ BSgenome_Drerio_UCSC_danRer7_masked = γ;

128+ BSgenome_Ecoli_NCBI_20080805 = γ;

129+ BSgenome_Gaculeatus_UCSC_gasAcu1 = γ;

130+ BSgenome_Gaculeatus_UCSC_gasAcu1_masked = γ;

131+ BSgenome_Ggallus_UCSC_galGal3 = γ;

132+ BSgenome_Ggallus_UCSC_galGal3_masked = γ;

133+ BSgenome_Ggallus_UCSC_galGal4 = γ;

134+ BSgenome_Ggallus_UCSC_galGal4_masked = γ;

135+ BSgenome_Ggallus_UCSC_galGal5 = γ;

136+ BSgenome_Hsapiens_1000genomes_hs37d5 = γ;

137+ BSgenome_Hsapiens_NCBI_GRCh38 = γ;

138+ BSgenome_Hsapiens_UCSC_hg17 = γ;

139+ BSgenome_Hsapiens_UCSC_hg17_masked = γ;

140+ BSgenome_Hsapiens_UCSC_hg18 = γ;

141+ BSgenome_Hsapiens_UCSC_hg18_masked = γ;

142+ BSgenome_Hsapiens_UCSC_hg19 = γ;

143+ BSgenome_Hsapiens_UCSC_hg19_masked = γ;

144+ BSgenome_Hsapiens_UCSC_hg38 = γ;

145+ BSgenome_Hsapiens_UCSC_hg38_masked = γ;

146+ BSgenome_Mfascicularis_NCBI_5_0 = γ;

147+ BSgenome_Mfuro_UCSC_musFur1 = γ;

148+ BSgenome_Mmulatta_UCSC_rheMac2 = γ;

149+ BSgenome_Mmulatta_UCSC_rheMac2_masked = γ;

150+ BSgenome_Mmulatta_UCSC_rheMac3 = γ;

151+ BSgenome_Mmulatta_UCSC_rheMac3_masked = γ;

152+ BSgenome_Mmulatta_UCSC_rheMac8 = γ;

153+ BSgenome_Mmusculus_UCSC_mm10 = γ;

154+ BSgenome_Mmusculus_UCSC_mm10_masked = γ;

155+ BSgenome_Mmusculus_UCSC_mm8 = γ;

156+ BSgenome_Mmusculus_UCSC_mm8_masked = γ;

157+ BSgenome_Mmusculus_UCSC_mm9 = γ;

158+ BSgenome_Mmusculus_UCSC_mm9_masked = γ;

159+ BSgenome_Osativa_MSU_MSU7 = γ;

160+ BSgenome_Ptroglodytes_UCSC_panTro2 = γ;

161+ BSgenome_Ptroglodytes_UCSC_panTro2_masked = γ;

162+ BSgenome_Ptroglodytes_UCSC_panTro3 = γ;

163+ BSgenome_Ptroglodytes_UCSC_panTro3_masked = γ;

164+ BSgenome_Ptroglodytes_UCSC_panTro5 = γ;

165+ BSgenome_Ptroglodytes_UCSC_panTro6 = γ;

166+ BSgenome_Rnorvegicus_UCSC_rn4 = γ;

167+ BSgenome_Rnorvegicus_UCSC_rn4_masked = γ;

168+ BSgenome_Rnorvegicus_UCSC_rn5 = γ;

169+ BSgenome_Rnorvegicus_UCSC_rn5_masked = γ;

170+ BSgenome_Rnorvegicus_UCSC_rn6 = γ;

171+ BSgenome_Scerevisiae_UCSC_sacCer1 = γ;

172+ BSgenome_Scerevisiae_UCSC_sacCer2 = γ;

173+ BSgenome_Scerevisiae_UCSC_sacCer3 = γ;

174+ BSgenome_Sscrofa_UCSC_susScr11 = γ;

175+ BSgenome_Sscrofa_UCSC_susScr3 = γ;

176+ BSgenome_Sscrofa_UCSC_susScr3_masked = γ;

177+ BSgenome_Tgondii_ToxoDB_7_0 = γ;

178+ BSgenome_Tguttata_UCSC_taeGut1 = γ;

179+ BSgenome_Tguttata_UCSC_taeGut1_masked = γ;

180+ BSgenome_Tguttata_UCSC_taeGut2 = γ;

181+ BSgenome_Vvinifera_URGI_IGGP12Xv0 = γ;

182+ BSgenome_Vvinifera_URGI_IGGP12Xv2 = γ;

183+ BSgenome_Vvinifera_URGI_IGGP8X = γ;

184+ ChemmineDrugs = γ;

185+ DO_db = γ;

186+ EnsDb_Hsapiens_v75 = γ;

187+ EnsDb_Hsapiens_v79 = γ;

188+ EnsDb_Hsapiens_v86 = γ;

189+ EnsDb_Mmusculus_v75 = γ;

190+ EnsDb_Mmusculus_v79 = γ;

191+ EnsDb_Rnorvegicus_v75 = γ;

192+ EnsDb_Rnorvegicus_v79 = γ;

193+ EuPathDB = γ;

194+ FDb_FANTOM4_promoters_hg19 = γ;

195+ FDb_InfiniumMethylation_hg18 = γ;

196+ FDb_InfiniumMethylation_hg19 = γ;

197+ FDb_UCSC_snp135common_hg19 = γ;

198+ FDb_UCSC_snp137common_hg19 = γ;

199+ FDb_UCSC_tRNAs = γ;

200+ GGHumanMethCancerPanelv1_db = γ;

201+ GO_db = γ;

202+ GenomeInfoDbData = γ;

203+ Homo_sapiens = γ;

204+ Hs6UG171_db = γ;

205+ HsAgilentDesign026652_db = γ;

206+ Hspec = γ;

207+ HuExExonProbesetLocation = γ;

208+ HuExExonProbesetLocationHg18 = γ;

209+ HuExExonProbesetLocationHg19 = γ;

210+ HuO22_db = γ;

211+ IlluminaHumanMethylation27k_db = γ;

212+ IlluminaHumanMethylation27kanno_ilmn12_hg19 = γ;

213+ IlluminaHumanMethylation27kmanifest = γ;

214+ IlluminaHumanMethylation450kanno_ilmn12_hg19 = γ;

215+ IlluminaHumanMethylation450kmanifest = γ;

216+ IlluminaHumanMethylation450kprobe = γ;

217+ IlluminaHumanMethylationEPICanno_ilm10b2_hg19 = γ;

218+ IlluminaHumanMethylationEPICanno_ilm10b3_hg19 = γ;

219+ IlluminaHumanMethylationEPICanno_ilm10b4_hg19 = γ;

220+ IlluminaHumanMethylationEPICmanifest = γ;

221+ JASPAR2018 = γ;

222+ JazaeriMetaData_db = γ;

223+ KEGG_db = γ;

224+ LAPOINTE_db = γ;

225+ LRBase_Ath_eg_db = γ;

226+ LRBase_Bta_eg_db = γ;

227+ LRBase_Cel_eg_db = γ;

228+ LRBase_Dme_eg_db = γ;

229+ LRBase_Dre_eg_db = γ;

230+ LRBase_Gga_eg_db = γ;

231+ LRBase_Hsa_eg_db = γ;

232+ LRBase_Mmu_eg_db = γ;

233+ LRBase_Pab_eg_db = γ;

234+ LRBase_Rno_eg_db = γ;

235+ LRBase_Ssc_eg_db = γ;

236+ LRBase_Xtr_eg_db = γ;

237+ LowMACAAnnotation = γ;

238+ LymphoSeqDB = γ;

239+ MafDb_1Kgenomes_phase1_GRCh38 = γ;

240+ MafDb_1Kgenomes_phase1_hs37d5 = γ;

241+ MafDb_1Kgenomes_phase3_GRCh38 = γ;

242+ MafDb_1Kgenomes_phase3_hs37d5 = γ;

243+ MafDb_ESP6500SI_V2_SSA137_GRCh38 = γ;

244+ MafDb_ESP6500SI_V2_SSA137_hs37d5 = γ;

245+ MafDb_ExAC_r1_0_GRCh38 = γ;

246+ MafDb_ExAC_r1_0_hs37d5 = γ;

247+ MafDb_ExAC_r1_0_nonTCGA_GRCh38 = γ;

248+ MafDb_ExAC_r1_0_nonTCGA_hs37d5 = γ;

249+ MafDb_TOPMed_freeze5_hg19 = γ;

250+ MafDb_TOPMed_freeze5_hg38 = γ;

251+ MafDb_gnomAD_r2_0_1_GRCh38 = γ;

252+ MafDb_gnomAD_r2_0_1_hs37d5 = γ;

253+ MafDb_gnomAD_r2_1_hs37d5 = γ;

254+ MafDb_gnomADex_r2_0_1_GRCh38 = γ;

255+ MafDb_gnomADex_r2_0_1_hs37d5 = γ;

256+ MafDb_gnomADex_r2_1_hs37d5 = γ;

257+ MeSH_AOR_db = γ;

258+ MeSH_Aca_eg_db = γ;

259+ MeSH_Aga_PEST_eg_db = γ;

260+ MeSH_Ame_eg_db = γ;

261+ MeSH_Aml_eg_db = γ;

262+ MeSH_Ana_eg_db = γ;

263+ MeSH_Ani_FGSC_eg_db = γ;

264+ MeSH_Ath_eg_db = γ;

265+ MeSH_Bfl_eg_db = γ;

266+ MeSH_Bsu_168_eg_db = γ;

267+ MeSH_Bta_eg_db = γ;

268+ MeSH_Cal_SC5314_eg_db = γ;

269+ MeSH_Cbr_eg_db = γ;

270+ MeSH_Cel_eg_db = γ;

271+ MeSH_Cfa_eg_db = γ;

272+ MeSH_Cin_eg_db = γ;

273+ MeSH_Cja_eg_db = γ;

274+ MeSH_Cpo_eg_db = γ;

275+ MeSH_Cre_eg_db = γ;

276+ MeSH_Dan_eg_db = γ;

277+ MeSH_Dda_3937_eg_db = γ;

278+ MeSH_Ddi_AX4_eg_db = γ;

279+ MeSH_Der_eg_db = γ;

280+ MeSH_Dgr_eg_db = γ;

281+ MeSH_Dme_eg_db = γ;

282+ MeSH_Dmo_eg_db = γ;

283+ MeSH_Dpe_eg_db = γ;

284+ MeSH_Dre_eg_db = γ;

285+ MeSH_Dse_eg_db = γ;

286+ MeSH_Dsi_eg_db = γ;

287+ MeSH_Dvi_eg_db = γ;

288+ MeSH_Dya_eg_db = γ;

289+ MeSH_Eco_55989_eg_db = γ;

290+ MeSH_Eco_ED1a_eg_db = γ;

291+ MeSH_Eco_IAI39_eg_db = γ;

292+ MeSH_Eco_K12_MG1655_eg_db = γ;

293+ MeSH_Eco_O157_H7_Sakai_eg_db = γ;

294+ MeSH_Eco_UMN026_eg_db = γ;

295+ MeSH_Eqc_eg_db = γ;

296+ MeSH_Gga_eg_db = γ;

297+ MeSH_Gma_eg_db = γ;

298+ MeSH_Hsa_eg_db = γ;

299+ MeSH_Laf_eg_db = γ;

300+ MeSH_Lma_eg_db = γ;

301+ MeSH_Mdo_eg_db = γ;

302+ MeSH_Mes_eg_db = γ;

303+ MeSH_Mga_eg_db = γ;

304+ MeSH_Miy_eg_db = γ;

305+ MeSH_Mml_eg_db = γ;

306+ MeSH_Mmu_eg_db = γ;

307+ MeSH_Mtr_eg_db = γ;

308+ MeSH_Nle_eg_db = γ;

309+ MeSH_Oan_eg_db = γ;

310+ MeSH_Ocu_eg_db = γ;

311+ MeSH_Oni_eg_db = γ;

312+ MeSH_Osa_eg_db = γ;

313+ MeSH_PCR_db = γ;

314+ MeSH_Pab_eg_db = γ;

315+ MeSH_Pae_PAO1_eg_db = γ;

316+ MeSH_Pfa_3D7_eg_db = γ;

317+ MeSH_Pto_eg_db = γ;

318+ MeSH_Ptr_eg_db = γ;

319+ MeSH_Rno_eg_db = γ;

320+ MeSH_Sce_S288c_eg_db = γ;

321+ MeSH_Sco_A32_eg_db = γ;

322+ MeSH_Sil_eg_db = γ;

323+ MeSH_Spu_eg_db = γ;

324+ MeSH_Ssc_eg_db = γ;

325+ MeSH_Syn_eg_db = γ;

326+ MeSH_Tbr_9274_eg_db = γ;

327+ MeSH_Tgo_ME49_eg_db = γ;

328+ MeSH_Tgu_eg_db = γ;

329+ MeSH_Vvi_eg_db = γ;

330+ MeSH_Xla_eg_db = γ;

331+ MeSH_Xtr_eg_db = γ;

332+ MeSH_Zma_eg_db = γ;

333+ MeSH_db = γ;

334+ MmAgilentDesign026655_db = γ;

335+ MoExExonProbesetLocation = γ;

336+ Mu15v1_db = γ;

337+ Mu22v3_db = γ;

338+ Mus_musculus = γ;

339+ Norway981_db = γ;

340+ OperonHumanV3_db = γ;

341+ PANTHER_db = γ;

342+ PFAM_db = γ;

343+ POCRCannotation_db = γ;

344+ PartheenMetaData_db = γ;

345+ PolyPhen_Hsapiens_dbSNP131 = γ;

346+ RaExExonProbesetLocation = γ;

347+ Rattus_norvegicus = γ;

348+ RmiR_Hs_miRNA = γ;

349+ RmiR_hsa = γ;

350+ RnAgilentDesign028282_db = γ;

351+ Roberts2005Annotation_db = γ;

352+ SHDZ_db = γ;

353+ SIFT_Hsapiens_dbSNP132 = γ;

354+ SIFT_Hsapiens_dbSNP137 = γ;

355+ SNPlocs_Hsapiens_dbSNP141_GRCh38 = γ;

356+ SNPlocs_Hsapiens_dbSNP142_GRCh37 = γ;

357+ SNPlocs_Hsapiens_dbSNP144_GRCh37 = γ;

358+ SNPlocs_Hsapiens_dbSNP144_GRCh38 = γ;

359+ SNPlocs_Hsapiens_dbSNP149_GRCh38 = γ;

360+ SNPlocs_Hsapiens_dbSNP150_GRCh38 = γ;

361+ SNPlocs_Hsapiens_dbSNP151_GRCh38 = γ;

362+ SNPlocs_Hsapiens_dbSNP_20101109 = γ;

363+ SNPlocs_Hsapiens_dbSNP_20120608 = γ;

364+ TxDb_Athaliana_BioMart_plantsmart22 = γ;

365+ TxDb_Athaliana_BioMart_plantsmart25 = γ;

366+ TxDb_Athaliana_BioMart_plantsmart28 = γ;

367+ TxDb_Btaurus_UCSC_bosTau8_refGene = γ;

368+ TxDb_Celegans_UCSC_ce11_refGene = γ;

369+ TxDb_Celegans_UCSC_ce6_ensGene = γ;

370+ TxDb_Cfamiliaris_UCSC_canFam3_refGene = γ;

371+ TxDb_Dmelanogaster_UCSC_dm3_ensGene = γ;

372+ TxDb_Dmelanogaster_UCSC_dm6_ensGene = γ;

373+ TxDb_Drerio_UCSC_danRer10_refGene = γ;

374+ TxDb_Ggallus_UCSC_galGal4_refGene = γ;

375+ TxDb_Ggallus_UCSC_galGal5_refGene = γ;

376+ TxDb_Hsapiens_BioMart_igis = γ;

377+ TxDb_Hsapiens_UCSC_hg18_knownGene = γ;

378+ TxDb_Hsapiens_UCSC_hg19_knownGene = γ;

379+ TxDb_Hsapiens_UCSC_hg19_lincRNAsTranscripts = γ;

380+ TxDb_Hsapiens_UCSC_hg38_knownGene = γ;

381+ TxDb_Mmulatta_UCSC_rheMac3_refGene = γ;

382+ TxDb_Mmulatta_UCSC_rheMac8_refGene = γ;

383+ TxDb_Mmusculus_UCSC_mm10_ensGene = γ;

384+ TxDb_Mmusculus_UCSC_mm10_knownGene = γ;

385+ TxDb_Mmusculus_UCSC_mm9_knownGene = γ;

386+ TxDb_Ptroglodytes_UCSC_panTro4_refGene = γ;

387+ TxDb_Ptroglodytes_UCSC_panTro5_refGene = γ;

388+ TxDb_Rnorvegicus_BioMart_igis = γ;

389+ TxDb_Rnorvegicus_UCSC_rn4_ensGene = γ;

390+ TxDb_Rnorvegicus_UCSC_rn5_refGene = γ;

391+ TxDb_Rnorvegicus_UCSC_rn6_refGene = γ;

392+ TxDb_Scerevisiae_UCSC_sacCer2_sgdGene = γ;

393+ TxDb_Scerevisiae_UCSC_sacCer3_sgdGene = γ;

394+ TxDb_Sscrofa_UCSC_susScr11_refGene = γ;

395+ TxDb_Sscrofa_UCSC_susScr3_refGene = γ;

396+ XtraSNPlocs_Hsapiens_dbSNP141_GRCh38 = γ;

397+ XtraSNPlocs_Hsapiens_dbSNP144_GRCh37 = γ;

398+ XtraSNPlocs_Hsapiens_dbSNP144_GRCh38 = γ;

399+ adme16cod_db = γ;

400+ ag_db = γ;

401+ agcdf = γ;

402+ agprobe = γ;

403+ alternativeSplicingEvents_hg19 = γ;

404+ alternativeSplicingEvents_hg38 = γ;

405+ anopheles_db0 = γ;

406+ arabidopsis_db0 = γ;

407+ ath1121501_db = γ;

408+ ath1121501cdf = γ;

409+ ath1121501probe = γ;

410+ barley1cdf = γ;

411+ barley1probe = γ;

412+ bovine_db = γ;

413+ bovine_db0 = γ;

414+ bovinecdf = γ;

415+ bovineprobe = γ;

416+ bsubtiliscdf = γ;

417+ bsubtilisprobe = γ;

418+ cMAP = γ;

419+ canine2_db = γ;

420+ canine2cdf = γ;

421+ canine2probe = γ;

422+ canine_db = γ;

423+ canine_db0 = γ;

424+ caninecdf = γ;

425+ canineprobe = γ;

426+ celegans_db = γ;

427+ celeganscdf = γ;

428+ celegansprobe = γ;

429+ chicken_db = γ;

430+ chicken_db0 = γ;

431+ chickencdf = γ;

432+ chickenprobe = γ;

433+ chimp_db0 = γ;

434+ citruscdf = γ;

435+ citrusprobe = γ;

436+ clariomdhumanprobeset_db = γ;

437+ clariomdhumantranscriptcluster_db = γ;

438+ clariomshumanhttranscriptcluster_db = γ;

439+ clariomshumantranscriptcluster_db = γ;

440+ clariomsmousehttranscriptcluster_db = γ;

441+ clariomsmousetranscriptcluster_db = γ;

442+ clariomsrathttranscriptcluster_db = γ;

443+ clariomsrattranscriptcluster_db = γ;

444+ cottoncdf = γ;

445+ cottonprobe = γ;

446+ cyp450cdf = γ;

447+ drosgenome1_db = γ;

448+ drosgenome1cdf = γ;

449+ drosgenome1probe = γ;

450+ drosophila2_db = γ;

451+ drosophila2cdf = γ;

452+ drosophila2probe = γ;

453+ ecoli2_db = γ;

454+ ecoli2cdf = γ;

455+ ecoli2probe = γ;

456+ ecoliK12_db0 = γ;

457+ ecoliSakai_db0 = γ;

458+ ecoliasv2cdf = γ;

459+ ecoliasv2probe = γ;

460+ ecolicdf = γ;

461+ ecoliprobe = γ;

462+ fitCons_UCSC_hg19 = γ;

463+ fly_db0 = γ;

464+ geneplast_data_string_v91 = γ;

465+ genomewidesnp5Crlmm = γ;

466+ genomewidesnp6Crlmm = γ;

467+ gp53cdf = γ;

468+ grasp2db = γ;

469+ greengenes13_5MgDb = γ;

470+ h10kcod_db = γ;

471+ h20kcod_db = γ;

472+ hapmap370k = γ;

473+ hcg110_db = γ;

474+ hcg110cdf = γ;

475+ hcg110probe = γ;

476+ hgfocus_db = γ;

477+ hgfocuscdf = γ;

478+ hgfocusprobe = γ;

479+ hgu133a2_db = γ;

480+ hgu133a2cdf = γ;

481+ hgu133a2frmavecs = γ;

482+ hgu133a2probe = γ;

483+ hgu133a_db = γ;

484+ hgu133acdf = γ;

485+ hgu133afrmavecs = γ;

486+ hgu133aprobe = γ;

487+ hgu133atagcdf = γ;

488+ hgu133atagprobe = γ;

489+ hgu133b_db = γ;

490+ hgu133bcdf = γ;

491+ hgu133bprobe = γ;

492+ hgu133plus2_db = γ;

493+ hgu133plus2cdf = γ;

494+ hgu133plus2frmavecs = γ;

495+ hgu133plus2probe = γ;

496+ hgu219_db = γ;

497+ hgu219cdf = γ;

498+ hgu219probe = γ;

499+ hgu95a_db = γ;

500+ hgu95acdf = γ;

501+ hgu95aprobe = γ;

502+ hgu95av2 = γ;

503+ hgu95av2_db = γ;

504+ hgu95av2cdf = γ;

505+ hgu95av2probe = γ;

506+ hgu95b_db = γ;

507+ hgu95bcdf = γ;

508+ hgu95bprobe = γ;

509+ hgu95c_db = γ;

510+ hgu95ccdf = γ;

511+ hgu95cprobe = γ;

512+ hgu95d_db = γ;

513+ hgu95dcdf = γ;

514+ hgu95dprobe = γ;

515+ hgu95e_db = γ;

516+ hgu95ecdf = γ;

517+ hgu95eprobe = γ;

518+ hguDKFZ31_db = γ;

519+ hguatlas13k_db = γ;

520+ hgubeta7_db = γ;

521+ hgug4100a_db = γ;

522+ hgug4101a_db = γ;

523+ hgug4110b_db = γ;

524+ hgug4111a_db = γ;

525+ hgug4112a_db = γ;

526+ hgug4845a_db = γ;

527+ hguqiagenv3_db = γ;

528+ hi16cod_db = γ;

529+ hivprtplus2cdf = γ;

530+ hom_At_inp_db = γ;

531+ hom_Ce_inp_db = γ;

532+ hom_Dm_inp_db = γ;

533+ hom_Dr_inp_db = γ;

534+ hom_Hs_inp_db = γ;

535+ hom_Mm_inp_db = γ;

536+ hom_Rn_inp_db = γ;

537+ hom_Sc_inp_db = γ;

538+ hs25kresogen_db = γ;

539+ hspeccdf = γ;

540+ hta20probeset_db = γ;

541+ hta20transcriptcluster_db = γ;

542+ hthgu133a_db = γ;

543+ hthgu133acdf = γ;

544+ hthgu133afrmavecs = γ;

545+ hthgu133aprobe = γ;

546+ hthgu133b_db = γ;

547+ hthgu133bcdf = γ;

548+ hthgu133bprobe = γ;

549+ hthgu133pluspmcdf = γ;

550+ hthgu133pluspmprobe = γ;

551+ htmg430acdf = γ;

552+ htmg430aprobe = γ;

553+ htmg430bcdf = γ;

554+ htmg430bprobe = γ;

555+ htmg430pmcdf = γ;

556+ htmg430pmprobe = γ;

557+ htrat230pmcdf = γ;

558+ htrat230pmprobe = γ;

559+ htratfocuscdf = γ;

560+ htratfocusprobe = γ;

561+ hu35ksuba_db = γ;

562+ hu35ksubacdf = γ;

563+ hu35ksubaprobe = γ;

564+ hu35ksubb_db = γ;

565+ hu35ksubbcdf = γ;

566+ hu35ksubbprobe = γ;

567+ hu35ksubc_db = γ;

568+ hu35ksubccdf = γ;

569+ hu35ksubcprobe = γ;

570+ hu35ksubd_db = γ;

571+ hu35ksubdcdf = γ;

572+ hu35ksubdprobe = γ;

573+ hu6800_db = γ;

574+ hu6800cdf = γ;

575+ hu6800probe = γ;

576+ hu6800subacdf = γ;

577+ hu6800subbcdf = γ;

578+ hu6800subccdf = γ;

579+ hu6800subdcdf = γ;

580+ huex10stprobeset_db = γ;

581+ huex10sttranscriptcluster_db = γ;

582+ huex_1_0_st_v2frmavecs = γ;

583+ hugene10stprobeset_db = γ;

584+ hugene10sttranscriptcluster_db = γ;

585+ hugene10stv1cdf = γ;

586+ hugene10stv1probe = γ;

587+ hugene11stprobeset_db = γ;

588+ hugene11sttranscriptcluster_db = γ;

589+ hugene20stprobeset_db = γ;

590+ hugene20sttranscriptcluster_db = γ;

591+ hugene21stprobeset_db = γ;

592+ hugene21sttranscriptcluster_db = γ;

593+ hugene_1_0_st_v1frmavecs = γ;

594+ human1mduov3bCrlmm = γ;

595+ human1mv1cCrlmm = γ;

596+ human370quadv3cCrlmm = γ;

597+ human370v1cCrlmm = γ;

598+ human550v3bCrlmm = γ;

599+ human610quadv1bCrlmm = γ;

600+ human650v3aCrlmm = γ;

601+ human660quadv1aCrlmm = γ;

602+ humanCHRLOC = γ;

603+ human_db0 = γ;

604+ humancytosnp12v2p1hCrlmm = γ;

605+ humanomni1quadv1bCrlmm = γ;

606+ humanomni25quadv1bCrlmm = γ;

607+ humanomni5quadv1bCrlmm = γ;

608+ humanomniexpress12v1bCrlmm = γ;

609+ hwgcod_db = γ;

610+ illuminaHumanWGDASLv3_db = γ;

611+ illuminaHumanWGDASLv4_db = γ;

612+ illuminaHumanv1_db = γ;

613+ illuminaHumanv2BeadID_db = γ;

614+ illuminaHumanv2_db = γ;

615+ illuminaHumanv3_db = γ;

616+ illuminaHumanv4_db = γ;

617+ illuminaMousev1_db = γ;

618+ illuminaMousev1p1_db = γ;

619+ illuminaMousev2_db = γ;

620+ illuminaRatv1_db = γ;

621+ indac_db = γ;

622+ lumiHumanAll_db = γ;

623+ lumiHumanIDMapping = γ;

624+ lumiMouseAll_db = γ;

625+ lumiMouseIDMapping = γ;

626+ lumiRatAll_db = γ;

627+ lumiRatIDMapping = γ;

628+ m10kcod_db = γ;

629+ m20kcod_db = γ;

630+ maizecdf = γ;

631+ maizeprobe = γ;

632+ malaria_db0 = γ;

633+ medicagocdf = γ;

634+ medicagoprobe = γ;

635+ mgu74a_db = γ;

636+ mgu74acdf = γ;

637+ mgu74aprobe = γ;

638+ mgu74av2_db = γ;

639+ mgu74av2cdf = γ;

640+ mgu74av2probe = γ;

641+ mgu74b_db = γ;

642+ mgu74bcdf = γ;

643+ mgu74bprobe = γ;

644+ mgu74bv2_db = γ;

645+ mgu74bv2cdf = γ;

646+ mgu74bv2probe = γ;

647+ mgu74c_db = γ;

648+ mgu74ccdf = γ;

649+ mgu74cprobe = γ;

650+ mgu74cv2_db = γ;

651+ mgu74cv2cdf = γ;

652+ mgu74cv2probe = γ;

653+ mguatlas5k_db = γ;

654+ mgug4104a_db = γ;

655+ mgug4120a_db = γ;

656+ mgug4121a_db = γ;

657+ mgug4122a_db = γ;

658+ mi16cod_db = γ;

659+ miRBaseVersions_db = γ;

660+ miRNAtap_db = γ;

661+ mirbase_db = γ;

662+ mirna102xgaincdf = γ;

663+ mirna10cdf = γ;

664+ mirna10probe = γ;

665+ mirna20cdf = γ;

666+ mm24kresogen_db = γ;

667+ moe430a_db = γ;

668+ moe430acdf = γ;

669+ moe430aprobe = γ;

670+ moe430b_db = γ;

671+ moe430bcdf = γ;

672+ moe430bprobe = γ;

673+ moex10stprobeset_db = γ;

674+ moex10sttranscriptcluster_db = γ;

675+ mogene10stprobeset_db = γ;

676+ mogene10sttranscriptcluster_db = γ;

677+ mogene10stv1cdf = γ;

678+ mogene10stv1probe = γ;

679+ mogene11stprobeset_db = γ;

680+ mogene11sttranscriptcluster_db = γ;

681+ mogene20stprobeset_db = γ;

682+ mogene20sttranscriptcluster_db = γ;

683+ mogene21stprobeset_db = γ;

684+ mogene21sttranscriptcluster_db = γ;

685+ mogene_1_0_st_v1frmavecs = γ;

686+ mouse4302_db = γ;

687+ mouse4302cdf = γ;

688+ mouse4302frmavecs = γ;

689+ mouse4302probe = γ;

690+ mouse430a2_db = γ;

691+ mouse430a2cdf = γ;

692+ mouse430a2frmavecs = γ;

693+ mouse430a2probe = γ;

694+ mouseCHRLOC = γ;

695+ mouse_db0 = γ;

696+ mpedbarray_db = γ;

697+ mta10probeset_db = γ;

698+ mta10transcriptcluster_db = γ;

699+ mu11ksuba_db = γ;

700+ mu11ksubacdf = γ;

701+ mu11ksubaprobe = γ;

702+ mu11ksubb_db = γ;

703+ mu11ksubbcdf = γ;

704+ mu11ksubbprobe = γ;

705+ mu19ksuba_db = γ;

706+ mu19ksubacdf = γ;

707+ mu19ksubb_db = γ;

708+ mu19ksubbcdf = γ;

709+ mu19ksubc_db = γ;

710+ mu19ksubccdf = γ;

711+ mu6500subacdf = γ;

712+ mu6500subbcdf = γ;

713+ mu6500subccdf = γ;

714+ mu6500subdcdf = γ;

715+ mwgcod_db = γ;

716+ nugohs1a520180_db = γ;

717+ nugohs1a520180cdf = γ;

718+ nugohs1a520180probe = γ;

719+ nugomm1a520177_db = γ;

720+ nugomm1a520177cdf = γ;

721+ nugomm1a520177probe = γ;

722+ oligoData = γ;

723+ org_Ag_eg_db = γ;

724+ org_At_tair_db = γ;

725+ org_Bt_eg_db = γ;

726+ org_Ce_eg_db = γ;

727+ org_Cf_eg_db = γ;

728+ org_Dm_eg_db = γ;

729+ org_Dr_eg_db = γ;

730+ org_EcK12_eg_db = γ;

731+ org_EcSakai_eg_db = γ;

732+ org_Gg_eg_db = γ;

733+ org_Hs_eg_db = γ;

734+ org_Mm_eg_db = γ;

735+ org_Mmu_eg_db = γ;

736+ org_Pf_plasmo_db = γ;

737+ org_Pt_eg_db = γ;

738+ org_Rn_eg_db = γ;

739+ org_Sc_sgd_db = γ;

740+ org_Ss_eg_db = γ;

741+ org_Xl_eg_db = γ;

742+ paeg1acdf = γ;

743+ paeg1aprobe = γ;

744+ pd_081229_hg18_promoter_medip_hx1 = γ;

745+ pd_2006_07_18_hg18_refseq_promoter = γ;

746+ pd_2006_07_18_mm8_refseq_promoter = γ;

747+ pd_2006_10_31_rn34_refseq_promoter = γ;

748+ pd_ag = γ;

749+ pd_aragene_1_0_st = γ;

750+ pd_aragene_1_1_st = γ;

751+ pd_ath1_121501 = γ;

752+ pd_barley1 = γ;

753+ pd_bovgene_1_0_st = γ;

754+ pd_bovgene_1_1_st = γ;

755+ pd_bovine = γ;

756+ pd_bsubtilis = γ;

757+ pd_cangene_1_0_st = γ;

758+ pd_cangene_1_1_st = γ;

759+ pd_canine = γ;

760+ pd_canine_2 = γ;

761+ pd_celegans = γ;

762+ pd_charm_hg18_example = γ;

763+ pd_chicken = γ;

764+ pd_chigene_1_0_st = γ;

765+ pd_chigene_1_1_st = γ;

766+ pd_chogene_2_0_st = γ;

767+ pd_chogene_2_1_st = γ;

768+ pd_citrus = γ;

769+ pd_clariom_d_human = γ;

770+ pd_clariom_s_human = γ;

771+ pd_clariom_s_human_ht = γ;

772+ pd_clariom_s_mouse = γ;

773+ pd_clariom_s_mouse_ht = γ;

774+ pd_clariom_s_rat = γ;

775+ pd_clariom_s_rat_ht = γ;

776+ pd_cotton = γ;

777+ pd_cyngene_1_0_st = γ;

778+ pd_cyngene_1_1_st = γ;

779+ pd_cyrgene_1_0_st = γ;

780+ pd_cyrgene_1_1_st = γ;

781+ pd_cytogenetics_array = γ;

782+ pd_drogene_1_0_st = γ;

783+ pd_drogene_1_1_st = γ;

784+ pd_drosgenome1 = γ;

785+ pd_drosophila_2 = γ;

786+ pd_e_coli_2 = γ;

787+ pd_ecoli = γ;

788+ pd_ecoli_asv2 = γ;

789+ pd_elegene_1_0_st = γ;

790+ pd_elegene_1_1_st = γ;

791+ pd_equgene_1_0_st = γ;

792+ pd_equgene_1_1_st = γ;

793+ pd_feinberg_hg18_me_hx1 = γ;

794+ pd_feinberg_mm8_me_hx1 = γ;

795+ pd_felgene_1_0_st = γ;

796+ pd_felgene_1_1_st = γ;

797+ pd_fingene_1_0_st = γ;

798+ pd_fingene_1_1_st = γ;

799+ pd_genomewidesnp_5 = γ;

800+ pd_genomewidesnp_6 = γ;

801+ pd_guigene_1_0_st = γ;

802+ pd_guigene_1_1_st = γ;

803+ pd_hc_g110 = γ;

804+ pd_hg18_60mer_expr = γ;

805+ pd_hg_focus = γ;

806+ pd_hg_u133_plus_2 = γ;

807+ pd_hg_u133a = γ;

808+ pd_hg_u133a_2 = γ;

809+ pd_hg_u133a_tag = γ;

810+ pd_hg_u133b = γ;

811+ pd_hg_u219 = γ;

812+ pd_hg_u95a = γ;

813+ pd_hg_u95av2 = γ;

814+ pd_hg_u95b = γ;

815+ pd_hg_u95c = γ;

816+ pd_hg_u95d = γ;

817+ pd_hg_u95e = γ;

818+ pd_ht_hg_u133_plus_pm = γ;

819+ pd_ht_hg_u133a = γ;

820+ pd_ht_mg_430a = γ;

821+ pd_hta_2_0 = γ;

822+ pd_hu6800 = γ;

823+ pd_huex_1_0_st_v2 = γ;

824+ pd_hugene_1_0_st_v1 = γ;

825+ pd_hugene_1_1_st_v1 = γ;

826+ pd_hugene_2_0_st = γ;

827+ pd_hugene_2_1_st = γ;

828+ pd_maize = γ;

829+ pd_mapping250k_nsp = γ;

830+ pd_mapping250k_sty = γ;

831+ pd_mapping50k_hind240 = γ;

832+ pd_mapping50k_xba240 = γ;

833+ pd_margene_1_0_st = γ;

834+ pd_margene_1_1_st = γ;

835+ pd_medgene_1_0_st = γ;

836+ pd_medgene_1_1_st = γ;

837+ pd_medicago = γ;

838+ pd_mg_u74a = γ;

839+ pd_mg_u74av2 = γ;

840+ pd_mg_u74b = γ;

841+ pd_mg_u74bv2 = γ;

842+ pd_mg_u74c = γ;

843+ pd_mg_u74cv2 = γ;

844+ pd_mirna_1_0 = γ;

845+ pd_mirna_2_0 = γ;

846+ pd_mirna_3_0 = γ;

847+ pd_mirna_3_1 = γ;

848+ pd_mirna_4_0 = γ;

849+ pd_moe430a = γ;

850+ pd_moe430b = γ;

851+ pd_moex_1_0_st_v1 = γ;

852+ pd_mogene_1_0_st_v1 = γ;

853+ pd_mogene_1_1_st_v1 = γ;

854+ pd_mogene_2_0_st = γ;

855+ pd_mogene_2_1_st = γ;

856+ pd_mouse430_2 = γ;

857+ pd_mouse430a_2 = γ;

858+ pd_mta_1_0 = γ;

859+ pd_mu11ksuba = γ;

860+ pd_mu11ksubb = γ;

861+ pd_nugo_hs1a520180 = γ;

862+ pd_nugo_mm1a520177 = γ;

863+ pd_ovigene_1_0_st = γ;

864+ pd_ovigene_1_1_st = γ;

865+ pd_pae_g1a = γ;

866+ pd_plasmodium_anopheles = γ;

867+ pd_poplar = γ;

868+ pd_porcine = γ;

869+ pd_porgene_1_0_st = γ;

870+ pd_porgene_1_1_st = γ;

871+ pd_rabgene_1_0_st = γ;

872+ pd_rabgene_1_1_st = γ;

873+ pd_rae230a = γ;

874+ pd_rae230b = γ;

875+ pd_raex_1_0_st_v1 = γ;

876+ pd_ragene_1_0_st_v1 = γ;

877+ pd_ragene_1_1_st_v1 = γ;

878+ pd_ragene_2_0_st = γ;

879+ pd_ragene_2_1_st = γ;

880+ pd_rat230_2 = γ;

881+ pd_rcngene_1_0_st = γ;

882+ pd_rcngene_1_1_st = γ;

883+ pd_rg_u34a = γ;

884+ pd_rg_u34b = γ;

885+ pd_rg_u34c = γ;

886+ pd_rhegene_1_0_st = γ;

887+ pd_rhegene_1_1_st = γ;

888+ pd_rhesus = γ;

889+ pd_rice = γ;

890+ pd_rjpgene_1_0_st = γ;

891+ pd_rjpgene_1_1_st = γ;

892+ pd_rn_u34 = γ;

893+ pd_rta_1_0 = γ;

894+ pd_rusgene_1_0_st = γ;

895+ pd_rusgene_1_1_st = γ;

896+ pd_s_aureus = γ;

897+ pd_soybean = γ;

898+ pd_soygene_1_0_st = γ;

899+ pd_soygene_1_1_st = γ;

900+ pd_sugar_cane = γ;

901+ pd_tomato = γ;

902+ pd_u133_x3p = γ;

903+ pd_vitis_vinifera = γ;

904+ pd_wheat = γ;

905+ pd_x_laevis_2 = γ;

906+ pd_x_tropicalis = γ;

907+ pd_xenopus_laevis = γ;

908+ pd_yeast_2 = γ;

909+ pd_yg_s98 = γ;

910+ pd_zebgene_1_0_st = γ;

911+ pd_zebgene_1_1_st = γ;

912+ pd_zebrafish = γ;

913+ pedbarrayv10_db = γ;

914+ pedbarrayv9_db = γ;

915+ phastCons100way_UCSC_hg19 = γ;

916+ phastCons100way_UCSC_hg38 = γ;

917+ phastCons7way_UCSC_hg38 = γ;

918+ pig_db0 = γ;

919+ plasmodiumanophelescdf = γ;

920+ plasmodiumanophelesprobe = γ;

921+ poplarcdf = γ;

922+ poplarprobe = γ;

923+ porcine_db = γ;

924+ porcinecdf = γ;

925+ porcineprobe = γ;

926+ primeviewcdf = γ;

927+ primeviewprobe = γ;

928+ r10kcod_db = γ;

929+ rae230a_db = γ;

930+ rae230acdf = γ;

931+ rae230aprobe = γ;

932+ rae230b_db = γ;

933+ rae230bcdf = γ;

934+ rae230bprobe = γ;

935+ raex10stprobeset_db = γ;

936+ raex10sttranscriptcluster_db = γ;

937+ ragene10stprobeset_db = γ;

938+ ragene10sttranscriptcluster_db = γ;

939+ ragene10stv1cdf = γ;

940+ ragene10stv1probe = γ;

941+ ragene11stprobeset_db = γ;

942+ ragene11sttranscriptcluster_db = γ;

943+ ragene20stprobeset_db = γ;

944+ ragene20sttranscriptcluster_db = γ;

945+ ragene21stprobeset_db = γ;

946+ ragene21sttranscriptcluster_db = γ;

947+ rat2302_db = γ;

948+ rat2302cdf = γ;

949+ rat2302probe = γ;

950+ ratCHRLOC = γ;

951+ rat_db0 = γ;

952+ rattoxfxcdf = γ;

953+ rattoxfxprobe = γ;

954+ reactome_db = γ;

955+ rgu34a_db = γ;

956+ rgu34acdf = γ;

957+ rgu34aprobe = γ;

958+ rgu34b_db = γ;

959+ rgu34bcdf = γ;

960+ rgu34bprobe = γ;

961+ rgu34c_db = γ;

962+ rgu34ccdf = γ;

963+ rgu34cprobe = γ;

964+ rguatlas4k_db = γ;

965+ rgug4105a_db = γ;

966+ rgug4130a_db = γ;

967+ rgug4131a_db = γ;

968+ rhesus_db0 = γ;

969+ rhesuscdf = γ;

970+ rhesusprobe = γ;

971+ ri16cod_db = γ;

972+ ribosomaldatabaseproject11_5MgDb = γ;

973+ ricecdf = γ;

974+ riceprobe = γ;

975+ rnu34_db = γ;

976+ rnu34cdf = γ;

977+ rnu34probe = γ;

978+ rta10probeset_db = γ;

979+ rta10transcriptcluster_db = γ;

980+ rtu34_db = γ;

981+ rtu34cdf = γ;

982+ rtu34probe = γ;

983+ rwgcod_db = γ;

984+ saureuscdf = γ;

985+ saureusprobe = γ;

986+ silva128_1MgDb = γ;

987+ soybeancdf = γ;

988+ soybeanprobe = γ;

989+ sugarcanecdf = γ;

990+ sugarcaneprobe = γ;

991+ targetscan_Hs_eg_db = γ;

992+ targetscan_Mm_eg_db = γ;

993+ test1cdf = γ;

994+ test2cdf = γ;

995+ test3cdf = γ;

996+ test3probe = γ;

997+ tomatocdf = γ;

998+ tomatoprobe = γ;

999+ u133aaofav2cdf = γ;

1000+ u133x3p_db = γ;

1001+ u133x3pcdf = γ;

1002+ u133x3pprobe = γ;

1003+ vitisviniferacdf = γ;

1004+ vitisviniferaprobe = γ;

1005+ wheatcdf = γ;

1006+ wheatprobe = γ;

1007+ worm_db0 = γ;

1008+ xenopus_db0 = γ;

1009+ xenopuslaeviscdf = γ;

1010+ xenopuslaevisprobe = γ;

1011+ xlaevis2cdf = γ;

1012+ xlaevis2probe = γ;

1013+ xlaevis_db = γ;

1014+ xtropicaliscdf = γ;

1015+ xtropicalisprobe = γ;

1016+ ye6100subacdf = γ;

1017+ ye6100subbcdf = γ;

1018+ ye6100subccdf = γ;

1019+ ye6100subdcdf = γ;

1020+ yeast2_db = γ;

1021+ yeast2cdf = γ;

1022+ yeast2probe = γ;

1023+ yeast_db0 = γ;

1024+ ygs98_db = γ;

1025+ ygs98cdf = γ;

1026+ ygs98frmavecs = γ;

1027+ ygs98probe = γ;

1028+ zebrafish_db = γ;

1029+ zebrafish_db0 = γ;

1030+ zebrafishcdf = γ;

1031+ zebrafishprobe = γ;

1032+}

test/golden/importless/bluez-qt.txtdeleted−16

@@ -1,16 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { buildInputs = [η];

6− meta = {broken = Bool; maintainers = [ε];};

7− name = String;

8− nativeBuildInputs = [ζ];

9− preConfigure = String;

10− propagatedBuildInputs = [γ];

11− } ->

12− θ;

13− qtbase = γ;

14− qtdeclarative = η;

15−} ->

16−θ

test/golden/importless/build-rebar3.txt+22−19

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

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

2−( β // γ ~ {buildInputs = [δ]; name = String;},

3− { buildInputs = [ε];

4− buildPhase = String;

5− buildPlugins = [ζ];

6− compilePorts = Bool;

7− configurePhase = String;

8− dontStrip = Bool;

9− installPhase = String;

10− meta = ∀ α. α;

11− name = String;

12− passthru = {beamDeps = [ζ]; env = η; packageName = θ;};

13− postPatch = String;

14− propagatedBuildInputs = ι;

15− setupHook = κ;

16− src = λ;

17− version = μ;

18− } //

19− ν ~

20− γ,

2+( (β) // (γ) ~ ({buildInputs = [δ]; name = String;}),

3+ ( { buildInputs = [ε];

4+ buildPhase = String;

5+ buildPlugins = [ζ];

6+ compilePorts = Bool;

7+ configurePhase = String;

8+ dontStrip = Bool;

9+ installPhase = String;

10+ meta = ∀ α. α;

11+ name = String;

12+ passthru = {beamDeps = [ζ]; env = η; packageName = θ;};

13+ postPatch = String;

14+ propagatedBuildInputs = ι;

15+ setupHook = κ;

16+ src = λ;

17+ version = μ;

18+ }

19+ ) //

20+ ( ν

21+ ) ~

22+ ( γ

23+ ),

2124 β.?beamDeps = [ζ],

2225 β.?buildInputs = [ε],

2326 β.?buildPhase = Null,

test/golden/importless/buildOcamlJane.txt+16−13

@@ -1,17 +1,20 @@

11∀ α β γ δ ε ζ.

2−( α //

3− { buildInputs = [β];

4− buildPhase = String;

5− configurePhase = String;

6− dontAddPrefix = Bool;

7− hasSharedObjects = Bool;

8− installPhase = String;

9− minimumSupportedOcamlVersion = String;

10− name = γ;

11− src = δ;

12− version = String;

13− } ~

14− ε,

2+( ( α

3+ ) //

4+ ( { buildInputs = [β];

5+ buildPhase = String;

6+ configurePhase = String;

7+ dontAddPrefix = Bool;

8+ hasSharedObjects = Bool;

9+ installPhase = String;

10+ minimumSupportedOcamlVersion = String;

11+ name = γ;

12+ src = δ;

13+ version = String;

14+ }

15+ ) ~

16+ ( ε

17+ ),

1518 α.?buildInputs = [β],

1619 α.?hash = String,

1720 α.?minimumSupportedOcamlVersion = String,

test/golden/importless/builder.txt+13−10

@@ -1,14 +1,17 @@

11∀ α β γ δ ε ζ η θ.

2−( α //

3− { buildPhase = String;

4− checkPhase = String;

5− configurePhase = String;

6− installPhase = String;

7− modRoot = String;

8− passthru = {forCurses = Bool; forTiles = Bool;};

9− pname = String;

10− } ~

11− β,

2+( ( α

3+ ) //

4+ ( { buildPhase = String;

5+ checkPhase = String;

6+ configurePhase = String;

7+ installPhase = String;

8+ modRoot = String;

9+ passthru = {forCurses = Bool; forTiles = Bool;};

10+ pname = String;

11+ }

12+ ) ~

13+ ( β

14+ ),

1215 α.?buildPhase = String,

1316 α.?checkPhase = String,

1417 α.?configurePhase = String,

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

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

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

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.optionals = Bool -> [ε] -> ζ,

44 η.meta = β,

55 η.src = θ,

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

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

11∀ β γ δ ε ζ η θ.

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.meta = β,

44 δ.src = ε,

55 δ.version = ζ

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

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

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

2−( β // {description = String; homepage = String;} ~ γ,

2+( (β) // ({description = String; homepage = String;}) ~ (γ),

33 δ.lib = ε,

44 δ.mkDerivation =

55 { doInstallCheck = Bool;

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

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

11∀ β γ δ ε ζ η θ ι.

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.meta = β,

44 δ.minimumOCamlVersion = ε,

55 δ.src = ζ,

test/golden/importless/debian-build.txt+13−10

@@ -1,14 +1,17 @@

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

2−( β //

3− { installExtraDebsPhase = String;

4− installPhase = String;

5− meta = ∀ α. α;

6− name = String;

7− postHook = String;

8− sysInfoPhase = String;

9− } ~

10− γ,

11− {doCheck = Bool; prePhases = String; prefix = String;} // γ ~ δ,

2+( ( β

3+ ) //

4+ ( { installExtraDebsPhase = String;

5+ installPhase = String;

6+ meta = ∀ α. α;

7+ name = String;

8+ postHook = String;

9+ sysInfoPhase = String;

10+ }

11+ ) ~

12+ ( γ

13+ ),

14+ ({doCheck = Bool; prePhases = String; prefix = String;}) // (γ) ~ (δ),

1215 ε.?debProvides = [ζ],

1316 ε.?debRequires = [η],

1417 ε.?fsTranslation = Bool,

test/golden/importless/declare-lazyAttrsOf.txt+1−1

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

11∀ α β γ δ ε ζ η θ.

2−( α // {emptyValue = {value = String;};} ~ β,

2+( (α) // ({emptyValue = {value = String;};}) ~ (β),

33 γ.lib = δ,

44 δ.mkOption = {default = {}; type = ε;} -> ζ,

55 δ.types = η,

test/golden/importless/declare-submoduleWith-special.txt+1−1

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

11∀ ζ η θ ι κ λ.

2−( ζ // {foo = String;} ~ η,

2+( (ζ) // ({foo = String;}) ~ (η),

33 θ.lib = ζ,

44 ζ.mkOption = {default = {}; type = ι;} -> κ,

55 ζ.types = λ,

test/golden/importless/define-option-dependently-nested.txt+1−1

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

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

2−( {value = Number;} // β ~ γ,

2+( ({value = Number;}) // (β) ~ (γ),

33 δ.?set = ε,

44 ε.?enable = ζ,

55 η.?enable = θ,

test/golden/importless/define-option-dependently.txt+1−1

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

11∀ β γ δ ε ζ η.

2−( {value = Number;} // β ~ γ,

2+( ({value = Number;}) // (β) ~ (γ),

33 δ.?enable = ε,

44 ζ.lib = η,

55 ζ.options = δ,

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

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

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

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.config = ε,

44 δ.lib = ζ,

55 δ.pkgs = η,

test/golden/importless/extpack.txtnew file+27

@@ -0,0 +1,27 @@

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

2+( α.builtins = β,

3+ α.cdepillabout = γ,

4+ α.licenses = δ,

5+ α.maintainers = ε,

6+ α.sander = γ,

7+ ζ.version = η,

8+ β.stringLength = String -> Number,

9+ δ.virtualbox-puel = θ

10+) =>

11+{ fetchurl =

12+ { meta =

13+ { description = String;

14+ homepage = String;

15+ license = θ;

16+ maintainers = [γ];

17+ platforms = [String];

18+ };

19+ name = String;

20+ sha256 = String;

21+ url = String;

22+ } ->

23+ ι;

24+ lib = α;

25+ virtualbox = ζ;

26+} ->

27+ι

test/golden/importless/faust1.txt+46−37

@@ -1,41 +1,50 @@

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

2−( γ //

3− { dontBuild = Bool;

4− installPhase = String;

5− meta = ∀ β. β;

6− name = String;

7− postInstall = String;

8− src = δ;

9− } ~

10− ε,

11− ζ //

12− { buildInputs = [η];

13− nativeBuildInputs = [θ];

14− postFixup = String;

15− propagatedBuildInputs = [ι];

16− } ~

17− { buildInputs = [η];

18− meta = ∀ β. β;

19− passthru = {wrap = κ; wrapWithBuildEnv = λ;};

20− pname = String;

21− postFixup = String;

22− postInstall = String;

23− preConfigure = String;

24− src = δ;

25− version = μ;

26− },

27− ν //

28− {buildInputs = [η]; postFixup = String;} ~

29− { buildInputs = [η];

30− meta = ∀ β. β;

31− passthru = {wrap = κ; wrapWithBuildEnv = λ;};

32− pname = String;

33− postFixup = String;

34− postInstall = String;

35− preConfigure = String;

36− src = δ;

37− version = μ;

38− },

2+( ( γ

3+ ) //

4+ ( { dontBuild = Bool;

5+ installPhase = String;

6+ meta = ∀ β. β;

7+ name = String;

8+ postInstall = String;

9+ src = δ;

10+ }

11+ ) ~

12+ ( ε

13+ ),

14+ ( ζ

15+ ) //

16+ ( { buildInputs = [η];

17+ nativeBuildInputs = [θ];

18+ postFixup = String;

19+ propagatedBuildInputs = [ι];

20+ }

21+ ) ~

22+ ( { buildInputs = [η];

23+ meta = ∀ β. β;

24+ passthru = {wrap = κ; wrapWithBuildEnv = λ;};

25+ pname = String;

26+ postFixup = String;

27+ postInstall = String;

28+ preConfigure = String;

29+ src = δ;

30+ version = μ;

31+ }

32+ ),

33+ ( ν

34+ ) //

35+ ( {buildInputs = [η]; postFixup = String;}

36+ ) ~

37+ ( { buildInputs = [η];

38+ meta = ∀ β. β;

39+ passthru = {wrap = κ; wrapWithBuildEnv = λ;};

40+ pname = String;

41+ postFixup = String;

42+ postInstall = String;

43+ preConfigure = String;

44+ src = δ;

45+ version = μ;

46+ }

47+ ),

3948 ξ.?scripts = [ο],

4049 π.?scripts = [ο],

4150 ρ.lib = σ,

test/golden/importless/faust2.txt+51−42

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

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

2−( γ //

3− { dontBuild = Bool;

4− installPhase = String;

5− meta = ∀ β. β;

6− name = String;

7− postInstall = String;

8− src = δ;

9− } ~

10− ε,

11− ζ //

12− { buildInputs = [η];

13− libPath = θ;

14− nativeBuildInputs = [η];

15− postFixup = String;

16− propagatedBuildInputs = [ι];

17− } ~

18− { buildInputs = [κ];

19− cmakeFlags = String;

20− meta = ∀ β. β;

21− nativeBuildInputs = [η];

22− passthru = {wrap = λ; wrapWithBuildEnv = μ;};

23− pname = String;

24− postFixup = String;

25− postInstall = String;

26− preConfigure = String;

27− src = δ;

28− version = ν;

29− },

30− ξ //

31− {buildInputs = [η]; postFixup = String;} ~

32− { buildInputs = [κ];

33− cmakeFlags = String;

34− meta = ∀ β. β;

35− nativeBuildInputs = [η];

36− passthru = {wrap = λ; wrapWithBuildEnv = μ;};

37− pname = String;

38− postFixup = String;

39− postInstall = String;

40− preConfigure = String;

41− src = δ;

42− version = ν;

43− },

2+( ( γ

3+ ) //

4+ ( { dontBuild = Bool;

5+ installPhase = String;

6+ meta = ∀ β. β;

7+ name = String;

8+ postInstall = String;

9+ src = δ;

10+ }

11+ ) ~

12+ ( ε

13+ ),

14+ ( ζ

15+ ) //

16+ ( { buildInputs = [η];

17+ libPath = θ;

18+ nativeBuildInputs = [η];

19+ postFixup = String;

20+ propagatedBuildInputs = [ι];

21+ }

22+ ) ~

23+ ( { buildInputs = [κ];

24+ cmakeFlags = String;

25+ meta = ∀ β. β;

26+ nativeBuildInputs = [η];

27+ passthru = {wrap = λ; wrapWithBuildEnv = μ;};

28+ pname = String;

29+ postFixup = String;

30+ postInstall = String;

31+ preConfigure = String;

32+ src = δ;

33+ version = ν;

34+ }

35+ ),

36+ ( ξ

37+ ) //

38+ ( {buildInputs = [η]; postFixup = String;}

39+ ) ~

40+ ( { buildInputs = [κ];

41+ cmakeFlags = String;

42+ meta = ∀ β. β;

43+ nativeBuildInputs = [η];

44+ passthru = {wrap = λ; wrapWithBuildEnv = μ;};

45+ pname = String;

46+ postFixup = String;

47+ postInstall = String;

48+ preConfigure = String;

49+ src = δ;

50+ version = ν;

51+ }

52+ ),

4453 ο.?scripts = [π],

4554 ρ.?scripts = [π],

4655 σ.lib = τ,

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

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

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

2−( β // {check = γ -> Bool; name = String;} ~ δ,

2+( (β) // ({check = γ -> Bool; name = String;}) ~ (δ),

33 ε.config = ζ,

44 ε.lib = η,

55 ε.pkgs = θ,

test/golden/importless/fixed-points.txt+9−5

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

22θ ->

33{ composeExtensions =

44 ∀ α β γ δ ε ζ η.

5− (α // β ~ γ, β // δ ~ ε) => (ζ -> α -> β) -> (ζ -> η -> δ) -> ζ -> α -> ε;

5+ ((α) // (β) ~ (γ), (β) // (δ) ~ (ε)) => (ζ -> α -> β) ->

6+ (ζ -> η -> δ) -> ζ -> α -> ε;

67 converge = ∀ α. (α -> α) -> α -> α;

7− extends = ∀ α β γ δ. (α // β ~ γ) => (δ -> α -> β) -> (δ -> α) -> δ -> γ;

8+ extends =

9+ ∀ α β γ δ. ((α) // (β) ~ (γ)) => (δ -> α -> β) -> (δ -> α) -> δ -> γ;

810 fix = ∀ α. (α -> α) -> α;

9− fix' = ∀ α β. (α // {__unfix__ = β -> α;} ~ β) => (β -> α) -> β;

11+ fix' = ∀ α β. ((α) // ({__unfix__ = β -> α;}) ~ (β)) => (β -> α) -> β;

1012 makeExtensible =

11− ∀ α β γ. (α // {__unfix__ = β -> α;} ~ β, β // {} ~ γ) => (β -> α) -> γ;

13+ ∀ α β γ.

14+ ((α) // ({__unfix__ = β -> α;}) ~ (β), (β) // ({}) ~ (γ)) => (β -> α) -> γ;

1215 makeExtensibleWithCustomName =

1316 ∀ α β γ δ.

14− (α // {__unfix__ = β -> α;} ~ β, β // {} ~ γ) => δ -> (β -> α) -> γ;

17+ ((α) // ({__unfix__ = β -> α;}) ~ (β), (β) // ({}) ~ (γ)) => δ ->

18+ (β -> α) -> γ;

1519}

test/golden/importless/freeoffice.txt+12−9

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

11∀ α β γ δ.

2−( α //

3− { archive = String;

4− edition = String;

5− pname = String;

6− src = β;

7− suiteName = String;

8− version = String;

9− } ~

10− γ,

2+( ( α

3+ ) //

4+ ( { archive = String;

5+ edition = String;

6+ pname = String;

7+ src = β;

8+ suiteName = String;

9+ version = String;

10+ }

11+ ) ~

12+ ( γ

13+ ),

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

1215 α.callPackage = String -> γ -> δ,

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

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

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

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

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.optional = Bool -> ε -> ζ,

44 η.meta = β,

55 η.src = θ,

test/golden/importless/generic-builder.txt+16−13

@@ -1,17 +1,20 @@

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

2−( α // {name = String;} ~ β,

3− { NIX_CFLAGS_COMPILE = γ;

4− buildInputs = [δ];

5− buildPhase = String;

6− checkPhase = String;

7− configurePhase = String;

8− installFlags = [String];

9− installPhase = String;

10− postFixup = String;

11− rCommand = String;

12− } //

13− β ~

14− ε,

2+( (α) // ({name = String;}) ~ (β),

3+ ( { NIX_CFLAGS_COMPILE = γ;

4+ buildInputs = [δ];

5+ buildPhase = String;

6+ checkPhase = String;

7+ configurePhase = String;

8+ installFlags = [String];

9+ installPhase = String;

10+ postFixup = String;

11+ rCommand = String;

12+ }

13+ ) //

14+ ( β

15+ ) ~

16+ ( ε

17+ ),

1518 α.?buildInputs = [δ],

1619 α.?doCheck = Bool,

1720 α.?requireX = Bool,

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

@@ -1,22 +1,25 @@

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

2−( α //

3− { GIT_SSL_CAINFO = String;

4− LANG = String;

5− LD_LIBRARY_PATH = β;

6− STACK_IN_NIX_EXTRA_ARGS = [γ];

7− STACK_IN_NIX_SHELL = Number;

8− STACK_PLATFORM_VARIANT = String;

9− __noChroot = Bool;

10− buildInputs = [δ];

11− buildPhase = String;

12− checkPhase = String;

13− doCheck = Bool;

14− installPhase = String;

15− nativeBuildInputs = [ε];

16− preConfigure = String;

17− preferLocalBuild = Bool;

18− } ~

19− ζ,

2+( ( α

3+ ) //

4+ ( { GIT_SSL_CAINFO = String;

5+ LANG = String;

6+ LD_LIBRARY_PATH = β;

7+ STACK_IN_NIX_EXTRA_ARGS = [γ];

8+ STACK_IN_NIX_SHELL = Number;

9+ STACK_PLATFORM_VARIANT = String;

10+ __noChroot = Bool;

11+ buildInputs = [δ];

12+ buildPhase = String;

13+ checkPhase = String;

14+ doCheck = Bool;

15+ installPhase = String;

16+ nativeBuildInputs = [ε];

17+ preConfigure = String;

18+ preferLocalBuild = Bool;

19+ }

20+ ) ~

21+ ( ζ

22+ ),

2023 α.?LD_LIBRARY_PATH = [δ],

2124 α.?buildInputs = [δ],

2225 α.?buildPhase = String,

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

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

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

2−( β // {license = γ; maintainers = [δ]; platforms = ε;} ~ ζ,

2+( (β) // ({license = γ; maintainers = [δ]; platforms = ε;}) ~ (ζ),

33 η.lib = θ,

44 η.mkDerivation =

55 { desktopItem = ι;

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

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

11∀ β γ δ ε ζ η θ.

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.meta = β,

44 δ.src = ε,

55 δ.version = ζ

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

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

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

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.optionals = Bool -> [ε] -> ζ,

44 η.meta = β,

55 η.src = θ,

test/golden/importless/integrations-core.txt+13−10

@@ -1,14 +1,17 @@

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

2−( α //

3− { doCheck = Bool;

4− name = String;

5− postPatch = String;

6− sourceRoot = String;

7− src = β;

8− version = String;

9− } ~

10− γ,

11− δ // {datadog_checks_base = ε; python = ζ;} ~ η,

2+( ( α

3+ ) //

4+ ( { doCheck = Bool;

5+ name = String;

6+ postPatch = String;

7+ sourceRoot = String;

8+ src = β;

9+ version = String;

10+ }

11+ ) ~

12+ ( γ

13+ ),

14+ (δ) // ({datadog_checks_base = ε; python = ζ;}) ~ (η),

1215 θ.fetchFromGitHub =

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

1417 θ.lib = ι,

test/golden/importless/janePackage.txt+10−7

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

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

2−( α //

3− { meta = {homepage = String; license = β;};

4− minimumOCamlVersion = String;

5− src = γ;

6− version = String;

7− } ~

8− δ,

2+( ( α

3+ ) //

4+ ( { meta = {homepage = String; license = β;};

5+ minimumOCamlVersion = String;

6+ src = γ;

7+ version = String;

8+ }

9+ ) ~

10+ ( δ

11+ ),

912 α.?version = String,

1013 ε.lib = ζ,

1114 α.hash = η,

test/golden/importless/janePackage_0_12.txt+10−7

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

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

2−( α //

3− { meta = {homepage = String; license = β;};

4− minimumOCamlVersion = String;

5− src = γ;

6− version = String;

7− } ~

8− δ,

2+( ( α

3+ ) //

4+ ( { meta = {homepage = String; license = β;};

5+ minimumOCamlVersion = String;

6+ src = γ;

7+ version = String;

8+ }

9+ ) ~

10+ ( δ

11+ ),

912 α.?version = String,

1013 ε.licenses = ζ,

1114 α.hash = η,

test/golden/importless/janePackage_0_13.txt+10−7

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

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

2−( α //

3− { meta = {homepage = String; license = β;};

4− minimumOCamlVersion = String;

5− src = γ;

6− version = String;

7− } ~

8− δ,

2+( ( α

3+ ) //

4+ ( { meta = {homepage = String; license = β;};

5+ minimumOCamlVersion = String;

6+ src = γ;

7+ version = String;

8+ }

9+ ) ~

10+ ( δ

11+ ),

912 α.?version = String,

1013 ε.licenses = ζ,

1114 α.hash = η,

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

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

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

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.config = ε,

44 δ.lib = ζ,

55 δ.pkgs = η,

test/golden/importless/karchive.txtdeleted−18

@@ -1,18 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { bzip2 = ζ;

3− extra-cmake-modules = η;

4− lib = α;

5− lzma = ζ;

6− mkDerivation =

7− { buildInputs = [ζ];

8− meta = {broken = Bool; maintainers = [ε];};

9− name = String;

10− nativeBuildInputs = [η];

11− outputs = [String];

12− propagatedBuildInputs = [γ];

13− } ->

14− θ;

15− qtbase = γ;

16− zlib = ζ;

17−} ->

18−θ

test/golden/importless/kcodecs.txtdeleted−17

@@ -1,17 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− gperf = η;

4− lib = α;

5− mkDerivation =

6− { buildInputs = [η];

7− meta = {broken = Bool; maintainers = [ε];};

8− name = String;

9− nativeBuildInputs = [ζ];

10− outputs = [String];

11− propagatedBuildInputs = [γ];

12− } ->

13− θ;

14− qtbase = γ;

15− qttools = η;

16−} ->

17−θ

test/golden/importless/kconfig.txtdeleted−15

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

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { buildInputs = [η];

6− meta = {broken = Bool; maintainers = [ε];};

7− name = String;

8− nativeBuildInputs = [ζ];

9− propagatedBuildInputs = [γ];

10− } ->

11− θ;

12− qtbase = γ;

13− qttools = η;

14−} ->

15−θ

test/golden/importless/kcoreaddons.txtdeleted−16

@@ -1,16 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { buildInputs = [η];

6− meta = {broken = Bool; maintainers = [ε];};

7− name = String;

8− nativeBuildInputs = [ζ];

9− propagatedBuildInputs = [γ];

10− } ->

11− θ;

12− qtbase = γ;

13− qttools = η;

14− shared-mime-info = η;

15−} ->

16−θ

test/golden/importless/kdbusaddons.txtdeleted−16

@@ -1,16 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { buildInputs = [η];

6− meta = {broken = Bool; maintainers = [ε];};

7− name = String;

8− nativeBuildInputs = [ζ];

9− propagatedBuildInputs = [γ];

10− } ->

11− θ;

12− qtbase = γ;

13− qttools = η;

14− qtx11extras = η;

15−} ->

16−θ

test/golden/importless/kdecoration.txtdeleted−15

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

1−∀ α β γ δ.

2−(α.version = β) => { extra-cmake-modules = γ;

3− ki18n = α;

4− mkDerivation =

5− { broken = Bool;

6− buildInputs = [α];

7− meta = {broken = Bool;};

8− name = String;

9− nativeBuildInputs = [γ];

10− outputs = [String];

11− } ->

12− δ;

13− qtbase = α;

14−} ->

15−δ

test/golden/importless/kdnssd.txtdeleted−17

@@ -1,17 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { avahi = ζ;

3− extra-cmake-modules = η;

4− lib = α;

5− mkDerivation =

6− { buildInputs = [ζ];

7− meta = {broken = Bool; maintainers = [ε];};

8− name = String;

9− nativeBuildInputs = [η];

10− outputs = [String];

11− propagatedBuildInputs = [γ];

12− } ->

13− θ;

14− qtbase = γ;

15− qttools = ζ;

16−} ->

17−θ

test/golden/importless/kguiaddons.txtdeleted−16

@@ -1,16 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { buildInputs = [η];

6− meta = {broken = Bool; maintainers = [ε];};

7− name = String;

8− nativeBuildInputs = [ζ];

9− outputs = [String];

10− propagatedBuildInputs = [γ];

11− } ->

12− θ;

13− qtbase = γ;

14− qtx11extras = η;

15−} ->

16−θ

test/golden/importless/ki18n.txtdeleted−18

@@ -1,18 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− gettext = η;

4− lib = α;

5− mkDerivation =

6− { buildInputs = [θ];

7− meta = {broken = Bool; maintainers = [ε];};

8− name = String;

9− nativeBuildInputs = [ζ];

10− propagatedNativeBuildInputs = [η];

11− } ->

12− ι;

13− python3 = η;

14− qtbase = γ;

15− qtdeclarative = θ;

16− qtscript = θ;

17−} ->

18−ι

test/golden/importless/kidletime.txtdeleted−15

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

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { buildInputs = [η];

6− meta = {broken = Bool; maintainers = [ε];};

7− name = String;

8− nativeBuildInputs = [ζ];

9− propagatedBuildInputs = [γ];

10− } ->

11− θ;

12− qtbase = γ;

13− qtx11extras = η;

14−} ->

15−θ

test/golden/importless/kirigami2.txtdeleted−15

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

1−∀ α β γ δ.

2−(α.version = β) => { extra-cmake-modules = γ;

3− mkDerivation =

4− { buildInputs = [α];

5− meta = {broken = Bool;};

6− name = String;

7− nativeBuildInputs = [γ];

8− outputs = [String];

9− } ->

10− δ;

11− qtbase = α;

12− qtquickcontrols2 = α;

13− qttranslations = α;

14−} ->

15−δ

test/golden/importless/kitemmodels.txtdeleted−14

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

1−∀ α β γ δ ε ζ η.

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { meta = {broken = Bool; maintainers = [ε];};

6− name = String;

7− nativeBuildInputs = [ζ];

8− outputs = [String];

9− propagatedBuildInputs = [γ];

10− } ->

11− η;

12− qtbase = γ;

13−} ->

14−η

test/golden/importless/kitemviews.txtdeleted−16

@@ -1,16 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { buildInputs = [η];

6− meta = {broken = Bool; maintainers = [ε];};

7− name = String;

8− nativeBuildInputs = [ζ];

9− outputs = [String];

10− propagatedBuildInputs = [γ];

11− } ->

12− θ;

13− qtbase = γ;

14− qttools = η;

15−} ->

16−θ

test/golden/importless/kplotting.txtdeleted−15

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

1−∀ α β γ δ ε ζ η.

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { meta = {broken = Bool; maintainers = [ε];};

6− name = String;

7− nativeBuildInputs = [ζ];

8− outputs = [String];

9− propagatedBuildInputs = [γ];

10− } ->

11− η;

12− qtbase = γ;

13− qttools = γ;

14−} ->

15−η

test/golden/importless/kwayland.txtdeleted−19

@@ -1,19 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { buildInputs = [η];

6− meta = {broken = Bool; maintainers = [ε];};

7− name = String;

8− nativeBuildInputs = [ζ];

9− propagatedBuildInputs = [γ];

10− setupHook = θ;

11− } ->

12− ι;

13− plasma-wayland-protocols = η;

14− propagateBin = θ;

15− qtbase = γ;

16− wayland = η;

17− wayland-protocols = η;

18−} ->

19−ι

test/golden/importless/kwidgetsaddons.txtdeleted−16

@@ -1,16 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { buildInputs = [η];

6− meta = {broken = Bool; maintainers = [ε];};

7− name = String;

8− nativeBuildInputs = [ζ];

9− outputs = [String];

10− propagatedBuildInputs = [γ];

11− } ->

12− θ;

13− qtbase = γ;

14− qttools = η;

15−} ->

16−θ

test/golden/importless/licenses.txt+17−14

@@ -1,18 +1,21 @@

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

2−( α // {shortName = β;} ~ γ,

3− δ //

4− { agpl3 = ε;

5− fdl11 = ζ;

6− fdl12 = η;

7− fdl13 = θ;

8− gpl1 = ι;

9− gpl2 = κ;

10− gpl3 = λ;

11− lgpl2 = μ;

12− lgpl21 = ν;

13− lgpl3 = ξ;

14− } ~

15− ο,

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

3+ ( δ

4+ ) //

5+ ( { agpl3 = ε;

6+ fdl11 = ζ;

7+ fdl12 = η;

8+ fdl13 = θ;

9+ gpl1 = ι;

10+ gpl2 = κ;

11+ gpl3 = λ;

12+ lgpl2 = μ;

13+ lgpl21 = ν;

14+ lgpl3 = ξ;

15+ }

16+ ) ~

17+ ( ο

18+ ),

1619 π.licenses = ρ,

1720 π.mapAttrs =

1821 (β -> α -> γ) ->

test/golden/importless/linux-4.14.txt+10−7

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

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

2−( α //

3− { extraMeta = {branch = β;};

4− modDirVersion = Null;

5− src = γ;

6− version = String;

7− } ~

8− δ,

2+( ( α

3+ ) //

4+ ( { extraMeta = {branch = β;};

5+ modDirVersion = Null;

6+ src = γ;

7+ version = String;

8+ }

9+ ) ~

10+ ( δ

11+ ),

912 α.?argsOverride = {},

1013 α.?modDirVersionArg = Null,

1114 α.buildLinux = δ -> ε,

test/golden/importless/linux-4.19.txt+10−7

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

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

2−( α //

3− { extraMeta = {branch = β;};

4− modDirVersion = Null;

5− src = γ;

6− version = String;

7− } ~

8− δ,

2+( ( α

3+ ) //

4+ ( { extraMeta = {branch = β;};

5+ modDirVersion = Null;

6+ src = γ;

7+ version = String;

8+ }

9+ ) ~

10+ ( δ

11+ ),

912 α.?argsOverride = {},

1013 α.?modDirVersionArg = Null,

1114 α.buildLinux = δ -> ε,

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

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

11∀ α β γ δ ε ζ η.

2−( α // {extraMeta = {branch = String;}; src = β; version = String;} ~ γ,

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

33 α.?argsOverride = {},

44 α.buildLinux = γ -> δ,

55 α.buildPackages = ε,

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

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

11∀ α β γ δ ε ζ η.

2−( α // {extraMeta = {branch = String;}; src = β; version = String;} ~ γ,

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

33 α.?argsOverride = {},

44 α.buildLinux = γ -> δ,

55 α.buildPackages = ε,

test/golden/importless/linux-5.4.txt+10−7

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

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

2−( α //

3− { extraMeta = {branch = β;};

4− modDirVersion = Null;

5− src = γ;

6− version = String;

7− } ~

8− δ,

2+( ( α

3+ ) //

4+ ( { extraMeta = {branch = β;};

5+ modDirVersion = Null;

6+ src = γ;

7+ version = String;

8+ }

9+ ) ~

10+ ( δ

11+ ),

912 α.?argsOverride = {},

1013 α.?modDirVersionArg = Null,

1114 α.buildLinux = δ -> ε,

test/golden/importless/linux-5.8.txt+10−7

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

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

2−( α //

3− { extraMeta = {branch = β;};

4− modDirVersion = Null;

5− src = γ;

6− version = String;

7− } ~

8− δ,

2+( ( α

3+ ) //

4+ ( { extraMeta = {branch = β;};

5+ modDirVersion = Null;

6+ src = γ;

7+ version = String;

8+ }

9+ ) ~

10+ ( δ

11+ ),

912 α.?argsOverride = {},

1013 α.?modDirVersionArg = Null,

1114 α.buildLinux = δ -> ε,

test/golden/importless/linux-5.9.txt+10−7

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

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

2−( α //

3− { extraMeta = {branch = β;};

4− modDirVersion = Null;

5− src = γ;

6− version = String;

7− } ~

8− δ,

2+( ( α

3+ ) //

4+ ( { extraMeta = {branch = β;};

5+ modDirVersion = Null;

6+ src = γ;

7+ version = String;

8+ }

9+ ) ~

10+ ( δ

11+ ),

912 α.?argsOverride = {},

1013 α.?modDirVersionArg = Null,

1114 α.buildLinux = δ -> ε,

test/golden/importless/linux-hardkernel-4.14.txt+12−9

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

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

2−( α //

3− { defconfig = String;

4− extraConfig = String;

5− extraMeta = {branch = String; platforms = [String];};

6− modDirVersion = String;

7− src = β;

8− version = String;

9− } ~

10− γ,

2+( ( α

3+ ) //

4+ ( { defconfig = String;

5+ extraConfig = String;

6+ extraMeta = {branch = String; platforms = [String];};

7+ modDirVersion = String;

8+ src = β;

9+ version = String;

10+ }

11+ ) ~

12+ ( γ

13+ ),

1114 α.?argsOverride = {},

1215 α.?extraConfig = String,

1316 α.buildLinux = γ -> δ,

test/golden/importless/linux-testing-bcachefs.txt+16−13

@@ -1,17 +1,20 @@

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

2−( β //

3− { extraConfig = String;

4− extraMeta =

5− { branch = String;

6− hydraPlatforms = ∀ α. [α];

7− maintainers = [γ];

8− platforms = [String];

9− };

10− modDirVersion = String;

11− src = δ;

12− version = String;

13− } ~

14− ε,

2+( ( β

3+ ) //

4+ ( { extraConfig = String;

5+ extraMeta =

6+ { branch = String;

7+ hydraPlatforms = ∀ α. [α];

8+ maintainers = [γ];

9+ platforms = [String];

10+ };

11+ modDirVersion = String;

12+ src = δ;

13+ version = String;

14+ }

15+ ) ~

16+ ( ε

17+ ),

1518 β.?argsOverride = {},

1619 β.buildLinux = ε -> ζ,

1720 β.buildPackages = η,

test/golden/importless/linux-testing.txtnew file+23

@@ -0,0 +1,23 @@

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

2+( ( β

3+ ) //

4+ ( { extraMeta = {branch = String; hydraPlatforms = ∀ α. [α];};

5+ modDirVersion = Null;

6+ src = γ;

7+ version = String;

8+ }

9+ ) ~

10+ ( δ

11+ ),

12+ β.?argsOverride = {},

13+ β.?modDirVersionArg = Null,

14+ β.buildLinux = δ -> ε,

15+ β.buildPackages = ζ,

16+ β.fetchurl = {sha256 = String; url = String;} -> γ,

17+ β.perl = η,

18+ β.stdenv = θ,

19+ θ.lib = ι,

20+ ι.builtins = κ,

21+ κ.replaceStrings = [String] -> [String] -> String -> Null

22+) =>

23+β -> ε

test/golden/importless/linux-zen.txt+11−8

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

11∀ α β γ δ ε ζ η θ.

2−( α //

3− { extraMeta = {branch = String; maintainers = [β];};

4− isZen = Bool;

5− modDirVersion = String;

6− src = γ;

7− version = String;

8− } ~

9− δ,

2+( ( α

3+ ) //

4+ ( { extraMeta = {branch = String; maintainers = [β];};

5+ isZen = Bool;

6+ modDirVersion = String;

7+ src = γ;

8+ version = String;

9+ }

10+ ) ~

11+ ( δ

12+ ),

1013 α.?argsOverride = {},

1114 α.buildLinux = δ -> ε,

1215 α.fetchFromGitHub =

test/golden/importless/liquidsoap.txtnew file+68

@@ -0,0 +1,68 @@

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

2+λ1 μ1 ν1 ξ1 ο1.

3+( α.config = β,

4+ α.lib = γ,

5+ α.pkgs = δ,

6+ β.ids = ε,

7+ β.services = ζ,

8+ γ.builtins = η,

9+ γ.literalExample = String -> θ,

10+ γ.map =

11+ ( ι ->

12+ { name = ι;

13+ value =

14+ { after = [String];

15+ description = String;

16+ path = [κ];

17+ serviceConfig =

18+ {ExecStart = String; LogsDirectory = String; User = String;};

19+ wantedBy = [String];

20+ };

21+ }

22+ ) ->

23+ λ -> μ,

24+ γ.mkIf =

25+ Bool ->

26+ { systemd = {services = ν;};

27+ users =

28+ { groups = {liquidsoap = {gid = ξ;};};

29+ users =

30+ { liquidsoap =

31+ { createHome = Bool;

32+ description = String;

33+ extraGroups = [String];

34+ group = String;

35+ home = String;

36+ uid = ο;

37+ };

38+ };

39+ };

40+ } ->

41+ π,

42+ γ.mkOption =

43+ { default = {};

44+ description = String;

45+ example = {myStream1 = θ; myStream2 = ρ; myStream3 = σ;};

46+ type = τ;

47+ } ->

48+ υ,

49+ γ.types = φ,

50+ δ.wget = κ,

51+ η.attrNames = χ -> λ,

52+ ζ.liquidsoap = ψ,

53+ ψ.streams = χ,

54+ ω.getAttr = ι -> α1 -> β1,

55+ γ1.liquidsoap = δ1,

56+ δ1.streams = α1,

57+ ε1.length = λ -> Number,

58+ ζ1.listToAttrs = μ -> ν,

59+ ε.gids = η1,

60+ η1.liquidsoap = ξ,

61+ θ1.uids = ι1,

62+ ι1.liquidsoap = ο,

63+ φ.attrsOf = κ1 -> τ,

64+ λ1.either = μ1 -> ν1 -> κ1,

65+ ξ1.path = μ1,

66+ ο1.str = ν1

67+) =>

68+α -> {config = π; options = {services = {liquidsoap = {streams = υ;};};};}

test/golden/importless/m32edit.txt+11−8

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

11∀ α β γ.

2−( α //

3− { brand = String;

4− homepage = String;

5− sha256 = String;

6− type = String;

7− version = String;

8− } ~

9− β,

2+( ( α

3+ ) //

4+ ( { brand = String;

5+ homepage = String;

6+ sha256 = String;

7+ type = String;

8+ version = String;

9+ }

10+ ) ~

11+ ( β

12+ ),

1013 α.callPackage = String -> β -> γ

1114) =>

1215α -> γ

test/golden/importless/master.txtnew file+56

@@ -0,0 +1,56 @@

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

2+( α.config = β,

3+ α.lib = γ,

4+ α.pkgs = δ,

5+ β.environment = ε,

6+ β.services = ζ,

7+ δ.writeText = String -> η -> θ,

8+ γ.aneeshusa = ι,

9+ γ.builtins = κ,

10+ γ.cfg = λ,

11+ γ.maintainers = μ,

12+ γ.mkEnableOption = String -> ν,

13+ γ.mkIf =

14+ ξ ->

15+ { environment =

16+ {etc = {salt/master = {source = θ;};}; systemPackages = [ο];};

17+ systemd =

18+ { services =

19+ { salt-master =

20+ { after = [String];

21+ description = String;

22+ path = [π];

23+ restartTriggers = [ρ];

24+ serviceConfig =

25+ { ExecStart = String;

26+ LimitNOFILE = Number;

27+ NotifyAccess = String;

28+ Type = String;

29+ };

30+ wantedBy = [String];

31+ };

32+ };

33+ };

34+ } ->

35+ σ,

36+ γ.mkOption = {default = {}; description = String; type = τ;} -> υ,

37+ γ.recursiveUpdate = {default_include = String; pki_dir = String;} -> φ -> χ,

38+ γ.salt = ο,

39+ γ.types = ψ,

40+ γ.utillinux = π,

41+ λ.configuration = φ,

42+ ζ.salt = ω,

43+ ω.master = α1,

44+ α1.enable = ξ,

45+ κ.toJSON = χ -> η,

46+ ε.etc = β1,

47+ β1.salt/master = γ1,

48+ γ1.source = ρ,

49+ ψ.attrs = τ

50+) =>

51+α ->

52+{ config = σ;

53+ meta = {maintainers = [ι];};

54+ options =

55+ {services = {salt = {master = {configuration = υ; enable = ν;};};};};

56+}

test/golden/importless/maven-build.txt+20−17

@@ -1,21 +1,24 @@

11∀ α β γ δ ε ζ.

2−( { finalPhase = String;

3− mvnAssembly = String;

4− mvnCheckstyle = String;

5− mvnCompile = String;

6− mvnJar = String;

7− mvnJavadoc = String;

8− mvnRelease = String;

9− mvnTest = String;

10− mvnTestCompile = String;

11− mvnTestJar = String;

12− name = α;

13− phases = String;

14− setupPhase = String;

15− src = β;

16− } //

17− γ ~

18− δ,

2+( ( { finalPhase = String;

3+ mvnAssembly = String;

4+ mvnCheckstyle = String;

5+ mvnCompile = String;

6+ mvnJar = String;

7+ mvnJavadoc = String;

8+ mvnRelease = String;

9+ mvnTest = String;

10+ mvnTestCompile = String;

11+ mvnTestJar = String;

12+ name = α;

13+ phases = String;

14+ setupPhase = String;

15+ src = β;

16+ }

17+ ) //

18+ ( γ

19+ ) ~

20+ ( δ

21+ ),

1922 γ.?doCheckstyle = Bool,

2023 γ.?doJavadoc = Bool,

2124 γ.?doRelease = Bool,

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

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

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

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.optional = Bool -> ε -> ζ,

44 η.meta = β,

55 η.src = θ,

test/golden/importless/minion.txtnew file+53

@@ -0,0 +1,53 @@

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

2+( α.config = β,

3+ α.lib = γ,

4+ α.pkgs = δ,

5+ β.environment = ε,

6+ β.services = ζ,

7+ δ.writeText = String -> η -> θ,

8+ γ.builtins = ι,

9+ γ.cfg = κ,

10+ γ.mkEnableOption = String -> λ,

11+ γ.mkIf =

12+ μ ->

13+ { environment =

14+ {etc = {salt/minion = {source = θ;};}; systemPackages = [ν];};

15+ systemd =

16+ { services =

17+ { salt-minion =

18+ { after = [String];

19+ description = String;

20+ path = [ξ];

21+ restartTriggers = [ο];

22+ serviceConfig =

23+ { ExecStart = String;

24+ LimitNOFILE = Number;

25+ NotifyAccess = String;

26+ Type = String;

27+ };

28+ wantedBy = [String];

29+ };

30+ };

31+ };

32+ } ->

33+ π,

34+ γ.mkOption = {default = {}; description = String; type = ρ;} -> σ,

35+ γ.recursiveUpdate = {default_include = String; pki_dir = String;} -> τ -> υ,

36+ γ.salt = ν,

37+ γ.types = φ,

38+ γ.utillinux = ξ,

39+ κ.configuration = τ,

40+ ζ.salt = χ,

41+ χ.minion = ψ,

42+ ψ.enable = μ,

43+ ι.toJSON = υ -> η,

44+ ε.etc = ω,

45+ ω.salt/minion = α1,

46+ α1.source = ο,

47+ φ.attrs = ρ

48+) =>

49+α ->

50+{ config = π;

51+ options =

52+ {services = {salt = {minion = {configuration = σ; enable = λ;};};};};

53+}

test/golden/importless/modemmanager-qt.txtdeleted−15

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

1−∀ α β γ δ ε ζ η.

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { meta = {broken = Bool; maintainers = [ε];};

6− name = String;

7− nativeBuildInputs = [ζ];

8− outputs = [String];

9− propagatedBuildInputs = [γ];

10− } ->

11− η;

12− modemmanager = γ;

13− qtbase = γ;

14−} ->

15−η

test/golden/importless/moodle-utils.txt+12−9

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

11∀ ε ζ η θ ι κ λ μ ν ξ ο.

2−( ε //

3− { buildInputs = [ζ];

4− buildPhase = η;

5− configurePhase = θ;

6− installPhase = String;

7− name = ι;

8− pluginType = κ;

9− } ~

10− λ,

2+( ( ε

3+ ) //

4+ ( { buildInputs = [ζ];

5+ buildPhase = η;

6+ configurePhase = θ;

7+ installPhase = String;

8+ name = ι;

9+ pluginType = κ;

10+ }

11+ ) ~

12+ ( λ

13+ ),

1114 μ.?buildInputs = [ζ],

1215 ν.stdenv = ξ,

1316 ν.unzip = ζ,

test/golden/importless/networkmanager-qt.txtdeleted−15

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

1−∀ α β γ δ ε ζ η.

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { meta = {broken = Bool; maintainers = [ε];};

6− name = String;

7− nativeBuildInputs = [ζ];

8− outputs = [String];

9− propagatedBuildInputs = [γ];

10− } ->

11− η;

12− networkmanager = γ;

13− qtbase = γ;

14−} ->

15−η

test/golden/importless/nscd.txtnew file+62

@@ -0,0 +1,62 @@

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

2+λ1 μ1 ν1.

3+( α.config = β,

4+ α.lib = γ,

5+ α.pkgs = δ,

6+ β.environment = ε,

7+ β.services = ζ,

8+ β.system = η,

9+ γ.builtins = θ,

10+ γ.mkIf =

11+ ι ->

12+ { environment = {etc = {nscd.conf = {text = κ;};};};

13+ systemd =

14+ { services =

15+ { nscd =

16+ { description = String;

17+ environment = {LD_LIBRARY_PATH = λ;};

18+ restartTriggers = [μ];

19+ serviceConfig =

20+ { DynamicUser = Bool;

21+ ExecReload = [String];

22+ ExecStart = String;

23+ PIDFile = String;

24+ Restart = String;

25+ RuntimeDirectory = String;

26+ Type = String;

27+ };

28+ wantedBy = [String];

29+ };

30+ };

31+ };

32+ } ->

33+ ν,

34+ γ.mkOption = {default = ξ; description = String; type = ο;} -> π,

35+ γ.types = ρ,

36+ δ.glibc = σ,

37+ δ.stdenv = τ,

38+ η.nssModules = υ,

39+ υ.path = λ,

40+ τ.hostPlatform = φ,

41+ φ.libc = String,

42+ χ.cc = ψ,

43+ ψ.libc = ω,

44+ ω.bin = α1,

45+ σ.bin = α1,

46+ ζ.nscd = β1,

47+ β1.config = κ,

48+ β1.enable = ι,

49+ ε.etc = γ1,

50+ γ1.hosts = δ1,

51+ δ1.source = μ,

52+ ε1.etc = ζ1,

53+ ζ1.nsswitch.conf = η1,

54+ η1.source = μ,

55+ θ1.etc = ι1,

56+ ι1.nscd.conf = κ1,

57+ κ1.source = μ,

58+ θ.readFile = String -> ξ,

59+ ρ.lines = ο,

60+ λ1.bool = μ1

61+) =>

62+α -> {config = ν; options = {services = {nscd = {config = π; enable = ν1;};};};}

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

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

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

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.optionals = Bool -> [ε] -> ζ,

44 η.meta = β,

55 η.src = θ,

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

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

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

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.meta = β,

44 δ.minimumOCamlVersion = ε,

55 δ.src = ζ,

test/golden/importless/platform-flags.txt+1−1

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

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

2−( {} // α ~ β,

2+( ({}) // (α) ~ (β),

33 γ.?platform = δ,

44 ε.?arch = ζ,

55 η.?cpu = θ,

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

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

11∀ β γ δ ε ζ η θ ι.

2−( β // {description = String; longDescription = String;} ~ γ,

2+( (β) // ({description = String; longDescription = String;}) ~ (γ),

33 δ.mkDerivation =

44 { buildPhase = String;

55 dontConfigure = Bool;

test/golden/importless/prison.txtdeleted−17

@@ -1,17 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− libdmtx = η;

5− mkDerivation =

6− { buildInputs = [η];

7− meta = {broken = Bool; maintainers = [ε];};

8− name = String;

9− nativeBuildInputs = [ζ];

10− outputs = [String];

11− propagatedBuildInputs = [γ];

12− } ->

13− θ;

14− qrencode = η;

15− qtbase = γ;

16−} ->

17−θ

test/golden/importless/qtModule.txt+17−14

@@ -1,18 +1,21 @@

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

2−( β //

3− { meta = ∀ α. α;

4− name = String;

5− nativeBuildInputs = [γ];

6− outputs = [String];

7− patches = [δ];

8− postFixup = String;

9− preConfigure = String;

10− preHook = String;

11− propagatedBuildInputs = [ε];

12− setOutputFlags = Bool;

13− src = ζ;

14− } ~

15− η,

2+( ( β

3+ ) //

4+ ( { meta = ∀ α. α;

5+ name = String;

6+ nativeBuildInputs = [γ];

7+ outputs = [String];

8+ patches = [δ];

9+ postFixup = String;

10+ preConfigure = String;

11+ preHook = String;

12+ propagatedBuildInputs = [ε];

13+ setOutputFlags = Bool;

14+ src = ζ;

15+ }

16+ ) ~

17+ ( η

18+ ),

1619 β.?meta = {},

1720 β.?nativeBuildInputs = [γ],

1821 β.?outputs = [String],

test/golden/importless/rebar3-release.txt+19−16

@@ -1,20 +1,23 @@

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

2−( β // γ ~ {buildInputs = [δ]; name = String;},

3− { buildInputs = [ε];

4− buildPhase = String;

5− configurePhase = String;

6− dontStrip = Bool;

7− installPhase = String;

8− meta = ∀ α. α;

9− name = String;

10− passthru = {env = ζ; packageName = η;};

11− propagatedBuildInputs = [Null];

12− setupHook = θ;

13− src = ι;

14− version = κ;

15− } //

16− λ ~

17− γ,

2+( (β) // (γ) ~ ({buildInputs = [δ]; name = String;}),

3+ ( { buildInputs = [ε];

4+ buildPhase = String;

5+ configurePhase = String;

6+ dontStrip = Bool;

7+ installPhase = String;

8+ meta = ∀ α. α;

9+ name = String;

10+ passthru = {env = ζ; packageName = η;};

11+ propagatedBuildInputs = [Null];

12+ setupHook = θ;

13+ src = ι;

14+ version = κ;

15+ }

16+ ) //

17+ ( λ

18+ ) ~

19+ ( γ

20+ ),

1821 β.?buildInputs = [ε],

1922 β.?buildPhase = Null,

2023 β.?checkouts = Null,

test/golden/importless/rng-mirage.txt+1−1

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

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

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.meta = β,

44 δ.minimumOCamlVersion = ε,

55 δ.src = ζ,

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

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

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

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.meta = β,

44 δ.minimumOCamlVersion = ε,

55 δ.src = ζ,

test/golden/importless/sage-env.txt+1−1

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

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

2−( α // {lib = β;} ~ γ,

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

33 δ.cc = String,

44 ε.makeBinPath = [String] -> ζ,

55 η.bintools = String,

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

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

11∀ β γ.

2−(β // {meta = {hydraPlatforms = ∀ α. [α];};} ~ γ) => { fetchFromGitHub =

2+((β) // ({meta = {hydraPlatforms = ∀ α. [α];};}) ~ (γ)) => { fetchFromGitHub =

33 { name = String;

44 owner = String;

55 repo = String;

test/golden/importless/sdk-pkgs.txt+13−10

@@ -1,14 +1,17 @@

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

2−( β //

3− { sdk =

4− { name = String;

5− outPath = String;

6− platform = γ;

7− type = String;

8− version = δ;

9− };

10− } ~

11− ε,

2+( ( β

3+ ) //

4+ ( { sdk =

5+ { name = String;

6+ outPath = String;

7+ platform = γ;

8+ type = String;

9+ version = δ;

10+ };

11+ }

12+ ) ~

13+ ( ε

14+ ),

1215 ζ.sdkVer = δ,

1316 ζ.xcodePlatform = γ,

1417 η.lib = θ,

test/golden/importless/shadow.txt+11−8

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

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

2−( { newgidmap = {source = String;};

3− newgrp = {source = String;};

4− newuidmap = {source = String;};

5− sg = {source = String;};

6− su = {source = String;};

7− } //

8− β ~

9− γ,

2+( ( { newgidmap = {source = String;};

3+ newgrp = {source = String;};

4+ newuidmap = {source = String;};

5+ sg = {source = String;};

6+ su = {source = String;};

7+ }

8+ ) //

9+ ( β

10+ ) ~

11+ ( γ

12+ ),

1013 δ.config = ε,

1114 δ.lib = ζ,

1215 δ.pkgs = η,

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

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

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

2−( β // γ ~ δ,

2+( (β) // (γ) ~ (δ),

33 ε.optional = ζ -> η -> [θ],

44 ε.optionalAttrs = ι -> {dontAutoPatchelf = Bool;} -> γ,

55 κ.isLinux = Bool,

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

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

11∀ β γ δ ε ζ η θ ι.

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.meta = β,

44 δ.src = ε,

55 δ.useDune2 = ζ,

test/golden/importless/softmaker_office.txt+12−9

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

11∀ α β γ δ.

2−( α //

3− { archive = String;

4− edition = String;

5− pname = String;

6− src = β;

7− suiteName = String;

8− version = String;

9− } ~

10− γ,

2+( ( α

3+ ) //

4+ ( { archive = String;

5+ edition = String;

6+ pname = String;

7+ src = β;

8+ suiteName = String;

9+ version = String;

10+ }

11+ ) ~

12+ ( γ

13+ ),

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

1215 α.callPackage = String -> γ -> δ,

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

test/golden/importless/solid.txtdeleted−20

@@ -1,20 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { bison = ζ;

3− extra-cmake-modules = ζ;

4− flex = ζ;

5− lib = α;

6− media-player-info = ζ;

7− mkDerivation =

8− { buildInputs = [η];

9− meta = {broken = Bool; maintainers = [ε];};

10− name = String;

11− nativeBuildInputs = [ζ];

12− propagatedBuildInputs = [γ];

13− propagatedUserEnvPkgs = [ζ];

14− } ->

15− θ;

16− qtbase = γ;

17− qtdeclarative = η;

18− qttools = η;

19−} ->

20−θ

test/golden/importless/sonnet.txtdeleted−16

@@ -1,16 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− hunspell = η;

4− lib = α;

5− mkDerivation =

6− { buildInputs = [η];

7− meta = {broken = Bool; maintainers = [ε];};

8− name = String;

9− nativeBuildInputs = [ζ];

10− propagatedBuildInputs = [γ];

11− } ->

12− θ;

13− qtbase = γ;

14− qttools = η;

15−} ->

16−θ

test/golden/importless/squeezelite.txt+14−12

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

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

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

22( α.config = β,

33 α.lib = γ,

44 α.pkgs = δ,

55 β.services = ε,

6− γ.mkEnableOption = String -> ζ,

6+ γ.builtins = ζ,

7+ γ.mkEnableOption = String -> η,

78 γ.mkIf =

8− η ->

9+ θ ->

910 { systemd =

1011 { services =

1112 { squeezelite =

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

1415 serviceConfig =

1516 { DynamicUser = Bool;

1617 ExecStart = String;

17− StateDirectory = String;

18+ StateDirectory = ι;

1819 SupplementaryGroups = String;

1920 };

2021 wantedBy = [String];

@@ -22,14 +23,15 @@

2223 };

2324 };

2425 } ->

25− θ,

26− γ.mkOption = {default = String; description = String; type = ι;} -> κ,

27− γ.types = λ,

28− ε.squeezelite = μ,

29− μ.enable = η,

30− λ.str = ι

26+ κ,

27+ γ.mkOption = {default = String; description = String; type = λ;} -> μ,

28+ γ.types = ν,

29+ ε.squeezelite = ξ,

30+ ξ.enable = θ,

31+ ζ.baseNameOf = String -> ι,

32+ ν.str = λ

3133) =>

3234α ->

33−{ config = θ;

34− options = {services = {squeezelite = {enable = ζ; extraArguments = κ;};};};

35+{ config = κ;

36+ options = {services = {squeezelite = {enable = η; extraArguments = μ;};};};

3537}

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

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

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

2−( β // {meta = ∀ α. α;} ~ γ,

3− δ // {description = String;} ~ ε,

2+( (β) // ({meta = ∀ α. α;}) ~ (γ),

3+ (δ) // ({description = String;}) ~ (ε),

44 ζ.?postPatch = String,

55 η.lib = θ,

66 ι.meta = δ,

test/golden/importless/syntax-highlighting.txtdeleted−16

@@ -1,16 +0,0 @@

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

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { buildInputs = [η];

6− meta = {broken = Bool; maintainers = [ε];};

7− name = String;

8− nativeBuildInputs = [ζ];

9− propagatedBuildInputs = [γ];

10− } ->

11− θ;

12− perl = ζ;

13− qtbase = γ;

14− qttools = η;

15−} ->

16−θ

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

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

11∀ β γ δ ε ζ η.

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.meta = β,

44 δ.src = ε,

55 δ.version = ζ

test/golden/importless/threadweaver.txtdeleted−14

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

1−∀ α β γ δ ε ζ η.

2−(α.maintainers = β, γ.version = δ, β.ttuegel = ε) => { extra-cmake-modules = ζ;

3− lib = α;

4− mkDerivation =

5− { meta = {broken = Bool; maintainers = [ε];};

6− name = String;

7− nativeBuildInputs = [ζ];

8− outputs = [String];

9− propagatedBuildInputs = [γ];

10− } ->

11− η;

12− qtbase = γ;

13−} ->

14−η

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

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

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

2−( β // {description = String;} ~ γ,

2+( (β) // ({description = String;}) ~ (γ),

33 δ.optional = Bool -> ε -> ζ,

44 η.meta = β,

55 η.src = θ,

test/golden/importless/updateSettings.txtdeleted−12

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

1−∀ α β γ δ ε.

2−(α.optionalString = Bool -> String -> β) => { jq = γ;

3− lib = α;

4− writeShellScriptBin = String -> δ -> ε;

5−} ->

6−{ createIfDoesNotExists = Bool;

7− settings = {};

8− symlinkFromUserSetting = Bool;

9− userSettingsFolder = String;

10− vscodeSettingsFile = String;

11−} ->

12−ε

test/golden/importless/x32edit.txt+11−8

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

11∀ α β γ.

2−( α //

3− { brand = String;

4− homepage = String;

5− sha256 = String;

6− type = String;

7− version = String;

8− } ~

9− β,

2+( ( α

3+ ) //

4+ ( { brand = String;

5+ homepage = String;

6+ sha256 = String;

7+ type = String;

8+ version = String;

9+ }

10+ ) ~

11+ ( β

12+ ),

1013 α.callPackage = String -> β -> γ

1114) =>

1215α -> γ

test/golden/importless/xmpp-alerts.txtnew file+54

@@ -0,0 +1,54 @@

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

2+( α.config = β,

3+ α.lib = γ,

4+ α.pkgs = δ,

5+ β.services = ε,

6+ γ.builtins = ζ,

7+ γ.cfg = η,

8+ γ.mkEnableOption = String -> θ,

9+ γ.mkIf =

10+ ι ->

11+ { systemd =

12+ { services =

13+ { prometheus-xmpp-alerts =

14+ { after = [String];

15+ serviceConfig =

16+ { DynamicUser = Bool;

17+ ExecStart = String;

18+ NoNewPrivileges = Bool;

19+ PrivateDevices = Bool;

20+ PrivateTmp = Bool;

21+ ProtectControlGroups = Bool;

22+ ProtectHome = Bool;

23+ ProtectKernelModules = Bool;

24+ ProtectKernelTunables = Bool;

25+ ProtectSystem = String;

26+ Restart = String;

27+ RestrictAddressFamilies = [String];

28+ SystemCallArchitectures = String;

29+ SystemCallFilter = [String];

30+ };

31+ wantedBy = [String];

32+ wants = [String];

33+ };

34+ };

35+ };

36+ } ->

37+ κ,

38+ γ.mkOption = {description = String; type = λ;} -> μ,

39+ γ.types = ν,

40+ δ.writeText = String -> ξ -> ο,

41+ ζ.toJSON = π -> ξ,

42+ η.configuration = π,

43+ ε.prometheus = ρ,

44+ ρ.xmpp-alerts = σ,

45+ σ.enable = ι,

46+ ν.attrs = λ

47+) =>

48+α ->

49+{ config = κ;

50+ options =

51+ { services =

52+ {prometheus = {xmpp-alerts = {configuration = μ; enable = θ;};};};

53+ };

54+}

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

@@ -1 +1 @@

1−∀ α β γ. (α // {a = Number;} ~ β, α.f = β -> γ) => α -> γ

1+∀ α β γ. ((α) // ({a = Number;}) ~ (β), α.f = β -> γ) => α -> γ