January 2007 - Glasgow-haskell-users

Re : HDirect and GHC-6.6
by Fernand Lacas 11 Jan '07

11 Jan '07

Hi, Yes, my point was indeed about the second compilation stage : once you have build the libs (comlib, the ihc tool and hdirect), you have to install them (com and hdirect) as packages in order to rebuild the ihc tool with the support for type libraries. At this point, the makefile-based build process fails, and I did not succeed in building the ihc tool with the support for typelibs without the packages because of my lack of knowledge with Cabal. Note that Sigbjorn Finne also kindly answered my post, so I will have look at the cvs version of hdirect. Sincerely yours, Samuel ----- Message d'origine ---- De : Marc Weber <marco-oweber(a)gmx.de> À : glasgow-haskell-users(a)haskell.org Envoyé le : Jeudi, 11 Janvier 2007, 13h44mn 35s Objet : Re: HDirect and GHC-6.6 Hi Samuel. I know. If you want to use hdirect with com support you need some kind of 2 stage build. I've tried to compile it some time ago and I failed (lack of knowledge and understanding haskell at that time).. So you did succeed? similar to ghc its using a 2 stage build. I will post a link to this message on cabal-devel(a)haskell.org avoiding cross-posting, too So we have by now 4 packagers having problems with the current cabal system? wxwidgets, gtk2hs, hdirect and ghc itself? Greetings Marc _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users(a)haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___________________________________________________________________________ Nouveau : téléphonez moins cher avec Yahoo! Messenger ! Découvez les tarifs exceptionnels pour appeler la France et l'international. Téléchargez sur http://fr.messenger.yahoo.com

1 0

Problems building GHC
by Rodrigo Geraldo 11 Jan '07

11 Jan '07

Hi! I start to "hack" GHC, and, I 've tried to build it, but the build return this error message : configure: GMP_CHECK_ASM_W32: fatal: do not know how to define a 32-bit word make[1]: *** [boot] Error 1 I've tried to build GHC using mSYS and MinGW under MS windows xp... Does anyone have any idea of how can I solve this problem? Thanks Rodrigo Geraldo Ribeiro PS: Sorry for my english...

1 0

GHC Runtime System
by Cristian Perfumo 11 Jan '07

11 Jan '07

Hi Friends. I'm trying to modify GHC runtime in order to add some new functions to STM API. Wich documentation (if there's any) do you suggest me to read? I mean... what's the starting point to learn how to link a Haskell function in STM.hs with a C function in STM.c? Regards. Cristian Perfumo

3 2

Exception when compiling HAppS
by Dimitry Golubovsky 08 Jan '07

08 Jan '07

Hi, I am getting a strange error message when trying to compile HAppS-0.8.4 with ghc-6.4.1always on the same file. ============================================================ bash$ runghc Setup.hs configure --prefix=/previous/public/HAppS The field "hs-source-dir" is deprecated, please use hs-source-dirs. Setup.hs: Warning: No license-file field. Configuring HAppS-0.8.4... configure: Using install prefix: /previous/public/HAppS configure: Using compiler: /previous/public/ghc-6.4.1/bin/ghc configure: Compiler flavor: GHC configure: Compiler version: 6.4.1 configure: Using package tool: /previous/public/ghc-6.4.1/bin/ghc-pkg configure: No haddock found configure: No happy found configure: No alex found configure: Using hsc2hs: /previous/public/ghc-6.4.1/bin/hsc2hs configure: No c2hs found configure: Using cpphs: /previous/public/nhc98/bin/cpphs configure: No greencard found configure: Dependency base-any: using base-1.0 configure: Dependency fps>=0.8: using fps-0.8 configure: Dependency HaXml>=1.13&&<1.14: using HaXml-1.13.2 configure: Dependency mtl-any: using mtl-1.0 configure: Dependency network-any: using network-1.0 configure: Dependency stm-any: using stm-1.0 configure: Dependency template-haskell-any: using template-haskell-1.0 ============================================================ bash$ runghc Setup.hs build The field "hs-source-dir" is deprecated, please use hs-source-dirs. Preprocessing library HAppS-0.8.4... Building HAppS-0.8.4... Chasing modules from: HAppS,HAppS.Agents.MailSender,HAppS.Agents.SessionKeeper,HAppS.Agents.SessionKeeperEx,HAppS.Agents.Users,HAppS.Agents.WithBlockingIO,HAppS.DBMS.Index,HAppS.DBMS.RSMap,HAppS.DBMS.Table,HAppS.MACID,HAppS.MACID.Saver,HAppS.Protocols.Base64,HAppS.Protocols.Cookie,HAppS.Protocols.DNS,HAppS.Protocols.DNS.HiWire,HAppS.Protocols.DNS.RR,HAppS.Protocols.DNS.Type,HAppS.Protocols.HMAC,HAppS.Protocols.HTTP,HAppS.Protocols.HTTP.LowLevel,HAppS.Protocols.SimpleHTTP,HAppS.Protocols.JSON,HAppS.Protocols.MessageWrap,HAppS.Protocols.MinHaXML,HAppS.Protocols.SHA1,HAppS.Protocols.SMTP,HAppS.Protocols.SURI,HAppS.Protocols.W64,HAppS.Protocols.XSLT,HAppS.Protocols.XSLTSMTP,HAppS.Util.Concurrent,HAppS.Util.Cron,HAppS.Util.Common,HAppS.Util.EventHandler,HAppS.Util.StdMain,HAppS.Util.StdMain.Config,HAppS.Util.StdMain.StartState,HAppS.Util.TimeOut,HAppS.MACID.Checkpoint,HAppS.MACID.Monad,HAppS.MACID.Saver.Impl.File,HAppS.MACID.Saver.Impl.Queue,HAppS.MACID.Saver.Types,HAppS.MACID.Serialize,HAppS.MACID.SideEffect,HAppS.MACID.Transaction,HAppS.MACID.Types,HAppS.MACID.Util,HAppS.MACID.Var,HAppS.Protocols.DES,HAppS.Protocols.DNS.Cache,HAppS.Protocols.DNS.ChooseMethod,HAppS.Protocols.DNS.LoWire,HAppS.Protocols.DNS.MutableEnv,HAppS.Protocols.DNS.MXClient,HAppS.Protocols.DNS.Name,HAppS.Protocols.DNS.NSTree,HAppS.Protocols.DNS.Util,HAppS.Protocols.HTTP.Clock,HAppS.Protocols.HTTP.FileServe,HAppS.Protocols.HTTP.Handler,HAppS.Protocols.HTTP.LazyLiner,HAppS.Protocols.HTTP.Listen,HAppS.Protocols.HTTP.ServerPart,HAppS.Protocols.HTTP.Types,HAppS.Protocols.SURI.ParseURI,HAppS.Util.StdMain.StartStateTH,HAppS.Util.ByteStringCompat Skipping HAppS.Util.ByteStringCompat ( src/HAppS/Util/ByteStringCompat.hs, dist/build/HAppS/Util/ByteStringCompat.o ) Skipping HAppS.Protocols.SURI.ParseURI ( src/HAppS/Protocols/SURI/ParseURI.hs, dist/build/HAppS/Protocols/SURI/ParseURI.o ) Compiling HAppS.Protocols.HTTP.LazyLiner ( src/HAppS/Protocols/HTTP/LazyLiner.hs, dist/build/HAppS/Protocols/HTTP/LazyLiner.o ) *** Exception: waitForProcess: interrupted (Interrupted system call) ============================================================ bash$ ghc --version The Glorious Glasgow Haskell Compilation System, version 6.4.1 bash$ ghc-pkg -l /previous/public/ghc-6.4.1//lib/ghc-6.4.1/package.conf: rts-1.0, base-1.0, haskell98-1.0, template-haskell-1.0, unix-1.0, parsec-1.0, haskell-src-1.0, network-1.0, QuickCheck-1.0, HUnit-1.1, mtl-1.0, fgl-5.2, X11-1.1, HGL-3.1, stm-1.0, readline-1.0, (lang-1.0), (concurrent-1.0), (posix-1.0), (util-1.0), (data-1.0), (text-1.0), (net-1.0), (hssource-1.0), NewBinary-0.1, Crypto-2.1.0, HTTP-2005.11.23, hxt-5.3, CabalFind-0.2, Cabal-1.1.3, FilePath-0.1.0, UNISTD-0.0, DB-4.2, SYSLOG-0.0, XPROTO-0.0, HSFFIG-1.1, BF-0.0, Fudgets-0.1, (cpphs-1.3), HaXml-1.13.2, fps-0.8 Has anybody encountered this? Thanks. -- Dimitry Golubovsky Anywhere on the Web

2 4

Current GMP implementation
by Peter Tanski 06 Jan '07

06 Jan '07

Hello Thorkil, I updated the wiki Replacing GMP/The Current GMP Implementation page with some introductory notes. I hope the pretty graphic cuts down on a lot of wording necessary. There is no discussion of the Cmm implementation as that is contained in Esa's posts to the GHC users list or in the PrimOps pages in the new Commentary. (Maybe I should move the GMP->Cmm->Haskell discussion into The Current GMP Implementation page but I really have to get some honest coding done.) Cheers, Peter

1 0

RE: [Haskell] Fundep broken in GHC 6.6
by Simon Peyton-Jones 06 Jan '07

06 Jan '07

[redirecting to ghc users] Actually this didn't work in 6.4.2 either! (Though it did in 6.4, for reasons I have not investigated.) Indeed I think your reasoning is correct. GHC tries to be pretty relaxed about reporting ambiguous types, which is what this amounts to really. I have committed a fix to the HEAD that relaxes the condition, and allows this program. It should appear in 6.6.1 also. Thanks for the report Simon | -----Original Message----- | From: haskell-bounces(a)haskell.org [mailto:haskell-bounces@haskell.org] | On Behalf Of dpus | Sent: 12 November 2006 19:36 | To: haskell(a)haskell.org | Subject: [Haskell] Fundep broken in GHC 6.6 | | Hi, | | The following class declaration worked in GHC 6.4. | I recently upgraded to 6.6 (following Debian), and | now it is broken. | | class Error e => Game b mv e | b -> mv e where | newBoard :: MonadState b m => m () | ... | | Since MonadState has the fundep m -> b, the type | of newBoard fully specifies all of the class parameters. | And this worked fine in GHC 6.4. But GHC 6.6 | complains: | | The class method `newBoard' | mentions none of the type variables of the class Game b mv e | When checking the class method: newBoard :: m () | In the class declaration for `Game' | | Any ideas? | | Thanks, | Yitz | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell

2 3

Unpacking polymorphic fields
by Takano Akio 05 Jan '07

05 Jan '07

Hi, Suppose I have the following two datatypes. data B = B {-# UNPACK #-} !Int data C a = C {-# UNPACK #-} !Char !a If I have a strict function: test :: C B -> IO () I want it to be worker-wrapper-transformed into: $wtest :: Char# -> Int# -> State# RealWorld -> (# State# RealWorld, () #) but GHC actually generates something like: $wtest :: Char# -> B -> State# RealWorld -> (# State# RealWorld, () #) The question is: is there any way to ask GHC to produce the former? If the field is not polymorphic, UNPACK pragma can be used for this, but it does not work in this case. If there is no such way, would it be a reasonable "feature request" to add one? Regards, Takano Akio

2 4

ghci attempts to link entire package
by Bayley, Alistair 04 Jan '07

04 Jan '07

Related to some of the problems Takusen users have had, I have a question about ghci's linker/loader: why does it appear to try to link an entire package archive, rather than just the modules that are used? This is in contrast to the GNU ld program which the compiler uses, which only tries to link modules which are actually used. Is this a feature or a bug? Alistair ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. *****************************************************************

2 3

Running GHC on the IBM Cell
by Suter, Jaap 04 Jan '07

04 Jan '07

Hello, I'm trying to get GHC to run on the Cell processor. That is, just on the PPU PowerPC side. The SPUs will continue to run C programs, managed and driven by a Haskell manager on the PPU. I'm mostly interested in GHC for its concurrency features (STM in particular). Not knowing much about GHC yet, here's what I would expect in the ideal situation. 1. The RTS is largely cross-platform already. I might have to make some minor tweaks, but for the most part it should compile out of the box. 2. I setup GHC to compile my .hs files to .hc files; the C intermediates. 3. These are hopefully cross-platform as well, instead of being tied to my GHC distribution's platform. 4. I compile the RTS and .hc files and link them all together. 5. Done. This raises a few questions... * Are the .hc files cross-platform? Or does a GHC compiled for PowerPC generate different intermediate C code than a GHC compiled for X86? Ideally the platform specifics are hidden inside the RTS and two different GHC builds will output identical .hc files. * How cross-platform is the RTS? I downloaded the source tarball and dropped it on top of my XP installation of GHC. I then generated a simple Hello World haskell .hc intermediate and tried to compile that and the RTS. Unfortunately I ran into problems because things like HAVE_WINDOWS_H and HAVE_SIGNALS_H were defined. I started manually editing the code to tweak the configuration but ran into more problems (signal_set_t doesn't exist on my platform, but can't be conditionally compiled. static arrays of unknown size (StgWordArray) make my compiler unhappy. Etcetera). At this point I figured I would stop and ask for some help first, before I invest a lot of energy in a dead-end path. There must be a simpler way. I read parts of the "porting GHC to your platform" documentation, but I believe it addresses a different problem. I don't want to recompile GHC itself. I want to run my existing GHC on my XP machine and output intermediate .hc files. I then feed these plus a cross-platform RTS to my Cell compiler to get a workable program. I suppose I need to regenerate the ghautoconf for my particular platform (rather than hand-tweaking the existing one). Unfortunately I'm not much of a Linux or Gnu toolset expert. I see a bunch of config.* and configure.* file in the root folder. I suppose I should read up on those a little more. I'll do my homework first. In the meanwhile, if anybody has any quick and simple advice to make this process smoother that would be greatly appreciated. Kind regards, Jaap Suter - http://www.jaapsuter.com Some more random questions... * ghautoconf.h and HsBaseConfig.h have similar #defines (like HAVE_WINDOWS_H). Is there a reason for that? I always need to update them in two places now. * After downloading the source tarball and unzipping over my XP GHC installation, I got both an 'include' and an 'includes' directory. This is somewhat confusing.

3 3

LLVM back end
by Michael T. Richter 04 Jan '07

04 Jan '07

I've been eyeing LLVM[1] as interesting technology -- brief executive summary: a virtual machine suited as the back end of compiler output with optimised native code then coming from it as either JIT-based execution of the LLVM bytecode or as a further compilation step -- and couldn't help but immediately think of the possibility of one of the Haskell compiler projects providing an LLVM code generator. I think this would help in several areas: * it could make porting the compiler to other architectures -- including oddball ones that would be too small to otherwise support -- easier; * it could help remove the nigh-ubiquitous reliance upon GCC as a back-end (while I think that GCC is a pretty good piece of software, I'm not sure it's really suited to its current role as the "do-everything" back end); * it could leverage some of the really interesting work that's going on in optimisation technology by letting one VM's optimiser do the work for any number of languages; * it could improve interaction between source code written in multiple languages. Is this me opening up a Pandora's Box of ignorance here? Or is LLVM potentially interesting? (And were someone motivated into perhaps trying to make an LLVM back-end, where would one start to poke around in, say, the GHC codebase to even begin to implement this? And how insane would they be driven by the process?) [1]http://llvm.org -- Michael T. Richter Email: ttmrichter(a)gmail.com, mtr1966(a)hotpop.com MSN: ttmrichter(a)hotmail.com, mtr1966(a)hotmail.com; YIM: michael_richter_1966; AIM: YanJiahua1966; ICQ: 241960658; Jabber: mtr1966(a)jabber.cn "I have never seen the poor people being so familiar with their heads of state as they were with [Michele Duvalier]. It was a beautiful lesson for me. I've learned something from it." --Mother Theresa

6 9