January 2011 - Glasgow-haskell-users

Re: RFC: migrating to git
by Malcolm Wallace 12 Jan '11

12 Jan '11

On 10 Jan 2011, at 14:02, Gregory Collins wrote: > +1. I don't have a lot of skin in this particular game (I'm not > currently a GHC contributor and am unlikely to become one in the near > future), but I can offer some anecdotal evidence: As another non-GHC contributor, my opinion should probably also count for little, but my experience with git has been poor. I have used git daily in my job for the last year. Like Simon PJ, I struggle to understand the underlying model of git, despite reading quite a few tutorials. I have a high failure rate with attempting anything beyond the equivalents of darcs record, push, and pull. When I use darcs, my local workflow typically involves lots of amend- record, cherry-picking, and multiple repos/branches. I have tried to do these things in git a few times and failed miserably. I am an old- fashioned unix command-line lover, but I find using the git command- line is next to impossible, and as a consequence do almost everything in git gui. If the gui interface does not let me do an action, then I often can't work out how to do it at all, even after googling. Mind you, some other people at work somehow manage to use git's support for branching reasonably successfully. But we have occasional mishaps where a repo is made totally unusable by somebody making a tiny mistake with their branching commands. Our standard advice at work for people who get their repo muddled is to throw it away, re- clone the master, and manually re-code their local changes from scratch (with the help of diff). If I were considering contributing minor patches to a project, the use of git would probably not deter me too much - I can cope with the simple stuff. But if I wanted more major involvement, git would definitely cause me to think twice about whether to bother. Regards, Malcolm

7 7

RE: Fwd:
by Jane Ren 10 Jan '11

10 Jan '11

Hi, I need to be able to take a piece of Haskell source code and get an simplified, typed, intermediate representation of the AST, which means I need to use compiler/coreSyn/CoreSyn.lhs So I'm first trying to get the desguaredModule of the source code with ... modSum <- getModSummary $ mkModuleName "..." p <- parseModule modSum t <- typecheckModule p d <- desugarModule t Now I'm really stuck on figuring out how to connect the variable d of type desugaredModule to compiler/coreSyn/CoreSyn.lhs to get Expr patterns like App, Let, Case, etc. Also, is it correct to get the deguaredModule first? At least CoreSyn.lhs seems to suggest this. Any suggestions would be greatly appreciated.

1 0

Generating IDE completions via GHC
by Scott Michel 10 Jan '11

10 Jan '11

I'm a little stuck trying to generate context-sensitive completions for EclipseFP. For example, if the editor point is after "::" or "->", I'd like to offer all types currently visible, including those offered via the module's imports. There doesn't seem to be a way to do this via the GHC API, unless I emulate the compiler's operation (i.e. reading interface files, etc) Am I missing something in the API? Basically, getting top-level names for a module (and it's import decls) helps, but there's no selectivity. Is there a way to interrogate a reader environment to do this? Looking at Leksah's code, I'm not looking forward to reading and processing .hi files. And adding more complexity to (and more divergence from nominolo's) scion-server. -scooter

2 1

Some patches for GHC
by Bas van Dijk 05 Jan '11

05 Jan '11

Hello, I was just wondering if somebody could review (and hopefully apply) some of or all the patches in: http://hackage.haskell.org/trac/ghc/attachment/ticket/4834/ghc_new_monad_hi… Note that these patches are independent of the newly proposed monad hierarchy. Thanks, Bas

2 2

MVar/Chan Ord instance
by Mitar 05 Jan '11

05 Jan '11

Hi! Is it possible to derive Ord for MVar (and based on that also for Chan)? Currently Eq is defined as reference equality (so each MVar is different from each other, independently from the content), at least as I understand it. But it would be useful to have also Ord defined in a such way (Ord of references). So without any semantic meaning of this ordering, but so that MVars (and Chans) can be used in set data types so that it is possible to define O(log n) isMember operation. I see that Eq is defined with internal function sameMVar#, so probably there would be also ordMVar# needed for this? Is there a way to get MVar internal references somehow (so that what sameMVar# is using)? Mitar

1 0

How to compile unregisterised build?
by Karel Gardas 04 Jan '11

04 Jan '11

Hello, before going to fill some bugreports about broken unregisterised builds I'd like to be sure I understand the topic and know well how to configure it. So, I do have three platforms with Linux OS: - mips64: gcc 4.3.2 + ghc 6.8.2 (debian) - ARMv7: gcc 4.4.1 + ghc 6.10.4 (Ubuntu) - IA64: gcc 4.3.2 + ghc 6.8.2 (debian) on all three, I attempted to build 6.12.3 unregisterised by: ./boot ./configure cat > mk/build.mk GhcUnregisterised=YES GhcWithNativeCodeGen=NO SplitObjs=NO ^D make On all three platforms this failed with: mips64: "inplace/bin/ghc-stage1" -H32m -O -package-name ghc-prim-0.2.0.0 -hide-all-packages -i -ilibraries/ghc-prim/. -ilibraries/ghc-prim/dist-install/build -ilibraries/ghc-prim/dist-install/build/autogen -Ilibraries/ghc-prim/dist-install/build -Ilibraries/ghc-prim/dist-install/build/autogen -Ilibraries/ghc-prim/. -optP-include -optPlibraries/ghc-prim/dist-install/build/autogen/cabal_macros.h -package rts-1.0 -package-name ghc-prim -XCPP -XMagicHash -XForeignFunctionInterface -XUnliftedFFITypes -XUnboxedTuples -XEmptyDataDecls -XNoImplicitPrelude -O2 -XGenerics -fno-warn-deprecated-flags -odir libraries/ghc-prim/dist-install/build -hidir libraries/ghc-prim/dist-install/build -stubdir libraries/ghc-prim/dist-install/build -hisuf hi -osuf o -hcsuf hc -c libraries/ghc-prim/./GHC/Generics.hs -o libraries/ghc-prim/dist-install/build/GHC/Generics.o In file included from /home/kgardas/src/ghc-6.12.3/includes/Stg.h:230, from /tmp/ghc14979_0/ghc14979_0.hc:3:0: /tmp/ghc14979_0/ghc14979_0.hc: In function ‘ghczmprim_GHCziGenerics_zdgtoUnit_entry’: /tmp/ghc14979_0/ghc14979_0.hc:17:0: warning: implicit declaration of function ‘JMP_’ ghc-stage1: could not execute: /home/kgardas/src/ghc-6.12.3/inplace/lib/ghc-asm make[1]: *** [libraries/ghc-prim/dist-install/build/GHC/Generics.o] Error 1 make: *** [all] Error 2 ARMv7: "inplace/bin/ghc-stage1" -H32m -O -package-name ghc-prim-0.2.0.0 -hide-all-packages -i -ilibraries/ghc-prim/. -ilibraries/ghc-prim/dist-install/build -ilibraries/ghc-prim/dist-install/build/autogen -Ilibraries/ghc-prim/dist-install/build -Ilibraries/ghc-prim/dist-install/build/autogen -Ilibraries/ghc-prim/. -optP-include -optPlibraries/ghc-prim/dist-install/build/autogen/cabal_macros.h -package rts-1.0 -package-name ghc-prim -XCPP -XMagicHash -XForeignFunctionInterface -XUnliftedFFITypes -XUnboxedTuples -XEmptyDataDecls -XNoImplicitPrelude -O2 -XGenerics -fno-warn-deprecated-flags -odir libraries/ghc-prim/dist-install/build -hidir libraries/ghc-prim/dist-install/build -stubdir libraries/ghc-prim/dist-install/build -hisuf hi -osuf o -hcsuf hc -c libraries/ghc-prim/./GHC/Generics.hs -o libraries/ghc-prim/dist-install/build/GHC/Generics.o /tmp/ghc29691_0/ghc29691_0.hc: In function ‘ghczmprim_GHCziGenerics_zdgtoUnit_entry’: /tmp/ghc29691_0/ghc29691_0.hc:18:0: warning: implicit declaration of function ‘JMP_’ ghc-stage1: could not execute: /home/kgardas/src/ghc-6.12.3/inplace/lib/ghc-asm make[1]: *** [libraries/ghc-prim/dist-install/build/GHC/Generics.o] Error 1 make: *** [all] Error 2 IA64: "inplace/bin/ghc-stage1" -H32m -O -package-name ghc-prim-0.2.0.0 -hide-all-packages -i -ilibraries/ghc-prim/. -ilibraries/ghc-prim/dist-install/build -ilibraries/ghc-prim/dist-install/build/autogen -Ilibraries/ghc-prim/dist-install/build -Ilibraries/ghc-prim/dist-install/build/autogen -Ilibraries/ghc-prim/. -optP-include -optPlibraries/ghc-prim/dist-install/build/autogen/cabal_macros.h -package rts-1.0 -package-name ghc-prim -XCPP -XMagicHash -XForeignFunctionInterface -XUnliftedFFITypes -XUnboxedTuples -XEmptyDataDecls -XNoImplicitPrelude -O2 -XGenerics -fno-warn-deprecated-flags -odir libraries/ghc-prim/dist-install/build -hidir libraries/ghc-prim/dist-install/build -stubdir libraries/ghc-prim/dist-install/build -hisuf hi -osuf o -hcsuf hc -c libraries/ghc-prim/./GHC/Generics.hs -o libraries/ghc-prim/dist-install/build/GHC/Generics.o /tmp/ghc15668_0/ghc15668_0.hc: In function ‘__stginit_ghczmprim_GHCziGenerics’: /tmp/ghc15668_0/ghc15668_0.hc:331:0: warning: function called through a non-compatible type /tmp/ghc15668_0/ghc15668_0.hc:331:0: note: if this code is reached, the program will abort ghc-stage1: could not execute: /home/kgardas/src/unreg/ghc-6.12.3/inplace/lib/ghc-asm make[1]: *** [libraries/ghc-prim/dist-install/build/GHC/Generics.o] Error 1 make: *** [all] Error 2 Is that my own mistake or is it really ghc 6.12.3 unregisterised build that broken? Thanks, Karel -- Karel Gardas kgardas(a)objectsecurity.com ObjectSecurity Ltd. http://www.objectsecurity.com

2 3

Re: lib for tuples
by Christian Höner zu Siederdissen 04 Jan '11

04 Jan '11

That would not be economical. Lets just say people never use more than 8-tuple and then try to count how many functions you would need. The "tuple" package on Haskell provides a generic interface to access/manipulate the k'th element of an n-tuple. That should be sufficient and is not subject to combinatorical explosion (well the instance are a bit). Gruss, Christian * Serge D. Mechveliani <mechvel(a)botik.ru> [04.01.2011 11:29]: > People, > I define, for example, > tuple42 (_, y, _, _) = y, > setTuple42 (x, _, z, u) y = (x, y, z, u), > mapTuple42 f (x, y, z, u) = (x, f y, z, u). > > But it looks natural to have such functions for tuples in the library. > As Haskell-2010 has zip3, zip4 ..., where are the library functions > tupleij, setTupleij, mapTupleij, say, for i, j <- [2 .. 6] > ? > I expected to find in the Report "Data.Tuple" similar as "Data.List", > but do not. > GHC has "Data.Tuple", but it misses the above functions. > > Thank you in advance for your comments, > > ----------------- > Serge Mechveliani > mechvel(a)botik.ru > > > > > > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users(a)haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

1 0

lib for tuples
by Serge D. Mechveliani 04 Jan '11

04 Jan '11

People, I define, for example, tuple42 (_, y, _, _) = y, setTuple42 (x, _, z, u) y = (x, y, z, u), mapTuple42 f (x, y, z, u) = (x, f y, z, u). But it looks natural to have such functions for tuples in the library. As Haskell-2010 has zip3, zip4 ..., where are the library functions tupleij, setTupleij, mapTupleij, say, for i, j <- [2 .. 6] ? I expected to find in the Report "Data.Tuple" similar as "Data.List", but do not. GHC has "Data.Tuple", but it misses the above functions. Thank you in advance for your comments, ----------------- Serge Mechveliani mechvel(a)botik.ru

1 0

Re: [Haskell-cafe] GHC > 6.8.2 on IA64-Linux platform (Itanium)
by Karel Gardas 04 Jan '11

04 Jan '11

Hello Sergei! nice to hear from you! In fact I've been dealing with this issue a little bit and just "fixed" Adjustor issue myself and then just hour before your email came I discovered your excellent gentoo patches! Kudos to zygoloid for his excellent MBlock.h patch! Also you have saved my own time by noting that your patches are already upstream. I've been already thinking about submitting new issue and attaching them there. So I'll just modify platforms wiki and add some notes how to go over IA/Linux ghc 6.8.2 <-> 7.0.1 gab by using gentoo's patches. Thanks! Karel On 01/ 3/11 09:20 PM, Sergei Trofimovich wrote: > On Sun, 02 Jan 2011 18:09:05 +0100 > Karel Gardas<karel.gardas(a)centrum.cz> wrote: > >> I'd like to compile more recent than 6.8.2 GHC on itanium-linux system I >> do have access to, but I'm kind of unlucky with this. I'm trying >> unregisterised build (of 6.12.3 and 6.10.4) and it always fails with: >> >> "inplace/bin/ghc-stage2" -H32m -O -package-name dph-base-0.4.0 >> -hide-all-packages -i -ilibraries/dph/dph-base/. >> -ilibraries/dph/dph-base/dist-install/build >> -ilibraries/dph/dph-base/dist-install/build/autogen >> -Ilibraries/dph/dph-base/dist-install/build >> -Ilibraries/dph/dph-base/dist-install/build/autogen >> -Ilibraries/dph/dph-base/include -optP-include >> -optPlibraries/dph/dph-base/dist-install/build/autogen/cabal_macros.h >> -package array-0.3.0.1 -package base-4.2.0.2 -package ghc-prim-0.2.0.0 >> -package random-1.0.0.2 -Odph -funbox-strict-fields -haddock -fcpr-off >> -XTypeFamilies -XGADTs -XRankNTypes -XBangPatterns -XMagicHash >> -XUnboxedTuples -XTypeOperators -O2 -XGenerics >> -fno-warn-deprecated-flags -Wwarn -odir >> libraries/dph/dph-base/dist-install/build -hidir >> libraries/dph/dph-base/dist-install/build -stubdir >> libraries/dph/dph-base/dist-install/build -hisuf hi -osuf o -hcsuf hc >> -c libraries/dph/dph-base/./Data/Array/Parallel/Base/Hyperstrict.hs -o >> libraries/dph/dph-base/dist-install/build/Data/Array/Parallel/Base/Hyperstrict.o >> ghc-stage2: internal error: evacuate: strange closure type 15 >> (GHC version 6.12.3 for ia64_unknown_linux) >> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug >> make[1]: *** >> [libraries/dph/dph-base/dist-install/build/Data/Array/Parallel/Base/Hyperstrict.o] >> Aborted >> make: *** [all] Error 2 > > [snip] > >> I've also seen, the last available GHC in Debian for IA64 platform is >> 6.8.2 -- which I'm using for bootstrap btw so debian will not help me >> here with some clever patch which would change recent ghc to be buildable... >> >> So, I'd like to ask here: is there anybody who was lucky enough to find >> appropriate set of options or any other magic way how to compile more >> recent GHC sources to the _stable_ compiler binary on IA64/Linux? If so, >> please let me know. > > Hello Karel! > You have hit a nasty Garbage Collector bug in ghc. I (re)discovered it some months > ago too. There is yet some patches to make stuff work on ia64. > I think it will be simpler for you to get gentoo's ia64 binaries (unregisterised) > and bootstrap ghc-HEAD yourself. > > http://code.haskell.org/~slyfox/ghc-ia64/ghc-bin-6.12.3-ia64-haddock.tbz2 > http://mirrors.kernel.org/gentoo/distfiles/ghc-bin-6.12.3-ia64-haddock.tbz2 > > We, gentoo, apply patches for ghc-6.12.3 to make magic happen (all gone upstream > and ghc-7.0/ghc-7.0.1) > > http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/dev-lang/ghc/files/ > > In case you will decide to bootstrap stable ghc-6.12.3 the following patches should suffice. > > == required patches == > > * GC patch (the critical one, fixes bug you have posted) > http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/dev-lang/ghc/files/… > > * you need to pass -G0 to gcc when you build ghc. Gentoo does > it in a special manner: we add the following to mk/build.mk: > SRC_HC_OPTS += -optc-G0 > Your approach might be different. It solves known(?) limitation of small object's > section size. > > == nice to have patches == > > * remove crufty linker flags in order to able to link ghc on recent binutils > http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/dev-lang/ghc/files/… > > * f.i.w calls on ia64 (fixes terminfo and thus interactive darcs, otherwise it will SIGSEGV) > http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/dev-lang/ghc/files/… > > * If you plan to build haddock using unregistered ghc you'll need one more patch > to export needed API (backported from -HEAD). > http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/dev-lang/ghc/files/… > > Good luck! >

1 0

Re: GHC ParseTree Module
by Malcolm Wallace 03 Jan '11

03 Jan '11

You will be more likely to get an answer on the ghc-users mailing list (cc'ed). The ghc developers rarely follow -cafe. On 1 Jan 2011, at 20:36, Jane Ren wrote: > Hi, > > Does anyone know what GHC module gets the AST and type info of some > source code? This is the GHC module that converts all of Haskell > into an AST with a small number of pattern cases, where each AST > node is annotated with the Haskell type. > > Thanks > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe

2 1