- Glasgow-haskell-users

Problems compiling
by Nuno Santos 18 May '06

18 May '06

Hi, I'm very lame in Haskell and compiling is very new to me. I have this problem when compilng a program that runs without error: MACKIE:/Volumes/DADOS/LESI/4 Ano/SSDI lpx$ ghc polish.hs compilation IS NOT required /usr/bin/ld: Undefined symbols: _ZCMain_main_closure ___stginit_ZCMain collect2: ld returned 1 exit status Do i need to add extra parameters to ghc? I need to know or thing... I need to obtain the arguments of a haskell program and then treat those arguments as a list inside the program example: polish [(1,(2,3)),(2,(3,4)),(3,(5,6))] And then i want to have that list inside the program. How can i do that? For now i have the following code: main :: IO () main = do args <- getArgs print args Well, i hope someone can answer me these questions. Many thx, Nuno Santos

3 4

RE: [Haskell] My brain just exploded
by Simon Peyton-Jones 17 May '06

17 May '06

[Redirecting to GHC users] Yes, GHC insists that you use 'case' when unpacking data constructor that bind existential type variables. http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions. html#existential-quantification (look at 7.4.1.4.3) It's not clear (to me) how to write the typing rule for pattern matching in lets when existentials are involved. Simon | -----Original Message----- | From: haskell-bounces(a)haskell.org [mailto:haskell-bounces@haskell.org] On Behalf Of Dominic | Steinitz | Sent: 14 May 2006 09:03 | To: haskell(a)haskell.org | Subject: [Haskell] My brain just exploded | | What a great error message: | | qcgadt.hs:115:7: | My brain just exploded. | I can't handle pattern bindings for existentially-quantified constructors. | In the binding group | (Rep x) = uncompressRep s | In the definition of `uncompressRep': | uncompressRep (0 : 1 : 0 : s) = let (Rep x) = uncompressRep s in Rep | (RList x) | Failed, modules loaded: none. | | Here's the offending line: | | uncompressRep (0:1:1:s) = | let (Rep x) = uncompressRep s in | Rep (RList x) | | But this works: | | uncompressRep (0:1:0:s) = | let x = uncompressRep s in | case x of | (Rep y) -> Rep (RList y) | | Can someone explain this? | | Thanks, Dominic. | | | | _______________________________________________ | Haskell mailing list | Haskell(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell

1 0

ghc api / calling functions?
by Maarten 16 May '06

16 May '06

Dear all, Is there a way to use the ghc api to call functions directly instead of evaluating statements (more or less similar to hs-plugins)? So far, thanks to some info pages, I have been able to load sessions and make modules, however there seems to be little or no documentation on calling functions directly. Any info/pointers appreciated. Thanks. Kind regards, Maarten

2 4

HEAD: Problem Linking genapply in 6.5.20060510
by Reilly Hayes 15 May '06

15 May '06

I'm continuing in my quest to produce a clean build of GHC for Mac intel. I'm using registerised .hc files built on 386 linux. I suspect today's problem is pretty easy to figure out for a GHC expert, but I'm not. When I try to build utils/genapply, the link fails because the symbols _GHCziList_lvl22_closure and _GHCziList_zdwlen_info are undefined. I'll include the build log below. While we're on the topic, can somebody explain the algorithm used to generate these symbol names? The build log was: gcc -x c GenApply.hc -o GenApply.raw_s -S -O -fno-builtin -fno-defer- pop -fomit-frame-pointer -mdynamic-no-pic - DDONT_WANT_WIN32_DLL_SUPPORT -mdynamic-no-pic - D__GLASGOW_HASKELL__=605 -O -I/Users/rfh/ghc-6.5/mac/ ghc-6.5.20060510/includes -I/Users/rfh/ghc-6.5/mac/ghc-6.5.20060510/ libraries/base/include -I/Users/rfh/ghc-6.5/mac/ghc-6.5.20060510/ libraries/unix/include -I/Users/rfh/ghc-6.5/mac/ghc-6.5.20060510/ libraries/parsec/include -I/Users/rfh/ghc-6.5/mac/ghc-6.5.20060510/ libraries/readline/include -I. `echo | sed 's/^$/- DSTOLEN_X86_REGS=4/'` ../../driver/mangler/ghc-asm GenApply.raw_s GenApply.s as -o GenApply.o GenApply.s gcc -o genapply -fno-builtin -fno-defer-pop -fomit-frame-pointer - mdynamic-no-pic -DDONT_WANT_WIN32_DLL_SUPPORT -mdynamic-no-pic - D__GLASGOW_HASKELL__=605 -O -I/Users/rfh/ghc-6.5/mac/ ghc-6.5.20060510/includes -I/Users/rfh/ghc-6.5/mac/ghc-6.5.20060510/ libraries/base/include -I/Users/rfh/ghc-6.5/mac/ghc-6.5.20060510/ libraries/unix/include -I/Users/rfh/ghc-6.5/mac/ghc-6.5.20060510/ libraries/parsec/include -I/Users/rfh/ghc-6.5/mac/ghc-6.5.20060510/ libraries/readline/include -L/Users/rfh/ghc-6.5/mac/ ghc-6.5.20060510/rts -L/Users/rfh/ghc-6.5/mac/ghc-6.5.20060510/rts/ gmp -L/Users/rfh/ghc-6.5/mac/ghc-6.5.20060510/libraries/base -L/Users/ rfh/ghc-6.5/mac/ghc-6.5.20060510/libraries/base/cbits -L/Users/rfh/ ghc-6.5/mac/ghc-6.5.20060510/libraries/haskell98 -L/Users/rfh/ghc-6.5/ mac/ghc-6.5.20060510/libraries/parsec -L/Users/rfh/ghc-6.5/mac/ ghc-6.5.20060510/libraries/Cabal -L/Users/rfh/ghc-6.5/mac/ ghc-6.5.20060510/libraries/template-haskell -L/Users/rfh/ghc-6.5/mac/ ghc-6.5.20060510/libraries/readline -L/Users/rfh/ghc-6.5/mac/ ghc-6.5.20060510/libraries/unix -L/Users/rfh/ghc-6.5/mac/ ghc-6.5.20060510/libraries/unix/cbits -u "_GHCziBase_Izh_static_info" -u "_GHCziBase_Czh_static_info" -u "_GHCziFloat_Fzh_static_info" -u "_GHCziFloat_Dzh_static_info" -u "_GHCziPtr_Ptr_static_info" -u "_GHCziWord_Wzh_static_info" -u "_GHCziInt_I8zh_static_info" -u "_GHCziInt_I16zh_static_info" -u "_GHCziInt_I32zh_static_info" -u "_GHCziInt_I64zh_static_info" -u "_GHCziWord_W8zh_static_info" -u "_GHCziWord_W16zh_static_info" -u "_GHCziWord_W32zh_static_info" -u "_GHCziWord_W64zh_static_info" -u "_GHCziStable_StablePtr_static_info" -u "_GHCziBase_Izh_con_info" -u "_GHCziBase_Czh_con_info" -u "_GHCziFloat_Fzh_con_info" -u "_GHCziFloat_Dzh_con_info" -u "_GHCziPtr_Ptr_con_info" -u "_GHCziStable_StablePtr_con_info" -u "_GHCziBase_False_closure" -u "_GHCziBase_True_closure" -u "_GHCziPack_unpackCString_closure" -u "_GHCziIOBase_stackOverflow_closure" -u "_GHCziIOBase_heapOverflow_closure" -u "_GHCziIOBase_NonTermination_closure" -u "_GHCziIOBase_BlockedOnDeadMVar_closure" -u "_GHCziIOBase_Deadlock_closure" -u "_GHCziWeak_runFinalizzerBatch_closure" -u "___stginit_Prelude" GenApply.o -lHSreadline -lHStemplate-haskell -lHSunix - lHSunix_cbits -lHSCabal -lHShaskell98 -lHSbase -lHSbase_cbits - lHSparsec -lHSrts -lgmp -lm -lreadline -lncurses -ldl /usr/bin/ld: Undefined symbols: _GHCziList_lvl22_closure _GHCziList_zdwlen_info collect2: ld returned 1 exit status make[1]: *** [genapply] Error 1 Reilly Hayes

4 4

Failure building HEAD in libraries/base/Data/ByteString.hs
by Reilly Hayes 15 May '06

15 May '06

I get the following error when trying to bootstrap the 6.5.20060506 snapshot from hc files (registerised): gcc -x c Data/ByteString.hc -o Data/ByteString.raw_s -S -O -fno- defer-pop -fomi t-frame-pointer -mdynamic-no-pic -DDONT_WANT_WIN32_DLL_SUPPORT - mdynamic-no-pi c -D__GLASGOW_HASKELL__=605 -O -mdynamic-no-pic -I/Users/rfh/haskell/ mac/ghc-6. 5.20060506/includes -I/Users/rfh/haskell/mac/ghc-6.5.20060506/ libraries/base/inc lude -I/Users/rfh/haskell/mac/ghc-6.5.20060506/libraries/unix/include -I/Users/r fh/haskell/mac/ghc-6.5.20060506/libraries/parsec/include -I. `echo | sed ' s/^$/-DSTOLEN_X86_REGS=4/'` Data/ByteString.hc: In function 'DataziByteString_zdwccall_entry': Data/ByteString.hc:8631: error: unable to find a register to spill in class 'DIR EG' Data/ByteString.hc:8631: error: this is the insn: (insn 22 45 23 0 (parallel [ (set (reg:SI 2 cx [64]) (unspec:SI [ (mem:BLK (reg:SI 1 dx [orig:66 _cdHE ] [66]) [0 A8]) (reg:QI 0 ax [68]) (const_int 1 [0x1]) (reg:SI 2 cx [67]) ] 20)) (use (reg:SI 19 dirflag)) (clobber (reg:SI 1 dx [orig:66 _cdHE ] [66])) (clobber (reg:CC 17 flags)) ]) 479 {*strlenqi_1} (insn_list:REG_DEP_TRUE 18 (insn_list:REG_DEP_TRUE 19 (insn_list:REG_DEP_TRUE 20 (insn_list:REG_DEP_TRUE 21 (nil))))) (expr_list:REG_UNUSED (reg:CC 17 flags) (expr_list:REG_UNUSED (reg:SI 1 dx [orig:66 _cdHE ] [66]) (expr_list:REG_DEAD (reg:SI 19 dirflag) (expr_list:REG_DEAD (reg:SI 2 cx [67]) (expr_list:REG_DEAD (reg:QI 0 ax [68]) (expr_list:REG_DEAD (reg:SI 1 dx [orig:66 _cdHE ] [66]) (expr_list:REG_UNUSED (reg:CC 17 flags) (expr_list:REG_UNUSED (reg:SI 1 dx [orig:66 _cdH E ] [66]) (nil)))))))))) Data/ByteString.hc:8631: confused by earlier errors, bailing out make[1]: *** [Data/ByteString.raw_s] Error 1 make: *** [all] Error 1 I am insufficiently experienced with the build process to know if this was from an error in creating the .hc file or a problem with the source. I have noticed that the file ByteString.hs seems to be new. I am building the .hc files on 386 linux (Ubuntu breezy badger): linux kernel 2.6.12 ghc-6.5.20060502 is installed gcc is 4.0.2 I am using the registerised .hc files to bootstrap to Max OS X x86 Mac OS X 10.4.6 no ghc installed gcc is 4.0.1 (as included in Xcode) Reilly Hayes

3 9

GHC Hackathon
by Simon Peyton-Jones 12 May '06

12 May '06

Friends, A couple of weeks ago Simon M advertised the possibility that he and I might run a "GHC Hackathon", in Portland, later this year prior to ICFP (Sept 14-16 or thereabouts). The idea is that we'd give an extended tutorial about GHC's glorious innards. Then we'd have some hacking time in which you can pick something which you think GHC could do better, and implement it, with Simon and me wandering causing trouble. (E.g. look at GHC's list of tasks http://hackage.haskell.org/trac/ghc/report/2, but don't limit yourself to those.) We're trying to find out whether anyone would come if we ran it. At the Haskell workshop in Tallinn, around 30 people put up their hand to say they were interested. So far, though, only 11 people responded on the Wiki page. That's on the borderline of whether it's worth doing the preparation and setup it'd need. So if you are the kind of person who's interesting in working on GHC (and the mailing list activity suggests that your numbers have increased sharply over the last 12 months), this message is to encourage you to go to the Wiki page: http://hackage.haskell.org/trac/ghc/wiki/Hackathon Please vote in the little (2-question!) survey, to indicate your interest, and add any comments and suggestions of you own. Excerpts below. Could be fun. Simon ============================ The 2006 GHC hackathon At the 2005 Haskell workshop we were asked to consider running a "GHC hackathon" around ICFP 2006. A surprisingly large number of people in the room indicated that they'd be interested in coming to such a thing. This Wiki page says what we have in mind, and asks you to indicate whether you'd be likely to come, and what sort of meeting you'd like. What we do will depend on what you say. Purpose GHC is used by lots of people, but its implementation is rather over-centralised, even though GHC is a BSD-licensed, open-source project. The biggest obstacle to more people getting involved is that GHC is a big, and hence intimidating, system. The purpose of the GHC hackathon is to give a tutorial in GHC's innards, plus time to work on some projects in a context where there are plenty of people around to help. The objective is to substantially broaden (more numbers) and deepen (more confidence) the community of people who feel they know enough to fix and enhance GHC. We'll suggest some projects, but you're welcome to come along with your own wacky ideas or itches that you want to scratch, and work on them in an environment with a high-bandwidth connection to developers who really know the innards of GHC. You could work on something individual, or in small groups. We anticipate all being in one room, or in a tight group of rooms, so there'd be lots of informal interaction. Also there's a good chance it'll be fun :-) Venue Galois has very kindly agreed to host the meeting. Cost Zero. But you'll have to feed yourself. And you may have to bring a laptop (capable of building GHC). Programme We had in mind the following. One full day of tutorial from Simon & Simon about GHC's glorious innards. Then one or two days of hacking on projects. Timing: The Haskell workshop is on Sunday 17 Sept; ICFP starts the next day. On Saturday is the ML and Erlang workshops. We propose to run the GHC hackathon something like Thurs-Sat 14-16 Sept, so that people who want to go to the ML workshop still can; but those who don't won't have a blank day.

1 0

Parallel GHC on Altix?
by Chad Scherrer 12 May '06

12 May '06

Hi, I'd like to get more involved in parallel programming in Haskell, and I have access to an SGI Altix machine (a shared-memory multiprocessor). Can someone tell me, if I download a 64-bit GHC 6.5 snapshot, to what extent will parallelism "just work"? Specifically, I'm interested in * parallel evaluation strategies * nested data parallelism * forkIO, MVar's, and STM My understanding is that for the 32-bit version, this all works in parallel, but GC is sequential. Is that still the case? Is the 64-bit version in the same state? Finally, is there an estimated date for when 6.6 will be available? I'm happy to experiment with snapshots, but most admins around here are much more comfortable installing an official release of some sort. Thanks! -- Chad Scherrer "Time flies like an arrow; fruit flies like a banana" -- Groucho Marx

3 5

WordPtr,IntPtr,IntMax,WordMax
by John Meacham 12 May '06

12 May '06

I was curious if ghc could support the following basic types, they will likely just be aliases of existing types. WordPtr uintptr_t WordMax uintmax_t IntPtr intptr_t IntMax intmax_t all these C types are defined by ISO C so should be available, otherwise, they are easy enough to generate in ghcs autoconf script. jhc provides these under these names in Data.Word and Data.Int. they would be useful for writing jhc/ghc portable low level code, and writing 32/64 bit safe code. John -- John Meacham - ⑆repetae.net⑆john⑈

9 18

package net question
by jur 11 May '06

11 May '06

Hello, I've been building the head and in my adaptation i need package net. I added this to the SRC_HC_OPTS, which made at least the haskell compile to hi/o. But when the ghc-6.5 compiler is built I get the complaint that ghc- inplace does not have this package. Funny thing is that when I omit the -package net option, it does compile. What is the cause of all this? Must I reconfigure and build? Is there something else I am missing? I can imagine that it is determined from the SRC_HC_OPTS which packages must be built for ghc-inplace, but maybe there is a different reason. Note that I did not do a rebuild (and I would like to avoid reconfiguring and building since it takes ages on my machine). And before I do it, it would be nice to know that this solves the not overly large problem. So, can anyone tell me? thanks, Jur

2 1

Installation of Visual Haskell
by Allen Brown 10 May '06

10 May '06

I have just installed Visual Haskell as per the instructions at http://www.haskell.org/visualhaskell/. I do not see Visual Haskell among the supported languages on the splash screen. On the other hand, there is a "Haskell Projects" folder under the new projects that can be created and the Visual Haskell documentation is apparent under the documentation tree rooted at "Visual Haskell Help Collection". Finally, if I try to create either a console project or a library project, the respective pop-up error messages The application for project 'C:\Program Files\Visual Haskell\Templates\Projects\Console Application.cabal is not installed. Make sure the application for the project type (.cabal) is installed. The application for project 'C:\Program Files\Visual Haskell\Templates\Projects\Library Package.cabal is not installed. Make sure the application for the project type (.cabal) is installed. ensue. I gather from all of the above that the installation must be incomplete in some fashion. I should also point out 3 (possibly relevant) things about my environment: 1. I am running both Visual Studio 2005 and Visual Studio .Net 2003 (the academic version). 2. I do not have the Visual Studio .Net 2003 documentation installed. (I reinstalled VS .Net 2003 for the sole purpose of running Visual Haskell. So I deemed the documentation unnecessary. In this aspect the installation is incomplete.) 3. I am running standalone versions of both GHC 6.4 and 6.5. Allen L. Brown, Jr., Ph.D. Senior Software Architect Advanced Strategies and Policy (Incubations) Microsoft Corporation One Microsoft Way Redmond, WA 98052-6399 USA +1 425 705-3290 (voice) +1 425 985-8961 (mobile) +1 425 706-7329 (fax) <mailto:allenbr@microsoft.com> allenbr(a)microsoft.com (email)

2 1