From c11839d7b24993f9639d59f9fa3420e8ccc22e02 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Fri, 28 Jul 2006 14:01:29 +0000 Subject: * `nix-instantiate --print-args': print out the valid values for functions arguments that have a domain. --- src/nix-instantiate/main.cc | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'src/nix-instantiate') diff --git a/src/nix-instantiate/main.cc b/src/nix-instantiate/main.cc index 963e81bac4f7..857aeaa24798 100644 --- a/src/nix-instantiate/main.cc +++ b/src/nix-instantiate/main.cc @@ -44,9 +44,17 @@ static void printResult(EvalState & state, Expr e, ATerm body, pos; if (matchFunction(e, formals, body, pos)) { for (ATermIterator i(formals); i; ++i) { - Expr name; ATerm d1, d2; - if (!matchFormal(*i, name, d1, d2)) abort(); - cout << format("%1%\n") % aterm2String(name); + Expr name; ValidValues valids; ATerm dummy; + if (!matchFormal(*i, name, valids, dummy)) abort(); + cout << format("%1%: ") % aterm2String(name); + ATermList valids2; + if (matchValidValues(valids, valids2)) { + for (ATermIterator j(valids2); j; ++j) { + Expr e = evalExpr(state, *j); + cout << format("%1% ") % showValue(e); + } + } + cout << format("\n"); } } else printMsg(lvlError, "warning: expression does not evaluate to a function"); -- cgit 1.4.1