April 2007 - Cvs-hugs

patch applied (hugs98): report the top-level goal when hitting the cutoff (fixes #65)
by Ross Paterson 20 Apr '07

20 Apr '07

Fri Apr 20 13:28:47 PDT 2007 Ross Paterson <ross(a)soi.city.ac.uk> * report the top-level goal when hitting the cutoff (fixes #65) Formerly cutoffExceeded() reported the current goal, which was not necessarily part of the problematic cycle. For example, given class C a where f :: a -> a instance (Eq a, C a) => C a test = f True it reported that it could not prove Eq Bool, even though this is provable in one step. M ./src/preds.c -6 +22

1 0

cvs commit: www/Hugs/pages downloading-Sep2006.htm
by Ross Paterson 20 Apr '07

20 Apr '07

ross 2007/04/20 12:33:50 PDT Modified files: Hugs/pages downloading-Sep2006.htm Log: update Debian Revision Changes Path 1.13 +3 -5 www/Hugs/pages/downloading-Sep2006.htm

1 0

patch applied (hugs98): comments only: change GreenCard to FFI
by Ross Paterson 06 Apr '07

06 Apr '07

Fri Apr 6 03:49:59 PDT 2007 Ross Paterson <ross(a)soi.city.ac.uk> * comments only: change GreenCard to FFI M ./src/bcc32/options.h -1 +1 M ./src/builtin.c -2 +2 M ./src/djgpp2/options.h -1 +1 M ./src/dotnet/options.h -1 +1 M ./src/epoc/options.h -1 +1 M ./src/machugs/options.h -1 +1 M ./src/msc/options.h -1 +1 M ./src/options.h.in -1 +1 M ./src/winhugs/options.h -1 +1

1 0

patch applied (hugs98): track location of GHC includes dir (used by base)
by Ross Paterson 06 Apr '07

06 Apr '07

Fri Apr 6 03:42:29 PDT 2007 Ross Paterson <ross(a)soi.city.ac.uk> * track location of GHC includes dir (used by base) M ./libraries/Makefile.in -6 +7 M ./libraries/tools/make_bootlib -1 +1

1 0

patch applied (hugs98): Minor cleanup, mainly removal of superfluos double qoutes
by Sven Panne 03 Apr '07

03 Apr '07

Tue Apr 3 10:16:44 PDT 2007 sven.panne(a)aedion.de * Minor cleanup, mainly removal of superfluos double qoutes M ./darcs-all -32 +38

1 0

Package versioning confusion
by Sven Panne 03 Apr '07

03 Apr '07

I'm currently trying to unify the darcs-all scripts for GHC/Hugs/nhc, adding a "--release" option on the way, which is inteded to retrieve fixed versions from Hackage instead of the latest & greatest stuff from darcs repos. Looking at nhc's package list, I found a few issues: * Iavor's package is called "monadLib", but the darcs repo on darcs.haskell.org is called "monad". I propose to simply rename that directory to match "monadLib". There is already an empty directory of the same name there, so somebody else was obviously confused, too. If nobody yells soon, I'll do this renaming. * Malcolm: Could you move the polyparse repository from http://www.cs.york.ac.uk/fp/darcs/polyparse to darcs.haskell.org/packages, please? This would make things more consistent. * Finally, I am utterly confused by the fps package: There is a version 0.7 on Hackage, the repo at http://www.cse.unsw.edu.au/~dons/code/fps seems to contain a 0.8 version, and we finally have a version somehow integrated into the base package, all with different APIs/#ifdefs/etc. Help!!! Which version compiles with which Haskell implementation? Which is the most current version? Will we split this from base? I know that there have been epic discussions on the libraries list, but after >20 mails I was somehow lost. If we want to keep this in base for some time, it should at least be assured that it compiles with all Haskell implementations, so we could nuke the explicit "fps" package from nhc's package list. It can be re-added later, but please in synch with the rest of the implementations. Using it currently must be a nightmare for packagers/users due to this versionitis... :-/ Cheers, S.

3 11

patch applied (hugs98): Added handling of URLs in package list
by Sven Panne 02 Apr '07

02 Apr '07

Mon Apr 2 10:19:28 PDT 2007 sven.panne(a)aedion.de * Added handling of URLs in package list M ./darcs-all -9 +20 M ./package-list -1 +2

2 1

patch applied (hugs98): Make --partial the default, as discussed on the mailing list
by Sven Panne 02 Apr '07

02 Apr '07

Mon Apr 2 09:48:03 PDT 2007 sven.panne(a)aedion.de * Make --partial the default, as discussed on the mailing list M ./darcs-all -3 +18

1 0

patch applied (hugs98): Refactored the looping over all packages via higher-order shell programming ; -)
by Sven Panne 02 Apr '07

02 Apr '07

Mon Apr 2 09:33:15 PDT 2007 sven.panne(a)aedion.de * Refactored the looping over all packages via higher-order shell programming ;-) M ./darcs-all -27 +36

1 0

patch applied (hugs98): Added --list-packages option (for use in GHC' s Makefiles)
by Sven Panne 02 Apr '07

02 Apr '07

Mon Apr 2 09:18:21 PDT 2007 sven.panne(a)aedion.de * Added --list-packages option (for use in GHC's Makefiles) M ./darcs-all -8 +35

1 0

patch applied (hugs98): Make repository base calculation more lenient, allowing e.g. GHC branches
by Sven Panne 02 Apr '07

02 Apr '07

Mon Apr 2 09:03:32 PDT 2007 sven.panne(a)aedion.de * Make repository base calculation more lenient, allowing e.g. GHC branches M ./darcs-all -1 +1

1 0

patch applied (hugs98): Added --dry-run option
by Sven Panne 02 Apr '07

02 Apr '07

Mon Apr 2 08:53:36 PDT 2007 sven.panne(a)aedion.de * Added --dry-run option M ./darcs-all -26 +49

1 0

patch applied (hugs98): Simplified curl/wget logic
by Sven Panne 02 Apr '07

02 Apr '07

Mon Apr 2 08:27:17 PDT 2007 sven.panne(a)aedion.de * Simplified curl/wget logic M ./darcs-all -13 +9

1 0

patch applied (hugs98): Verbose messages go to stderr now, this seems to be more common
by Sven Panne 02 Apr '07

02 Apr '07

Mon Apr 2 08:05:02 PDT 2007 sven.panne(a)aedion.de * Verbose messages go to stderr now, this seems to be more common M ./darcs-all -1 +1

1 0

patch applied (hugs98): Added a shiny new unified darcs-all script
by Sven Panne 02 Apr '07

02 Apr '07

Sun Apr 1 10:49:41 PDT 2007 sven.panne(a)aedion.de * Added a shiny new unified darcs-all script This is a mildly tested new version of a darcs-all script which should work with GHC, Hugs, and nhc98. It is not yet a full 100% replacement of the existing scripts, but it will soon be. Apart from the fact that it is not tied to a single Haskell implementation, its main new features are that it uses a single more powerful package description file and offers a --release option to retrieve a given set of package versions from Hackage. To do: * Handle more general URLs in the package list * Add a mode to print out the list of packages (for Makefiles, scripts, etc.) * --complete/--partial: What should be the default? A ./darcs-all A ./package-list

3 2

patch applied (hugs98): readline command completion (from Georg Sauthoff)
by Ross Paterson 01 Apr '07

01 Apr '07

Sun Apr 1 02:12:02 PDT 2007 Ross Paterson <ross(a)soi.city.ac.uk> * readline command completion (from Georg Sauthoff) Improves the readline command completion feature of hugs: - added completion of function names and constructors - added completion of command names (:<cmd>) - added completion of module names (e.g. after :browse , etc.) - only do filename completion where it makes sense (e.g. after :load , etc.) - expand use of tilde (~) in filenames (previously it was completed but not recognized by hugs) - read and write the history from/to ~/.hugs_history - make hugs recognize :help It's not perfect, e.g.: - the names include things that aren't in scope (:names has the same problem) - the names don't include qualified names - the words completed are space-delimited, rather than being Haskell ids - completion for :load works for filenames only, not modules Still, it's a start, and better than nothing. M ./src/hugs.c -6 +165 M ./src/input.c -8 +16 M ./src/storage.c -1 +1 M ./src/storage.h +2

1 0

patch applied (hugs98): add filepath package
by Ross Paterson 01 Apr '07

01 Apr '07

Sun Apr 1 01:48:06 PDT 2007 Ross Paterson <ross(a)soi.city.ac.uk> * add filepath package M ./Makefile -3 +3 M ./libraries/tools/convert_libraries -1 +1

1 0