March 2007 - Glasgow-haskell-users

scripts on unix
by Frederik Eaton 15 Mar '07

15 Mar '07

Hello, What is the proper technique for creating a Haskell script on a Unix system? e.g. with Perl I do #!/usr/bin/env perl print "hello world\n"; or #!/usr/bin/perl print "hello world\n"; I tried $ cat test #!/usr/bin/env runhaskell module Main where main = do putStrLn "hello world" But that doesn't work: $ ./test Warning: ignoring unrecognised input `./test' <interactive>:1:73: Failed to load interface for `Main': Use -v to see a list of the files searched for. When I use "runghc" I get the same error. If I change the first line to "-x hs" then the error is: ghc-6.6: unrecognised flags: -x hs Usage: For basic information, try the `--help' option. because the #! mechanism only allows a single argument. Thoughts? Thanks, Frederik -- http://ofb.net/~frederik/

8 13

Feature proposal: ghc --full-flag-help ?
by Marc Weber 14 Mar '07

14 Mar '07

Hi I did notice a lot of times that I just didn't remember the name of option X. How to look it up? Walk through html or pdf documentation? This forces me launching either firefox, entering shortcut odocghc (pointing to ghc help) ... HTML help ... flag reference .. which subtopic to look at? Lets try ... What about integrating a complete list into ghc which can accessed by ghc --full-flag-help | less ? If its too much effort to mantain both do you think one could be generated out of the other? Sure I can fake it and get that list out of the html documentation. I just want to know if someone else would like this flag, too Marc

5 6

hasktags - small patch
by Marc Weber 14 Mar '07

14 Mar '07

While starting to learn more about webfunctions I have noticed that hasktags doesn't recognize rwUserName and rwPasswd in the following code: data LogInController = LogInController {rLoggedIn::R Bool, rwUserName::RWE String, rwPasswd::RWE String} When using spaces it does LogInController {rLoggedIn :: R Bool, rwUserName :: RWE String, rwPasswd :: RWE String} This small patch introduces a now mywords function which recognizes a::b as words a,::,b which is what we need here (?) It does work in the above example. Here is the diff. Is it worth applying? 154c154 < let wordlines = map words aslines --- > let wordlines = map mywords aslines 161a162,174 > -- my words is mainly copied from Data.List. > -- difference abc::def is split into three words instead of one. > mywords :: String -> [String] > mywords (':':':':xs) = "::" : mywords xs > mywords s = case dropWhile {-partain:Char.-}isSpace s of > "" -> [] > s' -> w : mywords s'' > where (w, s'') = myBreak s' > myBreak [] = ([],[]) > myBreak (':':':':xs) = ([], "::"++xs) > myBreak (' ':xs) = ([],xs); > myBreak (x:xs) = let (a,b) = myBreak xs > in (x:a,b) Marc Weber

6 8

Still trying to build unregisterised for FreeBSD/amd64
by Gregory Wright 14 Mar '07

14 Mar '07

Hi, I have made some progress in compiling ghc-6.6 unregisterised for freebsd/amd64, but I am stuck again. To get the build on the host (freebsd/i386) to go through, I had to fix up Linker.c so that it would build. (Linker.c seems to define at least one utility function required by the rts, markRootPtrTable.) The instruction on the wiki to, "Don't worry if the build falls over in the RTS, we don't need the RTS yet," seems incorrect for ghc-6.6 at least. If the build fails in the rts, trying to proceed further just leads to more errors. I fixed up Linker.c by replacing the calls to mmap (which will need fixing up anyway on FreeBSD/amd64) with MAP_FAILED and copying the definitions of four relocation types for X86_64 from machine/elf.h on the target into do_Elf_Rela_relocations. (The build on the host complained that R_X86_64_64, R_X86_64_PC32, R_X86_64_32 and R_X86_64_32S were undefined.) With this change, the build on the host was able to complete. Collecting the .hc files works too, but the Makefile is out of date and references a few files that no longer exist. With a little hand editing, this is fixed and I have what I believe is a good set of .hc files. Over on the target, I unpack the fresh ghc-6.6-src.tar.bz2 and drop the .hc files on top of it. On FreeBSD, gmp is usually installed by the ports system in / usr/local/lib, so I preface invocations of configure in distrib/hc-build by CFLAGS="-I/usr/local/include" LDFLAGS="-L/usr/local/lib" so that the installed gmp is picked up in the configuration. I also edit mk/bootstrap.mk to add -L/usr/local/lib to HC_LD_BOOT_OPTS, and also add -lHSregex-compat -lHSregex-posix -lHSregex-base to HC_BOOT_LIBS. The directories to find the regex libraries also get added to HC_BOOT_LD_OPTS (-L$(FPTOOLS_TOP_ABS)/libraries/regex-*). I also have to delete cabal-setup from the SUBDIRS in libraries/Cabal/ Makefile. Otherwise the build fails complaining that there is no rule to make Cabal-setup.o. I also have to change libraries/base/Makefile to not try to build Prim.hs. It seems that when booting from .hc files, PrimopWrappers.hs does not in fact depend on Prim.hs; instead, PrimopWrappers.hs is not really used since we have PrimopWrappers.hc copied over from the host. (Without this change the Makefile tries to invoke the yet unbuilt genprimopcode program to build Prim.hs.) With these changes, distrib/hc-build is ready to roll. It chugs along happily until it tries to build Linker.c (which I have copied over from the host, so it has the changes that I made there) and then ghc-inplace segfaults: ../compiler/ghc-inplace -optc-O -optc-Wall -optc-W -optc-Wstrict- prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations - optc-Winline -optc-Waggregate-return -optc-Wbad-function-cast -optc- I../includes -optc-I. -optc-Iparallel -optc-DCOMPILING_RTS -optc- fomit-frame-pointer -optc-fno-strict-aliasing -H16m -O -optc-O2 - static -I. -#include HCIncludes.h -fvia-C -dcmm-lint -c Linker.c - o Linker.o Segmentation fault (core dumped) gmake: *** [Linker.o] Error 139 gmake: Leaving directory `/tmp/ghc-6.6/rts' I noticed that a year and a half ago when Wilhelm Kloke was porting ghc-6.4.1 to freebsd/amd64 he remarked that Linker.c had to be deleted. If I delete it from the target, the build just fails earlier, when genapply is being built, because of missing symbols: ------------------------------------------------------------------------ == gmake all -wr; in /tmp/ghc-6.6/utils/genapply ------------------------------------------------------------------------ gcc -x c GenApply.hc -o GenApply.o -c -O -fomit-frame-pointer -fno- asynchronous-unwind-tables -fno-unit-at-a-time -fno-builtin -DNO_REGS -DUSE_MINIINTERPRETER -D__GLASGOW_HASKELL__=606 -O -I/tmp/ghc-6.6/ includes -I/tmp/ghc-6.6/libraries/base/include -I/tmp/ghc-6.6/ libraries/unix/include -I/tmp/ghc-6.6/libraries/parsec/include -I/ tmp/ghc-6.6/libraries/readline/include -I. `echo | sed 's/^$/- DSTOLEN_X86_REGS=4/'` gcc -o genapply -fomit-frame-pointer -fno-asynchronous-unwind-tables -fno-unit-at-a-time -fno-builtin -DNO_REGS -DUSE_MINIINTERPRETER - D__GLASGOW_HASKELL__=606 -O -I/tmp/ghc-6.6/includes -I/tmp/ghc-6.6/ libraries/base/include -I/tmp/ghc-6.6/libraries/unix/include -I/tmp/ ghc-6.6/libraries/parsec/include -I/tmp/ghc-6.6/libraries/readline/ include -L/tmp/ghc-6.6/rts -L/tmp/ghc-6.6/libraries/base -L/tmp/ ghc-6.6/libraries/base/cbits -L/tmp/ghc-6.6/libraries/haskell98 -L/ tmp/ghc-6.6/libraries/parsec -L/tmp/ghc-6.6/libraries/regex-base -L/ tmp/ghc-6.6/libraries/regex-compat -L/tmp/ghc-6.6/libraries/regex- posix -L/tmp/ghc-6.6/libraries/Cabal -L/usr/local/lib -L/tmp/ghc-6.6/ libraries/template-haskell -L/tmp/ghc-6.6/libraries/readline -L/tmp/ ghc-6.6/libraries/unix -L/tmp/ghc-6.6/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 -lHSregex-compat -lHSregex-posix -lHSregex- base -lHShaskell98 -lHSrts -lHSbase -lHSbase_cbits -lHSparsec -lgmp -lm /tmp/ghc-6.6/rts/libHSrts.a(GC.o)(.text+0x779): In function `GarbageCollect': : undefined reference to `markRootPtrTable' /tmp/ghc-6.6/libraries/base/libHSbase.a(Stable.o)(.text+0x360): In function `sxz_ret': : undefined reference to `hs_free_stable_ptr' /tmp/ghc-6.6/libraries/base/libHSbase.a(Typeable.o)(.text+0x2b85): In function `s4SA_ret': : undefined reference to `hs_free_stable_ptr' /tmp/ghc-6.6/libraries/base/libHSbase.a(Conc.o)(.text+0x3f7b): In function `base_GHCziConc_par_entry': : undefined reference to `newSpark' gmake[1]: *** [genapply] Error 1 gmake: *** [all] Error 1 gmake: Leaving directory `/tmp/ghc-6.6/utils' I am wondering what to try next. Could ghc-inplace on the target be crashing because of differences in say, ptr sizes on the host versus the target? Could I fool the host build into using 64 bit pointers by replacing explicit pointers with "long long" integers? Or should I try building a set of .hc files on a 64 bit linux host and use those to bootstrap the freebsd/amd64 target? Any help would be appreciated. Especially useful would be any comments on which parts of the instructions can be trusted and which may be bitrotted and needing revision. Best Wishes, Greg

3 4

RE: Feature proposal: ghc --full-flag-help ?
by Sittampalam, Ganesh 14 Mar '07

14 Mar '07

> What about integrating a complete list into ghc which can accessed by > ghc --full-flag-help | less ? > Sure I can fake it and get that list out of the html documentation. I > just want to know if someone else would like this flag, too I would find it very useful too. Ganesh ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ==============================================================================

8 8

documentation of -M option insufficient
by Marc Weber 14 Mar '07

14 Mar '07

The description of the -M option looks like this: -M Generate dependency information suitable for use in a Makefile. (copied from http://www.haskell.org/ghc/docs/latest/html/users_guide/flag-reference.html…) It should contain the hint that it writes this information to a Makefile. I'm thinking of something like -M writes dependency information suitable for use in a Makefile into the Makefile Is it worth filing a bug report? Marc

1 1

cvs.haskell.org
by Christian Maeder 13 Mar '07

13 Mar '07

Hi Thomas, what happened to :pserver:anoncvs@cvs.haskell.org:/cvs ? We are no longer able to check out your programatica sources as described at: http://ogi.altocumulus.org/~hallgren/Programatica/cvs.html Already login fails with: Logging in to :pserver:anoncvs@cvs.haskell.org:2401/cvs CVS password: PAM start error: Critical error - immediate abort Fatal error, aborting. cvs [login aborted]: unrecognized auth response from cvs.haskell.org: pam failed to release authenticator Cheers Christian

1 0

slight difference in strictness between -O0 and -O
by Albert Y. C. Lai 13 Mar '07

13 Mar '07

main = print (map (const 'x') (take 1 (undefined:undefined))) In ghci, or with ghc -O0, this produces "x". With ghc -O, this produces Prelude.undefined. But hey, please don't sweat too much on it! I bet it is a rather pathological case.

3 5

Fwd: [Haskell-cafe] Re: Distributing a GHC-compiled binary for Macs (x86)
by Arjun Guha 11 Mar '07

11 Mar '07

My apologies for duplicates, if any. I sent it first from the wrong address ---------- Forwarded message ---------- Thanks for the info. The solution I plan to adopt is as follows. I can create a tarball of the /Library/Frameworks/GMP.framework folder on my Intel-Mac that has GHC 6.6 installed. I can ask users of my application to download said tarball and install it in /Library/Frameworks or ~/Library/Frameworks. I tested it on one Mac that didn't have GHC, and it worked. I'll try it on a few others before declaring that it does work. On a slightly related note, it appears that GHC-compiled Windows programs either don't use GMP or have it statically embedded. I ran a Windows binary of the same program on a machine that almost certainly doesn't have GMP installed and it worked. Any confirmation would be appreciated. Thanks for the help. Arjun On 3/9/07, Christian Maeder <maeder(a)tzi.de> wrote: > (move a discussion to glasgow-haskell-users) > > Macs that don't have GHC installed don't seem to have readline-5 > installed, either. > > Therefore we've created that GNUreadline.framework (see below). However, > the binary that one wants to distribute must be linked against that > framework. We do this by adding linker options to ghc: > > -optl-F/home/maeder/Library/Frameworks -optl-framework -optlGNUreadline > > We have also created a binary distribution (for powerpc, though) that > uses our GNUreadline.framework. For this we've changed > libraries/readline/config.mk manually: > > LD=/usr/bin/ld -F/home/maeder/Library/Frameworks -framework GNUreadline > SRC_HC_OPTS += > -optc-I/home/maeder/Library/Frameworks/GNUreadline.framework/Headers > -optl-F/home/maeder/Library/Frameworks -optl-framework -optlGNUreadline > SRC_HSC2HS_OPTS += > -I/home/maeder/Library/Frameworks/GNUreadline.framework/Headers > > The binary distribution is here: > http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/het… > > We think, that such a GNUreadline.framework is more flexible and > mac-like than installing readline-5 under /opt/local. The framework can > reside under /System/Library/Frameworks but also under > $HOME/Library/Frameworks. > > Maybe you could consider making such a distribution (that also doesn't > need root permission) as well? > > The sources and the script to create the GNUreadline framework are included: > http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/het… > > Cheers Christian > > Christian Maeder schrieb: > > Arjun Guha schrieb: > >> Hi, > >> > >> I compiled a binary using GHC 6.6 on my Mac (specifically, using ghc > >> --make). This binary seems to depend on the GNU MP framework--I > >> imagine GHC uses it to implement its numeric tower. > >> > >> However, Macs that don't have GHC installed don't seem to have GMP, so > >> I'll guess that it was installed along with the GHC binary. Is there > >> any way to get around this GMP dependency? I expect the binary to be > >> used on Macs that don't have GHC installed. It would be acceptable if > >> I instructed Mac-users to download a binary installer for GMP, but I > >> haven't been able to find one. > >> > >> Any hints or suggestions would be appreciated. Thanks. > > > > We tell our users to install a GMP.framework and a GNUreadline.framework: > > > > http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/het… > > > > Cheers Christian > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >

1 0

Haskell API for memory useage
by Neil Mitchell 10 Mar '07

10 Mar '07

Hi, Haskell has getCPUTime to get the amount of CPU Time that has been consumed, but has no equivalent for memory use. I would like to get something similar to -RTS -t, but from a Haskell program. I'm not overly fussed about what memory statistic I get, as long as it is something that corresponds in some way to the amount of memory that has been used - cells, heap size, live heap etc are all fine. So, I'm after something like: getMemoryUse :: IO Integer Is there anything I can use to do this? Thanks Neil

3 4