December 2007 - Haskell

Re: [Haskell] Re: ANNOUNCE: GHC version 6.8.2
by Benjamin L. Russell 26 Dec '07

26 Dec '07

--- Juanma Barranquero <lekktu(a)gmail.com> wrote: ... > > Though, if you're using Emacs on Windows and you do > want it to use a > different HOME you can set > HOME=C:\this\is\my\emacs\home as a new > string value in the HKLM\Software\Gnu\Emacs key of > the registry. > On Dec 25, 2007 2:36 AM, Benjamin L. Russell > <dekudekuplex(a)yahoo.com> wrote: > > > However, usually I steer clear of the > > registry unless absolutely necessary because > making a > > mistake there can render Windows unbootable. > > Setting something in HLKM\Software\GNU\Emacs would > not render your > Windows unbootable, though it *could* preclude Emacs > from starting. > > > In that case, though, would you happen to know > which > > value in the registry would allow me to override > > HOMEPATH for GHCi? > > AFAIK, GHCi does not read anything from the > registry. You can use the > registry to set HOME (and perhaps modify HOMEPATH / > HOMEDRIVE), but > the effect wouldn't be GHCi-specific. > > What I said about Emacs works because Emacs for > Windows takes the > trouble to read HKLM\Software\GNU\Emacs and > interpret some keys as > environment variables. This information is all very useful for customizing Emacs. Thank you for sharing this information. In that case, may I suggest to the developers of GHCi that in the next release, they design GHCi to read the Windows registry for HKEY_LOCAL_MACHINE\SOFTWARE\Haskell\GHCi\<next-release-version-number> for a HOME key set as the GHCi HOME environmental variable, so that I can set HOME=<drive-letter>:\this\is\my\GHCi\home there (also well as adding suitable documentation for this new feature in the FAQ)? There is already a directory there for Hugs called HKEY_LOCAL_MACHINE\SOFTWARE\Haskell\Hugs\WinhugsSep 2006, and it would seem to make sense to add a directory for GHCi there as well. Benjamin L. Russell

1 0

ANNOUNCE: Haskell Communities & Activities Report (13th ed., December 2007)
by Andres Loeh 22 Dec '07

22 Dec '07

On behalf of the many, many contributors, I am pleased to announce that the Haskell Communities and Activities Report (13th edition, December 2007) http://www.haskell.org/communities/ is now available from the Haskell Communities home page in PDF and HTML formats. Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported. I hope you will find it as interesting a read as we did. If you haven't encountered the Haskell Communities and Activities Reports before, you may like to know that the first of these reports was published in November 2001. Their goal is to improve the communication between the increasingly diverse groups, projects and individuals working on, with, or inspired by Haskell. The idea behind these reports is simple: Every six months, a call goes out to all of you enjoying Haskell to contribute brief summaries of your own area of work. Many of you respond (eagerly, unprompted, and well in time for the actual deadline ;) ) to the call. The editor collects all the contributions into a single report and feeds that back to the community. When we try for the next update, six months from now, you might want to report on your own work, project, research area or group as well. So, please put the following into your diaries now: ---------------------------------------- End of April 2008: target deadline for contributions to the May 2008 edition of the HC&A Report ---------------------------------------- Unfortunately, many Haskellers working on interesting projects are so busy with their work that they seem to have lost the time to follow the Haskell related mailing lists and newsgroups, and have trouble even finding time to report on their work. If you are a member, user or friend of a project so burdened, please find someone willing to make time to report and ask them to `register' with the editor for a simple e-mail reminder in the middle of April (you could point me to them as well, and we can then politely ask if they want to contribute, but it might work better if you do the initial asking). Of course, they will still have to find the ten to fifteen minutes to draw up their report, but maybe we can increase our coverage of all that is going on in the community. Feel free to circulate this announcement further in order to reach people who might otherwise not see it. Enjoy! Andres Loeh <hcar at haskell.org> -- Haskell Communities and Activities Report (http://haskell.org/communities)

1 0

LOPSTR 2008: Preliminary Call for Papers
by mh＠informatik.uni-kiel.de 21 Dec '07

21 Dec '07

====================================================================== CALL FOR PAPERS 18th International Symposium on International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2008 http://www.informatik.uni-kiel.de/~mh/lopstr08/ July 17-18, 2008, Valencia, Spain (co-located with SAS 2008) ====================================================================== Objectives: The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium, so authors can incorporate this feedback in the published papers. Topics: Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Papers describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: specification synthesis verification transformation analysis optimisation composition security reuse applications and tools component-based software development software architectures agent-based software development program refinement Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). IMPORTANT DATES AND SUBMISSION GUIDELINES: Paper/extended abstract submission: May 7, 2008 Notification (for pre-proceedings): June 8, 2008 Camera-ready (for pre-proceedings): June 29, 2008 Symposium: July 17-18, 2008 Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages (including references), respectively. Submissions must be formatted in the Springer LNCS style (excluding well-marked appendices not intended for publication). Referees are not required to read the appendices, and thus papers should be intelligible without them. Short papers may describe work-in-progress or tool demonstrations. Both accepted short and full papers will appear in the pre-proceedings. The full papers will automatically appear in the formal proceedings that is expected to be published by Springer-Verlag in the LNCS series. In addition, after the symposium, the programme committee will select those short papers to be considered for formal publication. These authors will be invited to revise and extend their submissions in the light of the comments of the reviewers and the feedback solicited at the meeting. Then after another round of reviewing, the revised papers which are accepted will be also published in the formal proceedings. Papers should be submitted either in PDF or PostScript via the web page of LOPSTR 2008. Program Committee: Slim Abdennadher German University Cairo Danny De Schreye K.U.Leuven, Belgium Wlodek Drabent Polish Academy of Sciences, Poland / Linköping Univ., Sweden Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany (Chair) Patricia Hill University of Leeds, UK Andy King University of Kent, UK Michael Leuschel University of Duesseldorf, Germany Torben Mogensen DIKU, University of Copenhagen, Denmark Mario Ornaghi Universita degli Studi di Milano, Italy Etienne Payet Universite de La Reunion, France Alberto Pettorossi University of Rome Tor Vergata, Italy German Puebla Technical University of Madrid, Spain C.R. Ramakrishnan SUNY at Stony Brook, USA Sabina Rossi Universita Ca' Foscari di Venezia, Italy Chiaki Sakama Wakayama University, Japan Josep Silva Technical University of Valencia, Spain Wim Vanhoof University of Namur, Belgium Eelco Visser Delft University of Technology, The Netherlands ----------------------------------------------------------------------

1 0

Re: ANNOUNCE: GHC version 6.8.2
by Claus Reinke 21 Dec '07

21 Dec '07

> With the Windows release of GHC 6.8.2, GHCi does not find .ghci in > %HOME% (though it finds it in the current directory): try %HOMEDRIVE% %HOMEPATH% instead? or the result of 'System.Directory.getHomeDirectory'. you might have set %HOME% to help some unix software along, but this variable doesn't seem to exist by default. claus http://www.microsoft.com/resources/documentation/windows/xp/all/proddocs/en… http://en.wikipedia.org/wiki/Home_directory

7 11

help needed to test new GLFW package
by Paul L 21 Dec '07

21 Dec '07

With the new Cabal 1.2, it's now possible to make platform dependent C code compilation. So I've made available new version of GLFW that follows standard Cabal installation steps, it's at: http://www.cs.yale.edu/homes/hl293/download/GLFW-0.2.tar.gz Note that this is VERY experimental. Help is needed to test the package on different combinations of GHC + OS platforms. I've already tested it on Linux (i386 32bit) + GHC 6.8.2/6.6.1, Windows XP and OS X 10.4 (Intel) + GHC 6.6 (with Cabal 1.2.2). I'll appreciate feedbacks from GHC 6.8/6.6 on Linux (IA64), Windows Vista, and OS X 10.5 (intel) or OS X (ppc). If no major installation problem remains, I'm going to put it up on hackageDB. Thanks! -- Regards, Paul Liu Yale Haskell Group http://www.haskell.org/yale

1 0

ANNOUNCE: Haddock version 0.9
by Simon Marlow 20 Dec '07

20 Dec '07

Announcing the release of Haddock 0.9 http://www.haskell.org/haddock/ http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haddock-0.9 While Haddock 2 is still in development and should be available shortly, this is an updated version of the old Haddock that works with the latest tools and has various other improvements (all of which have also been rolled into Haddock 2). Changes in version 0.9: * Infix type operators, e.g., first :: a~>a' -> (a,b)~>(a',b) * Add a search box to the index page which automatically narrows the index to the search as you type (thanks to Neil Mitchell). * Add a --ghc-pkg flag * Add a flag --allow-missing-html * URL expansion for %%, %L, %{LINE} * added substitution %{FILE///c} * Lexing of /.../ is now more like '...', in that a / character must be matched by another / character on the same line, otherwise it is treated as a literal '/'. This removes a common source of accidental parse errors in documentation. * Various bugs were fixed. * Cabal 1.2 is now required, and Haddock builds with GHC 6.8.x.

1 0

ANNOUNCE: GHC version 6.8.2
by Ian Lynagh 20 Dec '07

20 Dec '07

============================================================= The (Interactive) Glasgow Haskell Compiler -- version 6.8.2 ============================================================= The GHC Team is pleased to announce a new patchlevel release of GHC. This release contains a number of bugfixes relative to 6.8.1, including some significant performance fixes, so we recommend upgrading. Release notes are here: http://haskell.org/ghc/docs/6.8.2/html/users_guide/release-6-8-2.html How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language; the current language version is Haskell 98, agreed in December 1998 and revised December 2002. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, whatever). GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://hackage.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: http://hackage.haskell.org/trac/ghc/wiki/Contributors Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: http://hackage.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: http://hackage.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://www.haskell.org/mailman/listinfo/glasgow-haskell-users http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see http://www.haskell.org/mailman/listinfo/ Some GHC developers hang out on #haskell on IRC, too: http://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: http://www.haskell.org/ghc/reportabug

4 6

problem with hs-plugins 1.1 on Windows: _WaitForSingleObject
by Conal Elliott 17 Dec '07

17 Dec '07

I compiled a fresh darcs-get of the latest hs-plugins (through patch 209). it all compiles fine, but the tests die with complaints like this one: +Main.exe: +c:/ghc/ghc-6.8.1.20071102/lib\base-3.0.0.0/HSbase-3.0.0.0.o: unknown symbol `_WaitForSingleObject' +Main.exe: user error (resolvedObjs failed.) + Other unknown symbols: directory-1.0.0.0/HSdirectory-1.0.0.0.o: unknown symbol `_GetTempPathA' process-1.0.0.0/HSprocess-1.0.0.0.o: unknown symbol `_CloseHandle' One other error: +Main.exe: unloadObj: can't find `c:/ghc/ghc-6.8.1.20071102/lib\old- locale-1.0.0.0/HSold-locale-1.0.0.0.o' to unload +Main.exe: user error (unloadObj: failed) Any suggestions? Thanks, - Conal

2 1

Jobs in Functional Programming: the dust settles
by John Hughes 17 Dec '07

17 Dec '07

The "Jobs in Functional Programming" event at Chalmers is now over-and was a resounding success! So many people preregistered. 111 in total. that I began to worry about the fire regulations for the room we were using! We ran out of chairs, and latecomers were standing around the walls. Six companies sent speakers for the event, and they gave excellent presentations, with many jobs available. All in all, it was a very exciting evening! Photographs and more details can be found at www.jobs-in-fp.org. John Hughes

1 0

South African Computer Olympiad
by Max Rabkin 14 Dec '07

14 Dec '07

Hi Haskellers We have just added support for GHC to the marking system for the South African Computer Olympiad. Therefore, I would like to invite you to join us for our public Training Camp tomorrow. The primary purpose of the competition is to prepare the South African squad for the International Olympiad in Informatics, but we are opening it to the public, too. The format of the competition is three problems over five hours, with each solution consisting of a source file in C, C++, Java or Haskell, which is compiled and executed against a set of test data on our servers. The contest will be held tomorrow (Saturday 15th) from 13:00 to 18:00 South African Standard Time (GMT+2). We will hold a discussion afterwards in the #saco channel on the FreeNode IRC network. Email queries to online-contest(a)olympiad.cs.uct.ac.za You can find out more and register at http://olympiad.cs.uct.ac.za/contest.html I apologise for the late notice: we have been affected by a countrywide power shortage, with our server going down every couple of days for the past week or two. Hoping to see you there, Max Rabkin

1 0