- Glasgow-haskell-users

GHC 6.8.1 on Mac OS X 10.5 (Leopard)
by Manuel M T Chakravarty 11 Jan '08

11 Jan '08

A full binary distribution of GHC 6.8.1 for Mac OS X 10.5 (Leopard) is available from http://www.cse.unsw.edu.au/~chak/haskell/ghc-6.8.1-i386-apple-darwin.tar.bz2 To use it, you need two other pieces of software installed: Xcode 3.0 -- as available from the Leopard upgrade/install DVD or developer.apple.com readline 5.2 -- preferably installed via macports in /opt/local Moreover, if you have the GMP.framework installed (a leftover from 10.4), remove it first. To install, follow the instructions at http://www.haskell.org/ghc/docs/latest/html/users_guide/installing-bin-dist… Happy Haskell Hacking! Manuel -=- GHC on Mac OS X 10.5 mini FAQ: * When trying to compile GHC, I get a segv on Float.lhs (of the base package is compiled). Why? AFAIK this only happens if the GHC you try to bootstrap with is too old (eg, 6.6). * With the binary distribution why do I get a link error complaining about "_environ"? You still have the GMP framework installed. It was linked against an old libc, which causes the error. Remove the GMP framework. * What GMP library is used? GHC 6.8.1 includes an embedded GMP library (ie, it's bundled with the source). It is compiled as a static library and placed into the GHC install tree.

13 42

Re: problem with GHC installaion on x86_64
by Yu Di 10 Jan '08

10 Jan '08

Hi, I found that the x86_64 binary package for version 6.4.1 can be installed successfully on my machine (the x86_64 builds for higher versions either require libreadline.so.5 or have problems with timer_create), and then I tried to use that to compile 6.8.2 from source, but I got the following problem: make[2]: Entering directory `.../ghc-6.8.2/libraries/base' ../../compiler/stage1/ghc-inplace -package-name base-3.0.1.0 -hide-all-packages -split-objs -i -idist/build/autogen -idist/build -i. -Idist/build -Iinclude -#include "HsBase.h" -odir dist/build -hidir dist/build -stubdir dist/build -package rts-1.0 -O -fglasgow-exts -package-name base -XCPP -idist/build -H16m -O -O -Rghc-timing -fgenerics -c Control/Concurrent.hs -o dist/build/Control/Concurrent.o -ohi dist/build/Control/Concurrent.hi ghc-6.8.2: panic! (the 'impossible' happened) (GHC version 6.8.2 for x86_64-unknown-linux): lookupVers1 base:GHC.Prim sym{tc} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug <<ghc: 107290456 bytes, 19 GCs, 3592250/7424504 avg/max bytes residency (3 samples), 20M in use, 0.00 INIT (0.00 elapsed), 0.17 MUT (0.23 elapsed), 0.06 GC (0.07 elapsed) :ghc>> What is this problem? (I can use 6.4.1 but my programs were last developed with 6.8.1 and contains some function calls that are added later, so I would prefer to use 6.8.1 and above) Thanks, Di, Yu 1.9 ----- Original Message ---- From: Bryan O'Sullivan <bos(a)serpentine.com> To: Yu Di <diyu60607(a)yahoo.com> Cc: glasgow-haskell-users(a)haskell.org Sent: Tuesday, January 8, 2008 10:07:16 PM Subject: Re: problem with GHC installaion on x86_64 Yu Di wrote: > Hi, I am trying to use ghc on a 64-bit machine (uname -a shows: Linux > ... 2.6.9-55.ELsmp #1 SMP Fri Apr 20 16:36:54 EDT 2007 x86_64 x86_64 > x86_64 GNU/Linux), Since you're using RHEL4, you could try grabbing a GHC source RPM for Fedora and building that. It might take a bit of tweaking, but probably very little. (For instructions on building binary RPMs from source, Google around.) <b ____________________________________________________________________________________ Looking for last minute shopping deals? Find them fast with Yahoo! Search. http://tools.search.yahoo.com/newsearch/category.php?category=shopping

2 1

darcs patch: [PROOF OF CONCEPT] build readline package with libedit
by Judah Jacobson 09 Jan '08

09 Jan '08

On Jan 8, 2008 5:39 AM, Simon Marlow <simonmarhaskell(a)gmail.com> wrote: > Ian Lynagh wrote: > > Perhaps the best answer is for someone to make editline bindings for > > Haskell? > > I don't *think* libedit provides the completion functionality that we use > in GHC, but I could be wrong. The only way to know for sure is to try it out! Attached is a proof-of-concept patch which adds the --with-libedit flag to the readline package's autoconf scripts. * PROOF OF CONCEPT: add --with-libedit flag to allow building a minimal version of the library against libedit. M ./HsReadline_cbits.c +2 M ./System/Console/Readline.hsc -1 +50 M ./aclocal.m4 +6 M ./configure.ac -4 +10 With this patch (and a small, unrelated hack to statically link gmp) I was able to build a version of ghc which only depends on the dynamic libraries installed on OS X 10.4 by default: $ otool -L ghc-6.9.20071221 ghc-6.9.20071221: /usr/lib/libedit.2.dylib (compatibility version 2.0.0, current version 2.0.0) /usr/lib/libncurses.5.4.dylib (compatibility version 5.4.0, current version 5.4.0) /usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 88.3.9) I played around with completion of filenames, modules, identifiers and flags in ghci, and it all seems to be working fine. Best, -Judah

3 7

bindist for Intel MacOS X 10.4 (Tiger) with static libs
by Christian Maeder 09 Jan '08

09 Jan '08

Hi, I've succeeded in building a binary distribution that uses static libraries for gmp and readline. libreadline.a, libncurses.a and libgmp.a with corresponding header files are included. (For license issues ask someone else.) Linking is done using the flag -search_paths_first. Frameworks or dylibs for gmp or readline are no longer required and are not used when linking binaries. http://www.dfki.de/sks/hets/intel-mac/versions/ghc-6.8.2-i386-apple-darwin-… Other static libraries are compatible with those from http://www.dfki.de/sks/hets/intel-mac/versions/ghc-6.8.2-i386-apple-darwin.… (in fact HSreadline-1.0.1.0 was created this way) Cheers Christian P.S. ranlib during installation is actually not needed on Intel Macs (only for PPC)

1 2

Re: problem with GHC installaion on x86_64
by Yu Di 09 Jan '08

09 Jan '08

Hi, I found the RHEL4 souce and binary RPMs from http://forte-intl.com/~ronald/haskell/ghc/rhel4/, however, I do not have root privileges on the machine and therefore the installation attempts all failed (for binary RPM, it says can't create transaction lock /var/lock/rpm/transaction, for source RPM, it says cannot write to %sourcedir /usr/src/redhat/SOURCES). Also, I currently have no access to any machine on which there is a working ghc installation so I can't even try the nonregisterised bootstrapping procedure. What should I try now? Thanks! Di, Yu 1.9 ----- Original Message ---- From: Bryan O'Sullivan <bos(a)serpentine.com> To: Yu Di <diyu60607(a)yahoo.com> Cc: glasgow-haskell-users(a)haskell.org Sent: Tuesday, January 8, 2008 10:07:16 PM Subject: Re: problem with GHC installaion on x86_64 Yu Di wrote: > Hi, I am trying to use ghc on a 64-bit machine (uname -a shows: Linux > ... 2.6.9-55.ELsmp #1 SMP Fri Apr 20 16:36:54 EDT 2007 x86_64 x86_64 > x86_64 GNU/Linux), Since you're using RHEL4, you could try grabbing a GHC source RPM for Fedora and building that. It might take a bit of tweaking, but probably very little. (For instructions on building binary RPMs from source, Google around.) <b ____________________________________________________________________________________ Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it now. http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ

1 0

GHC source code improvement ideas
by Twan van Laarhoven 09 Jan '08

09 Jan '08

Hello GHC people, I was trying my hand at some GHC hacking, and I couldn't help but notice that much of the code looks (IMHO) horrible. There are some things that look as if they haven't been touched since the Haskell 1.3 days. The most striking is the use of `thenXX` instead of do notation. I was thinking of cleaning up some of this. In particular: 1a. Use do notation where possible instead of `thenXX`. 1b. Even better, use Applicative where possible. For example ds_type (HsFunTy ty1 ty2) = dsHsType ty1 `thenM` \ tau_ty1 -> dsHsType ty2 `thenM` \ tau_ty2 -> returnM (mkFunTy tau_ty1 tau_ty2) Could be rewritten as ds_type (HsFunTy ty1 ty2) = mkFunTy <$> dsHsType ty1 <*> dsHsType ty2 2. Investigate the need for all these mappM functions. To quote the source: "Standard combinators, but specialised for this monad (for efficiency)". Wouldn't a SPECIALIZE pragma work just as well? 3. In general, use standard functions when they are available. Currently GHC has its own sort function and its own versions of FiniteMap/Data.Map and Text.PrettyPrint. Using standard functions/data structures will a) make GHC smaller and therefore easier to maintain, and b) will make the code easier to understand for someone who knows the standard library. 4. A more radical change would be introducing hierarchical modules. This could be just a matter of renaming the directories to start with an upper case character and changing the import declarations. This gives module names like "Typecheck.TcGadt". The tc is redundant here, so perhaps it should be renamed to "Typecheck.Gadt" or "Typecheck.GADT". Perhaps even better would be "GHC.Typecheck.GADT", this way some modules can be exposed as part of the GHC api. How do the GHC developers feel about this? Would such paches be gladly excepted? Or will they be directly forwarded to the bit bucket? Twan

11 13

problem with GHC installaion on x86_64
by Yu Di 09 Jan '08

09 Jan '08

Hi, I am trying to use ghc on a 64-bit machine (uname -a shows: Linux ... 2.6.9-55.ELsmp #1 SMP Fri Apr 20 16:36:54 EDT 2007 x86_64 x86_64 x86_64 GNU/Linux), I first downloaded the x86 binary bz2 file and successfully installed it, but when I use that version to compile my programs, I get a lot of error messages like: /tmp/ghc2448_0/ghc2448_0.s:10214:0: Error: suffix or operands invalid for `push' Then I downloaded the x86_64 binary bz2 file and tried to install it, but when I am running "configure --prefix=...", I got: pwd: timer_create: Invalid argument and configure fails. So where should I be able to get a working version for this machine? Thanks! Di, Yu 1.8 ____________________________________________________________________________________ Never miss a thing. Make Yahoo your home page. http://www.yahoo.com/r/hs

2 1

Re: http://www.haskell.org/ghc/dist/mac_frameworks/GNUreadline-framework.zip
by Thorkil Naur 08 Jan '08

08 Jan '08

Hello, On Friday 04 January 2008 12:03, Christian Maeder wrote: > ... Thanks a lot for this response. > I'm not happy about this framework hick-hack either. I am glad we agree about that. > I've only pushed > it, because we needed a readline solution on macs. I understand that there are problems in this area, but I am not convinced that they could not be solved without the renamed and/or modified readline library. I am sorry if you have done that already elsewhere, but I don't recall having seen any details about your difficulties. Would you be kind enough to supply some details? Thanks a lot. > The alternative is to use static linking of gmp (as suggested by chak) > _and_ readline (version 5), so that user programs are also statically > linked with these libs. Again, I am not convinced that this is the only alternative. > ... > Regarding this actual GNUreadline-framework.zip replacement, this is > harmless and seems to matter only for those who build ghc with > frameworks (as only the inclusion of header files changed) It is perhaps without any practical consequences, but I have seen many cases where circumstances managed to create the most glorious confusion out of the most innocently looking changes. So I would maintain that replacing something that you have published with something different is not a good idea. > > In any case we should strive to fix the frameworks issues _and_ add > support for static linking of gmp, readline and possibly other libs > (plus license issues). I fully agree with this. Ideally, the plan would be to, first, figure out what the ideal solution looks like. And then work towards that ideal solution. Making sure that what we introduce on the way as short-term hacks are clearly marked as such, to ensure that they don't impress themselves on people's minds as part of the final solution. I have every intention to work out some ideal (or perhaps more modestly: better) solution. But whether it will emerge in time to make any difference, remains to be seen. > > HTH Christian Thanks and best regards Thorkil

5 6

GHC Core question
by Neil Mitchell 07 Jan '08

07 Jan '08

Hi I've compiled the Debug.Trace module to Core, but can't understand the resulting output. The original code is: trace string expr = unsafePerformIO $ do putTraceMsg string return expr The core is: Debug.Trace.trace = \ (@ a) -> __letrec { trace :: GHC.Base.String -> a -> a [] trace = \ (string :: GHC.Base.String) (expr :: a) -> GHC.Base.$ @ (GHC.IOBase.IO a) @ a (GHC.IOBase.unsafePerformIO @ a) (>> @ () @ a (Debug.Trace.putTraceMsg string) (return @ a expr)); $dMonad :: GHC.Base.Monad GHC.IOBase.IO [] $dMonad = $dMonad; return :: forall a. a -> GHC.IOBase.IO a [] return = GHC.Base.return @ GHC.IOBase.IO $dMonad; $dMonad :: GHC.Base.Monad GHC.IOBase.IO [] $dMonad = GHC.IOBase.$f16; >> :: forall a b. GHC.IOBase.IO a -> GHC.IOBase.IO b -> GHC.IOBase.IO b [] >> = GHC.Base.>> @ GHC.IOBase.IO $dMonad; } in trace; And my Haskell reformatting of that is: Debug.Trace.trace = let trace string expr = unsafePerformIO $ putTraceMsg string >> return expr $dMonad = $dMonad; return = GHC.Base.return $dMonad; $dMonad = GHC.IOBase.$f16; >> = GHC.Base.>> $dMonad; in trace However, that let expression has two bindings for $dMonad, one of which looks like a black-hole. Are the semantics of __letrec different from let in some way? Thanks Neil

3 5

wish for more-usable bindist
by Isaac Dupree 07 Jan '08

07 Jan '08

the i386 linux ghc bindist still uses readline 4 <http://haskell.org/ghc/download_ghc_682.html>, which is hard to get: readline 5.0 came out almost three and a half years ago <ftp://ftp.cwru.edu/pub/bash/> And I don't want to pollute my Ubuntu system with "compatibility RPMs"; in fact I intend to install the bindist as my local user so I don't pollute it with extra GHCs either, except I can't. Could there be a bindist with modern readline, or perhaps is it possible to statically link with readline? ~Isaac

6 7