depot - monorepo for the virus lounge

Age	Commit message (Collapse)	Author	Files	Lines
2010-04-13	* Use a symbol table to represent identifiers and attribute names	Eelco Dolstra	1	-19/+26
	efficiently. The symbol table ensures that there is only one copy of each symbol, thus allowing symbols to be compared efficiently using a pointer equality test.
2010-04-12	* Finished the ATerm-less parser.	Eelco Dolstra	1	-3/+30

2010-04-12	* Indented strings.	Eelco Dolstra	1	-0/+6

2010-04-12	* More missing constructs.	Eelco Dolstra	1	-69/+59

2010-04-12	* Don't use ATerms for the abstract syntax trees anymore. Not	Eelco Dolstra	1	-223/+244
	finished yet.
2010-04-12	* Hack to support builderDefs expressions.	Eelco Dolstra	1	-1/+7

2010-04-12	* Doh.	Eelco Dolstra	1	-1/+1

2010-04-09	* Keep more statistics about stack space usage.	Eelco Dolstra	1	-39/+66
	* Reduce stack space usage.
2010-04-08	* Remove a lot of dead code.	Eelco Dolstra	1	-492/+8

2010-04-08	* Fix blackholing. If evaluation fails due to an assertion failure,	Eelco Dolstra	1	-2/+8
	then the blackhole has to be removed to ensure that repeated evaluation of the same value gives an assertion failure again rather than an "infinite recursion" error.
2010-04-07	* Update autoCallFunction() and findAlongAttrPath().	Eelco Dolstra	1	-27/+37

2010-04-07	* Implemented the primops necessary for generating the NixOS manual.	Eelco Dolstra	1	-24/+28

2010-04-06	* In eval(), don't use the target value `v' as a temporary.	Eelco Dolstra	1	-13/+17
	Overwriting `v' breaks when the expression evaluation to an assertion failure or throw.
2010-04-01	* Quick hack to make coerceToString work more or less correctly on	Eelco Dolstra	1	-1/+4
	nested lists. `nix-instantiate' can now evaluate the NixOS system derivation attribute correctly (in 2.1s on my laptop vs. 6.2s for the trunk).
2010-04-01	* Improve sharing.	Eelco Dolstra	1	-3/+2

2010-04-01	* Functions are incomparable.	Eelco Dolstra	1	-6/+13

2010-04-01	* Make `derivation' lazy again for performance. It also turns out	Eelco Dolstra	1	-9/+1
	that there are some places in Nixpkgs (php_configurable / composableDerivation, it seems) that call `derivation' with incorrect arguments (namely, the `name' attribute missing) but get away with it because of laziness.
2010-03-31	* Fixed the trace primop and path comparison.	Eelco Dolstra	1	-0/+3
	* Removed exprToString and stringToExpr because there is no ATerm representation to work on anymore (and exposing the internals of the evaluator like this is not a good idea anyway).
2010-03-31	* Handle string contexts. `nix-instantiate' can now correctly compute	Eelco Dolstra	1	-63/+25
	the `firefoxWrapper' attribute in Nixpkgs, and it's about 3 times faster than the trunk :-)
2010-03-31	* Cache parse trees to prevent repeated parsing of imported Nix	Eelco Dolstra	1	-1/+8
	expressions.
2010-03-31	* Implemented derivations.	Eelco Dolstra	1	-10/+31

2010-03-31	* Implemented `rec { inherit ...; }'.	Eelco Dolstra	1	-0/+14

2010-03-31	* Compare nulls.	Eelco Dolstra	1	-2/+5

2010-03-30	* More primops.	Eelco Dolstra	1	-4/+9

2010-03-30	* More operators / primops.	Eelco Dolstra	1	-143/+105

2010-03-30	* More primops.	Eelco Dolstra	1	-128/+32

2010-03-30	* More primops.	Eelco Dolstra	1	-8/+24

2010-03-30	* Implemented `map'.	Eelco Dolstra	1	-100/+110

2010-03-30	* Make `import' work.	Eelco Dolstra	1	-33/+105

2010-03-29	* Started integrating the new evaluator.	Eelco Dolstra	1	-19/+545

2010-03-25	* Simplify @-patterns: only `{attrs}@name' or `name@{attrs}' are now	Eelco Dolstra	1	-10/+5
	allowed. So `name1@name2', `{attrs1}@{attrs2}' and so on are now no longer legal. This is no big loss because they were not useful anyway. This also changes the output of builtins.toXML for @-patterns slightly.
2009-05-12	* Allow unsafe (unspecified) comparisons between attrsets unless	Eelco Dolstra	1	-1/+7
	NIX_NO_UNSAFE_EQ is set, for now.
2009-05-11	* Disallow equality tests between attribute sets. This was always	Eelco Dolstra	1	-6/+42
	broken, but now the evaluator checks for it to prevent Nix expressions from relying on undefined behaviour. Equality tests are implemented using a shallow pointer equality test between ATerms. However, because attribute sets are lazy and contain position information, this can give false positives. For instance, previously let y = {x = 1;}; in y == y evaluated to true, while the equivalent expression {x = 1;} == {x = 1;} evaluated to false. So disallow these tests for now. (Eventually we may want to implement deep equality tests for attribute sets, like lib.eqStrict.) * Idem: disallow comparisons between functions. * Implemented deep comparisons of lists. This had the same problem as attribute sets - the elements in the list weren't evaluated. For instance, ["xy"] == [("x" + "y")] evaluated to false. Now it works properly.
2008-08-26	* Require that __overrides is defined as a non-recursive attribute	Eelco Dolstra	1	-1/+1
	(which means it can only be defined via "inherit"), otherwise we get scoping bugs, since __overrides can't be recursive (or at least, it would be hard).
2008-08-14	Fixing an obvious typo in override code. I do not know whether it works ↵	Michael Raskin	1	-1/+1
	correctly after the change, but at least it ca nbe compiled now.
2008-08-14	* Another experimental feature: a way to truly override attributes in	Eelco Dolstra	1	-2/+24
	a rec. This will be very useful to allow end-user customisation of all-packages.nix, for instance globally overriding GCC or some other dependency. The // operator doesn't cut it: you could replace the "gcc" attribute, but all other attributes would continue to reference the original value due to the substitution semantics of rec. The syntax is a bit hacky but this is to allow backwards compatibility.
2008-08-14	* Added an experimental feature suggested by Andres: ellipses ("...")	Eelco Dolstra	1	-5/+7
	in attribute set pattern matches. This allows defining a function that takes at least the listed attributes, while ignoring additional attributes. For instance, {stdenv, fetchurl, fuse, ...}: stdenv.mkDerivation { ... }; defines a function that requires an attribute set that contains the specified attributes but ignores others. The main advantage is that we can then write in all-packages.nix aefs = import ../bla/aefs pkgs; instead of aefs = import ../bla/aefs { inherit stdenv fetchurl fuse; }; This saves a lot of typing (not to mention not having to update all-packages.nix with purely mechanical changes). It saves as much typing as the "args: with args;" style, but has the advantage that the function arguments are properly declared (not implicit in what the body of the "with" uses).
2008-08-14	* @-patterns as in Haskell. For instance, in a function definition	Eelco Dolstra	1	-42/+47
	f = args @ {x, y, z}: ...; `args' refers to the argument as a whole, which is further pattern-matched against the attribute set pattern {x, y, z}.
2008-08-14	* Refactoring: combine functions that take an attribute set and	Eelco Dolstra	1	-70/+82
	functions that take a single argument (plain lambdas) into one AST node (Function) that contains a Pattern node describing the arguments. Current patterns are single lazy arguments (VarPat) and matching against an attribute set (AttrsPat). This refactoring allows other kinds of patterns to be added easily, such as Haskell-style @-patterns, or list pattern matching.
2008-08-11	* Removed the "valid values" feature. Nobody uses it anyway.	Eelco Dolstra	1	-44/+5

2008-07-24	* Print a better error message when a non-derivation attribute set is	Eelco Dolstra	1	-3/+10
	coerced to a string.
2007-05-16	* New builtin function "isFunction". You're not supposed to use it	Eelco Dolstra	1	-1/+1
	;-) * Channels: fix channels that are plain lists of derivations (like strategoxt-unstable) instead of functions (like nixpkgs-unstable). This fixes the error message "error: the left-hand side of the function call is neither a function nor a primop (built-in operation) but a list".
2007-04-16	* New primop "throw <string>" to throw an error. This is like abort,	Eelco Dolstra	1	-0/+3
	only thrown errors are caught by the top-level derivation evaluation in nix-env -qa / -i.
2007-02-27	* Greatly reduced the amount of stack space used by the Nix expression	Eelco Dolstra	1	-188/+274
	evaluator. This was important because the NixOS expressions started to hit 2 MB default stack size on Linux. GCC is really dumb about stack space: it just adds up all the local variables and temporaries of every scope into one huge stack frame. This is really bad for deeply recursive functions. For instance, every `throw Error(format("error message"))' causes a format object of a few hundred bytes to be allocated on the stack. As a result, every recursive call to evalExpr2() consumed 4680 bytes. By splitting evalExpr2() and by moving the exception-throwing code out of the main functions, evalExpr2() now only consumes 40 bytes. Similar for evalExpr().
2007-02-27	* When NIX_SHOW_STATS=1, show the amount of stack space consumed by	Eelco Dolstra	1	-2/+10
	the Nix expression evaluator.
2007-01-13	* Memoize strict evaluation.	Eelco Dolstra	1	-11/+28

2007-01-13	* Make printing an expression as XML interruptible.	Eelco Dolstra	1	-0/+4

2007-01-13	* Cleanup.	Eelco Dolstra	1	-6/+6

2006-12-01	* Merge addToStore and addToStoreFixed.	Eelco Dolstra	1	-1/+4
	* addToStore now adds unconditionally, it doesn't use readOnlyMode. Read-only operation is up to the caller (who can call computeStorePathForPath).
2006-11-30	* Refactoring. There is now an abstract interface class StoreAPI	Eelco Dolstra	1	-2/+2
	containing functions that operate on the Nix store. One implementation is LocalStore, which operates on the Nix store directly. The next step, to enable secure multi-user Nix, is to create a different implementation RemoteStore that talks to a privileged daemon process that uses LocalStore to perform the actual operations.