diff --git a/src/libexpr/primops.cc b/src/libexpr/primops.cc index c721a5681..2da15b3c5 100644 --- a/src/libexpr/primops.cc +++ b/src/libexpr/primops.cc @@ -383,6 +383,15 @@ static void prim_getEnv(EvalState & state, const Pos & pos, Value * * args, Valu } +/* Evaluate the first argument, then return the second argument. */ +void prim_seq(EvalState & state, const Pos & pos, Value * * args, Value & v) +{ + state.forceValue(*args[0]); + state.forceValue(*args[1]); + v = *args[1]; +} + + /* Evaluate the first expression and print it on standard error. Then return the second expression. Useful for debugging. */ static void prim_trace(EvalState & state, const Pos & pos, Value * * args, Value & v) @@ -1424,6 +1433,9 @@ void EvalState::createBaseEnv() addPrimOp("__tryEval", 1, prim_tryEval); addPrimOp("__getEnv", 1, prim_getEnv); + // Strictness + addPrimOp("__seq", 2, prim_seq); + // Debugging addPrimOp("__trace", 2, prim_trace); addPrimOp("__gcCanary", 1, prim_gcCanary); diff --git a/tests/lang/eval-fail-seq.nix b/tests/lang/eval-fail-seq.nix new file mode 100644 index 000000000..cddbbfd32 --- /dev/null +++ b/tests/lang/eval-fail-seq.nix @@ -0,0 +1 @@ +builtins.seq (abort "foo") 2 diff --git a/tests/lang/eval-okay-seq.exp b/tests/lang/eval-okay-seq.exp new file mode 100644 index 000000000..0cfbf0888 --- /dev/null +++ b/tests/lang/eval-okay-seq.exp @@ -0,0 +1 @@ +2 diff --git a/tests/lang/eval-okay-seq.nix b/tests/lang/eval-okay-seq.nix new file mode 100644 index 000000000..0a9a21c03 --- /dev/null +++ b/tests/lang/eval-okay-seq.nix @@ -0,0 +1 @@ +builtins.seq 1 2