- Glasgow-haskell-users

RE: [Haskell] (GHC) Boot files and instance declarations
by Simon Peyton-Jones 03 May '06

03 May '06

At the moment GHC just doesn't support this, I'm afraid. It's a shortcoming, and one that could be fixed, but not in a minute or two. You'll have to find some other way to reorganise your code, I think. Incidentally questions specific to GHC belong on ghc-users, to which I have redirected this message Simon | -----Original Message----- | From: haskell-bounces(a)haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of David House | Sent: 02 May 2006 21:36 | To: haskell(a)haskell.org | Subject: [Haskell] (GHC) Boot files and instance declarations | | Hi all. A quick bootfiles question. | | The GHC docs specify not to put instance decls in bootfiles. However, | what if i need to? For example, say I have a module A where I'm | importing a module B with the {-# SOURCE #-} pragma. Module A needs to | know that the types in module B are instances of some typeclasses | (instance declarations for which are given in module B). How would I | manage this? | | Thanks in advance. | | -- | -David House, dmhouse(a)gmail.com, http://xmouse.ithium.net | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell

1 0

ANNOUNCE: GHC vesrion 6.4.2
by Simon Marlow 02 May '06

02 May '06

============================================================= The (Interactive) Glasgow Haskell Compiler -- version 6.4.2 ============================================================= The GHC Team is pleased to announce a new patchlevel release of GHC. This release contains a significant number of bugfixes relative to 6.4.1, so we recommend upgrading. Highlights in this release: - Cabal has been upgraded to version 1.1.4. While strictly speaking this breaks our rules about not changing any library APIs in a patchlevel release, it was felt that the Cabal shipped in 6.4.1 was lacking in various ways, and it was more important to provide a Cabal that works with more existing packages. Some distributions of GHC were already supplying an upgraded Cabal by default. With the exception of Cabal, and OpenAL which was also upgraded, all library APIs are identical to 6.4.1. Release notes are here: http://haskell.org/ghc/docs/6.4.2/html/users_guide/release-6-4-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://www.haskell.org/ghc/docs/latest/html/building/building-guide.html 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/ GHC developers occasionally 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

11 20

Dynamic Programming with Memoizing
by Lajos Nagy 29 Apr '06

29 Apr '06

Well, I got stuck. I wanted to use dynamic programming to compute the value `p 100': ================================ module Main where import Data.Ratio import Data.Ix n = 100 q :: (Integer, Integer) -> Rational q (i,k) | i == 1 && k == 2 = 1 q (i,k) = (map q' (range dom)) !! (dom `index` (i,k)) where dom = ((1,1),(n,n)) q' (i,k) = (p i * ((n + 1 - k) % 1)) / ((n + 1 - i) % 1) p :: Integer -> Rational p k | k == 1 = 1 p k = map p' [1 .. n] !! ((1,n) `index` k) where p' k = sum (map f [1 .. (k - 1)]) where f i = q (i,k) / ((n + 1 - i) % 1) ====================== I used the lazy list pattern for memoizing previous values of `p' and `q' as I saw it elsewhere. Both `p k' and `q (i,k)' depend only on values of `p x' and `q (y,x)' where `x < k' and `y < k'. Nevertheless, it takes forever to compute even `p 20'. What's wrong? (I even tried using a strict container along the lines of `N !Rational' for storing the results of `p' and `q'. It didn't help.) The program seems to work correctly for small values of `k', by the way. I used Rational because I needed the _exact_ result. Thanks and Regards, -- Lajos Nagy Computer Science Ph.D. Student, Florida Institute of Technology

2 1

cvs-head compile question
by jur 28 Apr '06

28 Apr '06

Hi there, when I compile the head I get this message /usr/bin/ld: Undefined symbols: _ding _free_undo_list _rl_add_undo _rl_basic_quote_characters _rl_begin_undo_group _rl_bind_key_in_map _rl_binding_keymap _rl_char_is_quoted_p _rl_clear_message _rl_clear_signals _rl_complete_internal _rl_copy_keymap _rl_copy_text _rl_delete_text _rl_directory_completion_hook _rl_discard_keymap _rl_do_undo _rl_end_undo_group _rl_executing_keymap _rl_filename_dequoting_function _rl_filename_quote_characters _rl_filename_quoting_desired _rl_filename_quoting_function _rl_forced_update_display _rl_function_dumper _rl_function_of_keyseq _rl_generic_bind _rl_get_keymap _rl_get_keymap_by_name _rl_get_keymap_name _rl_ignore_some_completions_function _rl_insert_completions _rl_insert_text _rl_kill_text _rl_list_funmap_names _rl_make_bare_keymap _rl_make_keymap _rl_mark _rl_modifying _rl_named_function _rl_on_new_line _rl_pending_input _rl_possible_completions _rl_reset_line_state _rl_set_keymap _rl_set_signals _rl_unbind_command_in_map _rl_unbind_key _rl_unbind_key_in_map _rl_message collect2: ld returned 1 exit status <<ghc: 32089144 bytes, 4 GCs, 95456/95456 avg/max bytes residency (1 samples), 16M in use, 0.03 INIT (0.00 elapsed), 0.51 MUT (33.23 elapsed), 0.07 GC (0.26 elapsed) :ghc>> make[2]: *** [stage2/ghc-6.5] Error 1 make[1]: *** [stage2] Error 2 make: *** [bootstrap2] Error 2 So what am I missing. Is it GTK+2? Do I really need it? Is there some way to compile the compiler without needing to bother with this? thanks, Jur

2 1

Re[2]: [GHC] #710: library reorganisation
by Bulat Ziganshin 28 Apr '06

28 Apr '06

Hello GHC, {- answering message in ghc-bugs -} Thursday, April 27, 2006, 2:06:07 PM, you wrote: > #710: library reorganisation >> Some libraries we want to add: >> >> * [http://www.cse.unsw.edu.au/~dons/fps.html FastPackedStrings] >> (replace {{{Data.PackedString}}}) sorry for repetition, but ByteString library in its current state still don't replaces PackedString in functionality, because it don't support full Unicode range of chars -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

3 5

"A Language Based Approach to Unifying Events and Threads"
by Geoffrey Alan Washburn 27 Apr '06

27 Apr '06

I don't see that anyone has mentioned yet, but I expect a number of GHC users and developers will find this paper very interesting: http://www.cis.upenn.edu/~stevez/papers/LZ06a.pdf

4 3

Error when ($) is used, but no error without
by Robin Bate Boerop 27 Apr '06

27 Apr '06

This code compiles properly (with -fglasgow-exts on GHC 6.4.1): class CC a type C x = CC a => a x f, g :: C a -> Int f _ = 3 g x = f x But, this code: class CC a type C x = CC a => a x f, g :: C a -> Int f _ = 3 g x = f $ x -- the only change gives this error: Inferred type is less polymorphic than expected Quantified type variable `a' escapes Expected type: a a1 -> b Inferred type: C a1 -> Int In the first argument of `($)', namely `f' In the definition of `g': g x = f $ x What's going on here? -- Robin Bate Boerop

4 7

The 2006 GHC Hackathon
by Simon Marlow 26 Apr '06

26 Apr '06

Dearest GHC hackers, We're considering the possibility of organising a GHC Hackathon around ICFP this year. This wiki page has tentative details, and you can indicate whether you'd be interested in coming, and give us your suggestions: http://hackage.haskell.org/trac/ghc/wiki/Hackathon Cheers, Simon

1 0

6.4.2 Build error
by Daniel Fischer 26 Apr '06

26 Apr '06

When building 6.4.2 today, make died with ../../ghc/compiler/ghc-inplace -H16m -O -Wall -fffi -Iinclude '-#include "HsALUT.h"' -cpp -DCALLCONV=ccall -ignore-package ALUT -O -Rghc-timing -fgenerics -package base -package OpenGL -package OpenAL -fgenerics -split-objs -c Sound/ALUT/Version.hs -o Sound/ALUT/Version.o -ohi Sound/ALUT/Version.hi /tmp/ghc31164.hc: In function `SoundziALUTziVersion_alutVersion_entry': /tmp/ghc31164.hc:199: warning: implicit declaration of function `alutGetMajorVersion' /tmp/ghc31164.hc:202: warning: implicit declaration of function `alutGetMinorVersion' <<ghc: 32689024 bytes, 10 GCs, 1573218/3049972 avg/max bytes residency (2 samples), 19M in use, 0.00 INIT (0.00 elapsed), 0.28 MUT (0.91 elapsed), 0.23 GC (0.27 elapsed) :ghc>> ( cd Sound/ALUT/Version_split; rm -f ld.script; touch ld.script; echo "INPUT(" *.o ")" >>ld.script; /usr/bin/ld -r -x -o ../Version.o ld.script; ); rm -f Sound/ALUT/BuiltInSounds.o; if [ ! -d Sound/ALUT/BuiltInSounds_split ]; then mkdir Sound/ALUT/BuiltInSounds_split; else /usr/bin/find Sound/ALUT/BuiltInSounds_split -name '*.o' -print | xargs rm -f __rm_food; fi; ../../ghc/compiler/ghc-inplace -H16m -O -Wall -fffi -Iinclude '-#include "HsALUT.h"' -cpp -DCALLCONV=ccall -ignore-package ALUT -O -Rghc-timing -fgenerics -package base -package OpenGL -package OpenAL -fgenerics -split-objs -c Sound/ALUT/BuiltInSounds.hs -o Sound/ALUT/BuiltInSounds.o -ohi Sound/ALUT/BuiltInSounds.hi /tmp/ghc31192.hc: In function `s2aH_entry': /tmp/ghc31192.hc:49: warning: implicit declaration of function `alutCreateBufferWaveform' /tmp/ghc31192.hc: In function `SoundziALUTziBuiltInSounds_zdLs2bksat_entry': /tmp/ghc31192.hc:405: warning: implicit declaration of function `alutCreateBufferHelloWorld' <<ghc: 36844732 bytes, 10 GCs, 1467218/2838108 avg/max bytes residency (2 samples), 19M in use, 0.00 INIT (0.00 elapsed), 0.35 MUT (1.21 elapsed), 0.23 GC (0.23 elapsed) :ghc>> ( cd Sound/ALUT/BuiltInSounds_split; rm -f ld.script; touch ld.script; echo "INPUT(" *.o ")" >>ld.script; /usr/bin/ld -r -x -o ../BuiltInSounds.o ld.script; ); rm -f Sound/ALUT/Loaders.o; if [ ! -d Sound/ALUT/Loaders_split ]; then mkdir Sound/ALUT/Loaders_split; else /usr/bin/find Sound/ALUT/Loaders_split -name '*.o' -print | xargs rm -f __rm_food; fi; ../../ghc/compiler/ghc-inplace -H16m -O -Wall -fffi -Iinclude '-#include "HsALUT.h"' -cpp -DCALLCONV=ccall -ignore-package ALUT -O -Rghc-timing -fgenerics -package base -package OpenGL -package OpenAL -fgenerics -split-objs -c Sound/ALUT/Loaders.hs -o Sound/ALUT/Loaders.o -ohi Sound/ALUT/Loaders.hi /tmp/ghc31242.hc: In function `s3bZ_entry': /tmp/ghc31242.hc:1956: warning: implicit declaration of function `alutCreateBufferFromFile' /tmp/ghc31242.hc: In function `s3dz_ret': /tmp/ghc31242.hc:2188: warning: implicit declaration of function `alutGetError' /tmp/ghc31242.hc:2193: warning: implicit declaration of function `alutGetErrorString' /tmp/ghc31242.hc: In function `s3pP_ret': /tmp/ghc31242.hc:2332: warning: implicit declaration of function `alutLoadMemoryFromFile' /tmp/ghc31242.hc: In function `s3qz_ret': /tmp/ghc31242.hc:2453: warning: implicit declaration of function `alutLoadMemoryFromFileImage' /tmp/ghc31242.hc: In function `s3rA_entry': /tmp/ghc31242.hc:2662: warning: implicit declaration of function `alutCreateBufferFromFileImage' /tmp/ghc31242.hc: In function `SoundziALUTziLoaders_zdwmimeTypes_entry': /tmp/ghc31242.hc:3117: warning: implicit declaration of function `alutGetMIMETypes' <<ghc: 68541492 bytes, 14 GCs, 2903726/5669756 avg/max bytes residency (3 samples), 19M in use, 0.00 INIT (0.00 elapsed), 0.87 MUT (2.70 elapsed), 0.37 GC (0.42 elapsed) :ghc>> ( cd Sound/ALUT/Loaders_split; rm -f ld.script; touch ld.script; echo "INPUT(" *.o ")" >>ld.script; /usr/bin/ld -r -x -o ../Loaders.o ld.script; ); rm -f Sound/ALUT/Initialization.o; if [ ! -d Sound/ALUT/Initialization_split ]; then mkdir Sound/ALUT/Initialization_split; else /usr/bin/find Sound/ALUT/Initialization_split -name '*.o' -print | xargs rm -f __rm_food; fi; ../../ghc/compiler/ghc-inplace -H16m -O -Wall -fffi -Iinclude '-#include "HsALUT.h"' -cpp -DCALLCONV=ccall -ignore-package ALUT -O -Rghc-timing -fgenerics -package base -package OpenGL -package OpenAL -fgenerics -split-objs -c Sound/ALUT/Initialization.hs -o Sound/ALUT/Initialization.o -ohi Sound/ALUT/Initialization.hi /tmp/ghc31340.hc: In function `s2OJ_entry': /tmp/ghc31340.hc:403: error: void value not ignored as it ought to be /tmp/ghc31340.hc:410: warning: implicit declaration of function `alutGetError' /tmp/ghc31340.hc:415: warning: implicit declaration of function `alutGetErrorString' /tmp/ghc31340.hc: In function `s2R4_entry': /tmp/ghc31340.hc:1051: error: void value not ignored as it ought to be /tmp/ghc31340.hc: In function `s2RF_entry': /tmp/ghc31340.hc:1211: warning: implicit declaration of function `alutInitWithoutContext' <<ghc: 51549408 bytes, 13 GCs, 2615637/5782796 avg/max bytes residency (3 samples), 20M in use, 0.00 INIT (0.00 elapsed), 0.58 MUT (1.13 elapsed), 0.39 GC (0.39 elapsed) :ghc>> make[2]: *** [Sound/ALUT/Initialization.o] Error 1 make[1]: *** [all] Error 1 make[1]: Leaving directory `/usr/local/lib/ghc-6.4.2/libraries' make: *** [build] Error 1 What can I do to fix it? Cheers, Daniel -- "In My Egotistical Opinion, most people's C programs should be indented six feet downward and covered with dirt." -- Blair P. Houghton

3 3

Haskell.org and Google Summer of Code 2006
by Paolo Martini 26 Apr '06

26 Apr '06

Hello, It is now official. Haskell.org is a mentoring organization for this year's Summer of Code programme. You can see it listed on the official site <http://code.google.com/soc/> clicking on `Haskell.org (ideas)' you'll be directed to the trac site we are setting up. (It's 4 AM and I've just finished adding the projects, and cleaning things up a bit.) I am _very_ happy about seeing this project working out for real. I fear that I wouldn't be able to reach everybody even mailing all the important mailing list; I hope many students will be able to take advantage of this great occasion. Help me spread the word, tell everybody about the project :-) You can find the new site here <http://hackage.haskell.org/trac/summer-of-code/>, the StartPage will be updated with details during the program. Projects ideas and volunteers for mentoring are still very much welcome! students' application period starts on May 1. Thanks very much for the support, hope to hear thoughts and proposals, Paolo. --

1 0