<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Aug 22, 2016 at 8:58 PM, Jed Brown <span dir="ltr"><<a href="mailto:jed@jedbrown.org" target="_blank">jed@jedbrown.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Matthew Knepley <<a href="mailto:knepley@gmail.com">knepley@gmail.com</a>> writes:<br>
> Not hard. We just add a flag to each value that is flipped on lookup,<br>
> like PETSc.<br>
<br>
It would be nice to be able to offer suggestions for options that<br>
BuildSystem queries.  For that, we need the set of command line options<br>
and the set of options that BuildSystem checked.  We can get that by<br>
having RDict implement __missing__(self, key) to consult an immutable<br>
dict of the direct command line options and logging the query.<br></blockquote><div><br></div><div>Let me rephrase in order to see if I understand you. Suppose the code</div><div>checks for an option that has no value. We currently interactively prompt</div><div>for a value. You would also like us to suggest that one of the original options</div><div>which is close to this was misspelled. This is not hard. However,</div><div><br></div><div>  1) If the option has a default value, then we cannot see that it is missing,</div><div><br></div><div>  2) Those options should turn up in the unused list however</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Is it feasible to check all the options by some point meaningfully<br>
sooner than the entire configure execution?  It really sucks to wait<br>
many minutes for configure to complete only to find out that you<br>
misspelled an option.  Getting that error message up-front would be a<br>
huge usability improvement.<br></blockquote><div><br></div><div>Right now, I am not sure how you would guarantee that the option would not</div><div>be used in the ensuing run.</div><div><br></div><div>   Matt</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
> Put it in the Issues.</blockquote></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>-- Norbert Wiener</div>
</div></div>