This came up when solving issue2444 but is independent. Not for screened
yet: on the one hand it simplifies the code, on the other it destroys the
symmetry with the version of isInteractive from Darcs.UI.Flags. So I am not
sure this is a definite improvement.
1 patch for repository http://darcs.net/screened:
patch a98bc4d6b8b53dc23e58f28741835ef55232c634
Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de>
Date: Thu Jun 11 14:43:22 CEST 2015
* remove a parameter from locally defined isInteractive (amend, record)
The parameter was always True, so can as well be moved into the definition
of isInteractive.
Screening this now. The command specific isInteractive functions have
all different types anyway so if confusion arises the type checker will
complain.