1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-25 14:51:16 +02:00

* Fix a few warnings.

This commit is contained in:
Eelco Dolstra 2006-08-04 17:07:13 +00:00
parent dcff8cdb76
commit 1854f84e83
4 changed files with 5 additions and 5 deletions

View file

@ -130,7 +130,7 @@ Expr substitute(const Substitution & subs, Expr e)
/* In case of a function, filter out all variables bound by this
function. */
ATermList formals;
ATerm body, def;
ATerm body;
if (matchFunction(e, formals, body, pos)) {
ATermMap map(ATgetLength(formals));
for (ATermIterator i(formals); i; ++i) {
@ -227,7 +227,7 @@ static void checkVarDefs2(set<Expr> & done, const ATermMap & defs, Expr e)
for (ATermIterator i(formals); i; ++i) {
ATerm valids, deflt;
set<Expr> done2;
matchFormal(*i, name, valids, deflt);
if (!matchFormal(*i, name, valids, deflt)) abort();
checkVarDefs2(done, defs, valids);
checkVarDefs2(done2, defs2, deflt);
}