lix/lix
eldritch horrors 61eed2c97c libexpr: fully separate evaluator and running evaluation
this finally gives us a witness type we can use to prove that a certain
call graph subtree can't be used in kj promises using only a single new
assumption: if EvalState& is never held as a reference member of a type
and instead only ever passes as an argument or held on the stack we can
be certain that anything that has access to en EvalState ref must never
be run inside a promise and, crucially, that anything that doesn't have
access to an EvalState& *can* be run inside a promise without problems.

Change-Id: I6c15ada479175ad7e6cd3e4a729a5586b3ba30d6
2024-12-05 13:30:35 +00:00
..
asan-options fix tooling after include reorganization 2024-11-19 22:55:32 +00:00
code-generation fix tooling after include reorganization 2024-11-19 22:55:32 +00:00
legacy libexpr: fully separate evaluator and running evaluation 2024-12-05 13:30:35 +00:00
libcmd libexpr: fully separate evaluator and running evaluation 2024-12-05 13:30:35 +00:00
libexpr libexpr: fully separate evaluator and running evaluation 2024-12-05 13:30:35 +00:00
libfetchers fix tooling after include reorganization 2024-11-19 22:55:32 +00:00
libmain cli infra: modernize legacy command interface 2024-11-20 14:17:02 +00:00
libstore libstore: remove an unused function 2024-11-20 14:17:02 +00:00
libutil libexpr: extract eval error creation into new type 2024-12-03 20:38:41 +01:00
lix-doc fix tooling after include reorganization 2024-11-19 22:55:32 +00:00
nix libexpr: fully separate evaluator and running evaluation 2024-12-05 13:30:35 +00:00
pch fix tooling after include reorganization 2024-11-19 22:55:32 +00:00
lix-base.pc.in fix tooling after include reorganization 2024-11-19 22:55:32 +00:00
meson.build fix tooling after include reorganization 2024-11-19 22:55:32 +00:00