simon-git: spigot (master): Simon Tatham

[Commits to Tartarus CVS repository.]

TL;DR:
  bf1c67f New feature: 'tentative output'.

Repository:     git://git.tartarus.org/simon/spigot.git
On the web:     http://tartarus.org/~simon-git/gitweb/?p=spigot.git
Branch updated: master
Committer:      Simon Tatham <anakin at pobox.com>
Date:           2015-03-22 08:24:29

commit bf1c67f172e54f77a15632c7ef1d4d3e65d1d484
web diff http://tartarus.org/~simon-git/gitweb/?p=spigot.git;a=commitdiff;h=bf1c67f172e54f77a15632c7ef1d4d3e65d1d484;hp=c2fcdc3adad33fd54718d7b3ee7cc42c595e52ed
Author: Simon Tatham <anakin at pobox.com>
Date:   Sun Mar 22 08:12:35 2015 +0000

    New feature: 'tentative output'.
    
    This mitigates at least some of the annoying situations in which
    spigot can't compute an answer due to it being _too easy_; the example
    I've used throughout the docs is sin(asin(0.12345)). Previously, we
    printed 0.1234 and then dithered forever failing to compute the 5; now
    we print the 5 in a way that clearly marks it as 'not completely sure
    of this but it looks likely', and retract it later if better
    information comes along.
    
    In the course of documenting this, I've completely rewritten the
    hazards section of the documentation, so that it categorises exactness
    hazards into various subtypes and explains which one tentative output
    applies to. Also I've done something disgusting in Makefile.am to pipe
    Halibut's HTML output through a Perl one-liner, in order to go beyond
    Halibut's limitations and get red text in a few of the example
    terminal session snippets.
    
    There's a new option --tentative to turn tentative output on and off
    (and, like colour ls, it has a default third state 'auto' which
    applies only when outputting to a terminal device), and also an
    undocumented --tentative-test option intended for use by the test
    suite.

 Makefile.am  |    4 +-
 TODO.txt     |   37 ------
 baseout.cpp  |   70 ++++++++++-
 baseout.h    |    2 +
 configure.ac |    4 +
 main.cpp     |  206 ++++++++++++++++++++++++++++++---
 manual.but   |  363 ++++++++++++++++++++++++++++++++++++++++++++--------------
 test.sh      |   19 +++
 8 files changed, 559 insertions(+), 146 deletions(-)