- Cvs-hugs - Haskell.org

Proposal to add a flag
by Neil Mitchell 04 May '07

04 May '07

Hi, I'd like to add a flag to Hugs, which if set, will disable the saving of options into the registry. In GHCi all options via :set are temporary, in Hugs they are saved permanently. This flag would never be saved into the registry, so could not be set permanently. The reason for this is GuiHaskell [1]. The first step it takes is to change the prompt to something silly, so it can detect when a computation has finished. Currently this prompt is saved, which is confusing when you next launch Hugs. The alternative is to introduce a GuiHaskell flag to Hugs. If we had this, we could also add some subtle improvements like support for interact into GuiHaskell. Thanks Neil [1] http://www-users.cs.york.ac.uk/~ndm/guihaskell/

1 0

patch applied (hugs98): Change the logic for when a file is relative, fixes bugs with openning files which were included by Hugs with ..
by Neil Mitchell 04 May '07

04 May '07

Fri May 4 07:28:30 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Change the logic for when a file is relative, fixes bugs with openning files which were included by Hugs with .. M ./src/winhugs/General.c -2 +15

1 0

patch applied (hugs98): Add a wall clock time status message to WinHugs
by Neil Mitchell 04 May '07

04 May '07

Fri May 4 07:06:51 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Add a wall clock time status message to WinHugs M ./src/winhugs/DlgMain.c -2 +6

1 0

patch applied (hugs98): Display the reduction count statistics in the status bar all the time
by Neil Mitchell 04 May '07

04 May '07

Fri May 4 06:04:25 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Display the reduction count statistics in the status bar all the time M ./src/errors.c +3 M ./src/winhugs/DlgMain.c -1 +46 M ./src/winhugs/Winhugs.h +3

1 0

patch applied (hugs98): Delete some \r characters that had sneaked into the Registry.c file (not quite sure how..)
by Neil Mitchell 04 May '07

04 May '07

Fri May 4 04:21:18 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Delete some \r characters that had sneaked into the Registry.c file (not quite sure how..) M ./src/winhugs/Registry.c -4 +4

1 0

patch applied (hugs98): Change the default HUGSPATH on Windows to include the place where Cabal puts stuff, fixes bug #67
by Neil Mitchell 03 May '07

03 May '07

Thu May 3 12:48:42 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Change the default HUGSPATH on Windows to include the place where Cabal puts stuff, fixes bug #67 M ./src/winhugs/Registry.c +13 M ./src/winhugs/options.h -1 +3

1 0

patch applied (hugs98): Further changes to complete the transition to a multi-line list for include directories, fixes bug #66
by Neil Mitchell 03 May '07

03 May '07

Thu May 3 12:22:53 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Further changes to complete the transition to a multi-line list for include directories, fixes bug #66 M ./src/winhugs/DlgOptions.c -6 +55 M ./src/winhugs/winhugs.rc -11 +11

1 0

patch applied (hugs98): Initial changes for bug #66, split the extensions and loading options, to give more space for the loading ones
by Neil Mitchell 03 May '07

03 May '07

Thu May 3 12:00:41 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Initial changes for bug #66, split the extensions and loading options, to give more space for the loading ones M ./src/winhugs/DlgOptions.c -23 +46 M ./src/winhugs/resrc1.h -62 +65 M ./src/winhugs/winhugs.rc -572 +548

1 0

patch applied (hugs98): Slight clean up, reorder a conditional test to match the others around it
by Neil Mitchell 03 May '07

03 May '07

Thu May 3 11:23:30 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Slight clean up, reorder a conditional test to match the others around it M ./src/winhugs/RtfWindow.c -1 +1

1 0

patch applied (hugs98): Do not allow new lines to be pasted into the prompt
by Neil Mitchell 03 May '07

03 May '07

Thu May 3 11:21:53 PDT 2007 Neil Mitchell <http://www.cs.york.ac.uk/~ndm/> * Do not allow new lines to be pasted into the prompt M ./src/winhugs/RtfWindow.c -5 +5

1 0