[Clops-users] mutual overriding

[Mikoláš J. <mik...@gm...>]

I was just looking at svn and gzip and both contain the same pattern,
(realized differently):
-- gzip
      quiet -> verbose:={0};
        verbose -> quiet:={false};
-- svn
    quiet { $(verbose?) } -> verbose := { false };
    verbose { $(quiet?) } -> quiet := { false };

Both of them are wrong as the triggering variable might be set to
false instead of true, so I guess it should be
   quiet { $(verbose?) && $(quiet) } -> verbose := { false };
or
   quiet { $(quiet) } -> verbose := { false };

Suggestions?

 I know we can do allowarg=false, but I don't like that solution that much.


-- 
Mikoláš