about summary refs log tree commit diff
path: root/src/libexpr/eval.cc
AgeCommit message (Collapse)AuthorFilesLines
2010-10-22 * Store Value nodes outside of attribute sets. I.e., Attr now storesEelco Dolstra1-41/+56
a pointer to a Value, rather than the Value directly. This improves the effectiveness of garbage collection a lot: if the Value is stored inside the set directly, then any live pointer to the Value causes all other attributes in the set to be live as well.
2010-10-22 * Make building against the Boehm GC a configure option.Eelco Dolstra1-5/+18
2010-10-20 * Keep some more stats.Eelco Dolstra1-0/+9
2010-10-20 * Use the Boehm garbage collector to reclaim unused memory in the NixEelco Dolstra1-9/+14
expression evaluator.
2010-08-27 * Oops - "null" was displayed as "true".Eelco Dolstra1-1/+1
2010-08-02 * Optimisation in the // operator: if one of the sets is empty, returnEelco Dolstra1-6/+8
the other set.
2010-06-10 * builtins.toXML: propagate the string context. This is a regressionEelco Dolstra1-5/+9
from the old ATerm-based evaluator.
2010-06-02 (no commit message)Eelco Dolstra1-0/+1
2010-05-18 * The << operator on values should be const.Eelco Dolstra1-1/+1
2010-05-15 * Restore the __overrides feature that was lost somewhere in theEelco Dolstra1-2/+19
fast-eval branch.
2010-05-12 * Print attributes in sorted order.Eelco Dolstra1-2/+7
2010-05-07 * Store position info for inherited attributes.Eelco Dolstra1-10/+12
2010-05-07 * Keep track of the source positions of attributes.Eelco Dolstra1-22/+37
2010-05-06 * Store attribute positions in the AST and report duplicate attributeEelco Dolstra1-13/+3
errors with position info. * For all positions, use the position of the first character of the first token, rather than the last character of the first token plus one.
2010-04-22 * Simplify the implementation of `with'. This gives a 7% speedup inEelco Dolstra1-25/+9
evaluating the NixOS system configuration.
2010-04-22 * String equality tests should take the context into account. All theEelco Dolstra1-3/+11
evaluation test cases now succeed.
2010-04-21 * Fixed builtins.genericClosure.Eelco Dolstra1-3/+7
2010-04-21 * Store user environment manifests as a Nix expression inEelco Dolstra1-2/+9
$out/manifest.nix rather than as an ATerm. (Hm, I thought I committed this two days ago...)
2010-04-16 * Updated some more primops.Eelco Dolstra1-10/+13
2010-04-16 * Improve sharing a bit.Eelco Dolstra1-4/+7
2010-04-16 * Remove some redundant tests.Eelco Dolstra1-3/+3
2010-04-16 * In an nested `with' where the inner with is a variable (`with ...;Eelco Dolstra1-1/+7
with someVar; ...'), the contents of the variable would be clobbered. (The attributes in the outer `with' were added to the variable.)
2010-04-15 * Store lists as lists of pointers to values rather than as lists ofEelco Dolstra1-16/+17
values. This improves sharing and gives another speed up. Evaluation of the NixOS system attribute is now almost 7 times faster than the old evaluator.
2010-04-14 * Better stats.Eelco Dolstra1-4/+13
2010-04-14 * Implemented inherit.Eelco Dolstra1-18/+12
2010-04-14 * Fix builtins.Eelco Dolstra1-11/+9
2010-04-14 * Refactoring: move variable uses to a separate class.Eelco Dolstra1-29/+13
2010-04-14 * Implemented withs.Eelco Dolstra1-14/+23
2010-04-14 * After parsing, compute level/displacement pairs for each variableEelco Dolstra1-36/+55
use site, allowing environments to be stores as vectors of values rather than maps. This should speed up evaluation and reduce the number of allocations.
2010-04-14 * Change the semantics of "with" so that inner "withs" takeEelco Dolstra1-23/+2
precedence, i.e. `with {x=1;}; with {x=2;}; x' evaluates to 2'. This has a simpler implementation and seems more natural. There doesn't seem to be any code in Nixpkgs or NixOS that relies on the old behaviour.
2010-04-13 * Use std::tr1::unordered_set instead of std::set for the symbolEelco Dolstra1-0/+1
table. This gives a 10% speed increase on `nix-instantiate /etc/nixos/nixos -A system --readonly-mode'.
2010-04-13 * Evaluate lets directly (i.e. without desugaring to `rec { attrs...;Eelco Dolstra1-0/+25
<let-body> = e; }.<let-body>). This prevents the unnecessary allocation of an attribute set.
2010-04-13 * Use a symbol table to represent identifiers and attribute namesEelco Dolstra1-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 Dolstra1-3/+30
2010-04-12 * Indented strings.Eelco Dolstra1-0/+6
2010-04-12 * More missing constructs.Eelco Dolstra1-69/+59
2010-04-12 * Don't use ATerms for the abstract syntax trees anymore. NotEelco Dolstra1-223/+244
finished yet.
2010-04-12 * Hack to support builderDefs expressions.Eelco Dolstra1-1/+7
2010-04-12 * Doh.Eelco Dolstra1-1/+1
2010-04-09 * Keep more statistics about stack space usage.Eelco Dolstra1-39/+66
* Reduce stack space usage.
2010-04-08 * Remove a lot of dead code.Eelco Dolstra1-492/+8
2010-04-08 * Fix blackholing. If evaluation fails due to an assertion failure,Eelco Dolstra1-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 Dolstra1-27/+37
2010-04-07 * Implemented the primops necessary for generating the NixOS manual.Eelco Dolstra1-24/+28
2010-04-06 * In eval(), don't use the target value `v' as a temporary.Eelco Dolstra1-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 onEelco Dolstra1-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 Dolstra1-3/+2
2010-04-01 * Functions are incomparable.Eelco Dolstra1-6/+13
2010-04-01 * Make `derivation' lazy again for performance. It also turns outEelco Dolstra1-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 Dolstra1-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).