May 2006 - Glasgow-haskell-users

Browsing the darcs repositories
by Juanma Barranquero 10 May '06

10 May '06

(This one is for the developers) Hi. Are you planning to set up the darcs CGI script (or something equivalent) so it is possible to browse changes/patches in the main repository? Thanks, /L/e/k/t/u

2 1

Alias for :quit in GHCi?
by Juanma Barranquero 09 May '06

09 May '06

Trivial question, just out of curiosity. Why it is not possible to define aliases for :quit in GHCi? Prelude> :def ayuda \_ -> return ":help" Prelude> :def adios \_ -> return ":quit" Prelude> :ayuda ... normal help output... Prelude> :adios Prelude> -- /L/e/k/t/u

2 2

GHC 6.6 and Ticket #608
by Reilly Hayes 09 May '06

09 May '06

Any chance of getting ticket #608 onto the list for the 6.6 release? Ticket #608 is "Make the NCG able to compile the RTS". Please correct me if I am wrong, but my understanding of the dependencies suggests that this is the key obstacle to dynamically linked builds on x86 platforms. My reasoning is that GCC generated position independent code conflicts with the Mangler and that the RTS is the only code that must be built with the Mangler. Reilly Hayes

2 1

Conflict in HEAD between suffix.mk and config.mk.in
by Reilly Hayes 07 May '06

07 May '06

config.mk.in defines MANGLER while suffix.mk uses GHC_MANGLER. I have changed suffix.mk in my build directory to use MANGLER, but GHC_MANGLER is more consistent with the variables used to construct MANGLER (GHC_MANGLER_DIR & GHC_MANGLER_PGM) Reilly Hayes rfh(a)reillyhayes.com

1 0

Re: [Haskell-cafe] Porting GHC to OSX86?
by Reilly Hayes 06 May '06

06 May '06

You'll get a better response to this on the glasgow-haskell-users list. I'm cross-posting my reply. I'm brand new to hacking on GHC, but I've been working on this in my pitifully meagre spare time. The actual expert is Wolfgang Thaller, but he doesn't seem to be around the lists lately. I was able to generate hc files on a 386 linux box (actually on a Parallels virtual machine on my mac, as my linux boxen all run 64 bit linuces). I'll share my findings so far: 1) STABLE does not have the appropriate code in the Mangler to deal with Darwin/86. I've been playing with various versions of HEAD. 2) HEAD has gone through a major revision to the directory structure. The documentation and some of the build processes have not caught up. Simon Marlow sent a helpful e-mail to the ghc users list a few days ago that you should look at. 3) Building the .hc files mostly requires the appropriate settings in mk/build.mk on the Host (linux) machine. I'll include my build.mk below. There is a target in the top level makefile called hc-file- bundle (which needs to be invoked with the parameter ProjectNameShort=ghc in HEAD and Project=ghc in STABLE). This target packages up the .hc files, but does not build them. Some of the .hc files in utils (genapply, genprimopcode, & ghc-pkg) don't get built. I just cd to the directories and make them by hand (be sure to use the in-place compiler). A GhcUtilsHcOpts variable in the make structure would be nice (in order to pass -keep-hc-files to ghc when building these on the host). 4) I have been working with Registerised hc files. This may have been a mistake, as registerised code seems to present some unique challenges on Darwin/86. See the items below for a discussion. 5) If I understand correctly (somebody with better knowledge please correct me), there is a register allocation conflict between ghc and relocatable code generated by gcc on the 386 (gcc flag -fPIC). This limits ghc to producing static binaries. The gcc in Xcode builds relocatable code by default and requires -static to build static binaries. I think this conflict is limited to code that goes through the Mangler (registerized code). 6) If I understand correctly, there is code in the RTS that cannot be built using the native code generator. Which suggests that we're stuck with static binaries. There is a ticket to fix this in HEAD. 7) Mac OS X really doesn't like static binaries. In fact, in order to link a static binary, you have to go to opendarwin and download the Csu package to build crt0.o. It's not included in any of the development tools. Apple warns that static binaries are likely to fail to operate in O/S version changes. Curently I'm fighting with the Makefiles to figure out how to get the -static flag stuffed into all of the invocations of gcc. Some of the invocations in rts components don't seem to obey the normal variables used in the makefile structure. I haven't had time to puzzle this out and won't for a few days. mk/build.mk used to generate hc files: GhcLibHcOpts = -O -fasm -keep-hc-files GhcRtsHcOpts = -fasm -keep-hc-files GhcWithInterpreter = NO GhcStage1HcOpts = -O GhcStage2HcOpts = -O -fasm -keep-hc-files SRC_HC_OPTS += -H32m -reilly hayes On May 5, 2006, at 7:34 PM, Scott Weeks wrote: > Hi All, > > Does anyone know if there's been any headway on this? If there's not > a port available, where do I go about finding the hc files? Could I > compile on a windows or linux x86 box and use the generated hc files > to bootstrap? > > Cheers, > Scott > > On 22/03/2006, at 7:09 AM, Deling Ren wrote: > >> Hi there, >> >> Has anyone made any attempt to port GHC to Mac OS X on x86? >> Wolfgang Thaller’s binary package runs over Rosetta but slow (not >> surprising). It can not be used to compile a native version either >> (I got some errors related to machine registers). >> >> I tried to do a bootstrap but can't find the ".HC" files mentioned >> in the manual. They don't seem to be on the download page of GHC. >> Any ideas? >> >> Thanks. >> >> Deling_______________________________________________ >> Haskell-Cafe mailing list >> Haskell-Cafe(a)haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-cafe >> >> > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe Reilly Hayes rfh(a)reillyhayes.com

1 0

Building head & numerics project
by Creighton Hogg 06 May '06

06 May '06

Hi, So I'm interested in working on the project on improving numerics performance in GHC proposed on the SoC page here http://hackage.haskell.org/trac/summer-of-code/ticket/13 Since I have a full time job, I'd just like to do this on my own time rather than take up an SoC slot. In that vein, Don Stewart suggested that the first thing to do was check out the most recent ghc code from darcs and build it. Well, I've been getting the same problems as here http://hackage.haskell.org/trac/ghc/ticket/715 and I was wondering if anyone knew of a workaround or if we could figure out an environment set up that *could* build ghc correctly. Thanks, Creighton Hogg

4 6

"eval" in ghc(i)?
by Geoffrey Alan Washburn 05 May '06

05 May '06

I have an application written in OCaml that I'm interested in porting over to Haskell, and I was wondering what the best way to replace the following OCaml function would be: Toploop.initialize_toplevel_env();; let eval txt = let lb = (Lexing.from_string txt) in let phr = !Toploop.parse_toplevel_phrase lb in Toploop.execute_phrase true Format.std_formatter phr;; eval "let add1 x = x +1;;";; eval "add1 2;;";; Where I would like to be able to "eval" Haskell-code instead. It looks like I might be able to achieve something like this using hs-plugins, but it looks a bit more complex. Is hs-plugins the best choice for this kind of "meta"-programming? I'm pretty sure Template Haskell will not work for me, at least as I understand it I can only manipulate program fragments that will be compiled later and as such that it will not be possible to execute them until the next "phase".

7 11

deriving existential types
by Marc Weber 04 May '06

04 May '06

I sometimes do this -< class (Show c) => C c where foo = show c data CObj= forall c. (C c, Show c) => CObj c instance C Cobj where -- my existantial type should also implement class C foo (CObj c) = foo c -> Would it be a nice idea to just write -< data CObj= forall c. (C c, Show c) => CObj c deriving (C) ? -> ? Or is this already possible? Marc Weber

1 0

import prefers module in package over local module
by Michael Marte 04 May '06

04 May '06

Hello *, I am migrating a project from ghc 6.2 to ghc 6.4. This project has a module called Pretty and that's where my problems start. When importing Pretty, ghc does not consider my local definition but the Pretty module from the standard library (which is an alias for Text.PrettyPrint.HughesPJ). Is this behaviour intended or is it a bug? Can I change it? If it is intended, can somebody explain the rationale to me? BTW, I am using -hidir and -odir and the latest Debian package containing ghc 6.4.1. Thank you, Michael

4 9

Building ghc-6.4 on Solaris x86
by Georg Sauthoff 03 May '06

03 May '06

Hi, I am trying to build ghc-6.4.2 under solaris x86 (10.0). I mainly followed http://www.haskell.org/ghc/docs/latest/html/building/sec-porting-ghc.html, but now I am stuck. I managed to build an unregistered ghc at the target. I build the .hc files on a x86 Linux box. It compiles hello world .hs programs fine. This are the steps I am using to build the ghc with the unregistered build: PATH=/var/tmp/gsauthof/bin:/usr/sfw/bin:$PATH ./configure --with-gcc=/usr/sfw/bin/gcc --with-ghc="/var/tmp/gsauthof/src/ghc-6.4.2/ghc/compiler/ghc-inplace" --prefix=/var/tmp/gsauthof/ghc-6.4.2 2>&1 | tee log PATH=/var/tmp/gsauthof/bin:/usr/sfw/bin:$PATH make 2>&1 | tee log2 After some minutes the build process stops, i.e. in top I see a 0.2% consuming ghc and no more output, the last one is: ../../ghc/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-Wno-uninitialized -H16m -O -O2 -static -I. -#include Prelude.h -#include Rts.h -#include RtsFlags.h -#include RtsUtils.h -#include StgRun.h -#include Schedule.h -#include Printer.h -#include Sanity.h -#include STM.h -#include Storage.h -#include SchedAPI.h -#include Timer.h -#include Itimer.h -#include ProfHeap.h -#include LdvProfile.h -#include Profiling.h -#include Apply.h -fvia-C -dcmm-lint -c GC.c -o GC.o If I go into ghc/rts and manually execute the last command, it terminates sometimes. I.e. if I execute it manually 20 times, 1 time it hangs and 19 times it terminates ... Is this a known problem? While building at the target I noticed some minor things: - ctime_r from time.h at solaris without posix define is not posix conform; configure could check this (dumb patch attached) - a whitespace problem in mk/target.mk (simple patch attached) (I got: /bin/sh: syntax error at line 1: `;' unexpected) - I get a link error because of the missing symbol yield_sched (see dumb patch) - I missed a --disable-readline switch While building the unregistered version: - /usr/sfw/bin/gcc -o stage1/ghc-6.4.2 -fno-defer-pop -fomit-frame-pointer -DNO_REGS -DUSE_MINIINTERPRETER -DDONT_WANT_WIN32_DLL_SUPPORT -D_ ... ld: fatal: library -lghccompat: not found => SUBDIRS = includes rts docs compiler lib utils driver switched docs and lib - make: *** No rule to make target `Compat/Directory.o', needed by `libghccompat.a'. Stop. => at the host at H/ghc/lib/compat instead make boot UseStage1=YES execute make boot UseStage1=YES EXTRA_HC_OPTS='-O -fvia-C -keep-hc-files' and get the .hc files, too - I missed a --disable-opengl switch While trying to build a registered version: - configure does not check im 'as' is a GNU as - e.g. the solaris as rejects some asm source, gas accepts (i.e. Illegal subtraction - symbols from different sections); configure could check this and provide a --with-as switch Regards Georg Sauthoff

3 9