QuickCheck vs WinHugs

Neil Mitchell <[email protected]> Sat, 12 Nov 2005 19:07:09 +0000
Newsgroups gmane.comp.lang.haskell.cvs.hugs
Message-ID <404396ef0511121107y6b30836dufb86c8148dc4e8fd__33800.8823492148$1131822474$gmane$org@mail.gmail.com>
Hi,

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.

Thanks

Neil