6d6200f37a
* Optimisation in the // operator: if one of the sets is empty, return
...
the other set.
2010-08-02 16:31:05 +00:00
f16fe2af8d
* builtins.toXML: propagate the string context. This is a regression
...
from the old ATerm-based evaluator.
2010-06-10 10:29:50 +00:00
1ab67cf437
2010-06-02 09:43:04 +00:00
93cd5a4a13
* The << operator on values should be const.
2010-05-18 10:36:37 +00:00
b2235d81d1
* Restore the __overrides feature that was lost somewhere in the
...
fast-eval branch.
2010-05-15 08:10:12 +00:00
bd25ac2260
* Print attributes in sorted order.
2010-05-12 12:15:49 +00:00
01e58adce0
* Store position info for inherited attributes.
2010-05-07 12:43:57 +00:00
e2d5e40f4f
* Keep track of the source positions of attributes.
2010-05-07 12:11:05 +00:00
84ce7ac76f
* Store attribute positions in the AST and report duplicate attribute
...
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-05-06 16:46:48 +00:00
0bc468f195
* Simplify the implementation of `with'. This gives a 7% speedup in
...
evaluating the NixOS system configuration.
2010-04-22 15:08:09 +00:00
2d7636529f
* String equality tests should take the context into account. All the
...
evaluation test cases now succeed.
2010-04-22 09:54:11 +00:00
0777448ca6
* Fixed builtins.genericClosure.
2010-04-21 15:57:11 +00:00
fe2d869e04
* Store user environment manifests as a Nix expression in
...
$out/manifest.nix rather than as an ATerm.
(Hm, I thought I committed this two days ago...)
2010-04-21 15:08:58 +00:00
5c31995bb8
* Updated some more primops.
2010-04-16 15:13:47 +00:00
8ca4a001cb
* Improve sharing a bit.
2010-04-16 14:03:26 +00:00
497e4ad126
* Remove some redundant tests.
2010-04-16 13:51:01 +00:00
02c1dac909
* In an nested `with' where the inner with is a variable (`with ...;
...
with someVar; ...'), the contents of the variable would be
clobbered. (The attributes in the outer `with' were added to the
variable.)
2010-04-16 13:44:02 +00:00
04c4bd3624
* Store lists as lists of pointers to values rather than as lists of
...
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-15 00:37:36 +00:00
e41b5828db
* Better stats.
2010-04-14 23:48:46 +00:00
d39d3c6264
* Implemented inherit.
2010-04-14 23:25:05 +00:00
267dc693d2
* Fix builtins.
2010-04-14 22:59:39 +00:00
81de12bc8f
* Refactoring: move variable uses to a separate class.
2010-04-14 15:14:23 +00:00
110d155778
* Implemented withs.
2010-04-14 15:01:04 +00:00
9985230c00
* After parsing, compute level/displacement pairs for each variable
...
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 14:42:32 +00:00
85d13c8f93
* Change the semantics of "with" so that inner "withs" take
...
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-14 08:37:08 +00:00
816f9c0f6f
* Use std::tr1::unordered_set instead of std::set for the symbol
...
table. This gives a 10% speed increase on `nix-instantiate
/etc/nixos/nixos -A system --readonly-mode'.
2010-04-13 14:34:11 +00:00
7d47498b5e
* Evaluate lets directly (i.e. without desugaring to `rec { attrs...;
...
<let-body> = e; }.<let-body>). This prevents the unnecessary
allocation of an attribute set.
2010-04-13 13:42:25 +00:00
ac1e8f40d4
* Use a symbol table to represent identifiers and attribute names
...
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-13 12:25:42 +00:00
10e8b1fd15
* Finished the ATerm-less parser.
2010-04-12 23:33:23 +00:00
d4f0b0fc6c
* Indented strings.
2010-04-12 22:03:27 +00:00
a60317f20f
* More missing constructs.
2010-04-12 21:21:24 +00:00
4d6ad5be17
* Don't use ATerms for the abstract syntax trees anymore. Not
...
finished yet.
2010-04-12 18:30:11 +00:00
db90b88e65
* Hack to support builderDefs expressions.
2010-04-12 09:50:20 +00:00
4e49002576
* Doh.
2010-04-12 09:45:00 +00:00
f3dc7ab877
* Keep more statistics about stack space usage.
...
* Reduce stack space usage.
2010-04-09 12:00:49 +00:00
b7b3dd55f9
* Remove a lot of dead code.
2010-04-08 11:41:19 +00:00
7e048eddf5
* Fix blackholing. If evaluation fails due to an assertion failure,
...
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-08 11:25:14 +00:00
af2a372bb0
* Update autoCallFunction() and findAlongAttrPath().
2010-04-07 15:47:06 +00:00
fc92244ba8
* Implemented the primops necessary for generating the NixOS manual.
2010-04-07 13:55:46 +00:00
a353aef0b1
* In eval(), don't use the target value `v' as a temporary.
...
Overwriting `v' breaks when the expression evaluation to an
assertion failure or throw.
2010-04-06 14:15:29 +00:00
c172274e17
* Quick hack to make coerceToString work more or less correctly on
...
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 14:35:03 +00:00
7b851915bf
* Improve sharing.
2010-04-01 12:04:57 +00:00
95cc417d76
* Functions are incomparable.
2010-04-01 10:55:36 +00:00
71f026292b
* Make `derivation' lazy again for performance. It also turns out
...
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-04-01 09:55:57 +00:00
dc31305b38
* Fixed the trace primop and path comparison.
...
* 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 20:09:20 +00:00
979f163615
* Handle string contexts. `nix-instantiate' can now correctly compute
...
the `firefoxWrapper' attribute in Nixpkgs, and it's about 3 times
faster than the trunk :-)
2010-03-31 19:52:29 +00:00
55e207b2dc
* Cache parse trees to prevent repeated parsing of imported Nix
...
expressions.
2010-03-31 16:14:32 +00:00
3d94be61ea
* Implemented derivations.
2010-03-31 15:38:03 +00:00
13c2adc897
* Implemented `rec { inherit ...; }'.
2010-03-31 11:05:39 +00:00
4c53ca2692
* Compare nulls.
2010-03-31 09:54:12 +00:00
Eelco Dolstra