Work log 2016-09-05

Posted on by Chris Warburton

Added env var NIX_EVAL_EXTRA_IMPORTS which adds extra packages & modules to reduce-equations’s use of nix-eval.

For example:


This should be moved to nix-eval, as well as reduce-equations’ use of TypedExpr.

We use this new variable to set NIX_EVAL_EXTRA_IMPORTS='[("tip-benchmark-sig", "A")]' since that contains our tip-derived types.

Got mlspecBench to run, although reduce-equations doesn’t output JSON :(

We can cross that bridge if/when we come to it.

For now priorities are: