QuickCheck vs WinHugs
ndmitchell at gmail.com
Sat Nov 12 14:07:09 EST 2005
The progress display in QuickCheck doesn't work in the latest version
of WinHugs. It remains entirely blank until the end, not displaying
the number it is on.
Having looked at the source code to quickcheck, it is interacting with
the WinHugs notion of "\b" very badly. In WinHugs \b is treated as
phycially delete the last character that was written out on the
console, removing it. QuickCheck seems to expect the behaviour of \b
to be move the cursor to the left by one position, but do not erase
the text that was to the right of the \b character.
What should the correct behaviour be, while the \b character is
mentioned in the Haskell report, its behaviour is not.
More information about the Cvs-hugs