- Glasgow-haskell-users

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

GHC > 6.8.2 on IA64-Linux platform (Itanium)
by Karel Gardas 02 Jan '11

02 Jan '11

Hello, [sorry for cross-post, I assume Itanium interest is quite rare these days so to grab attention of Itanium/Haskell people I send to both haskell-cafe and ghc list] 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 I even attempted unoptimized build with mk/build.mk containing this: GhcUnregisterised=YES GhcWithNativeCodeGen=NO SplitObjs=NO SRC_HC_OPTS = -H64m -O0 GhcStage1HcOpts = -O0 GhcStage2HcOpts = -O0 GhcLibHcOpts = -O0 but this time ghc segfaults while compiling: "inplace/bin/ghc-stage2" -H64m -O0 -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 -O0 -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 make[1]: *** [libraries/dph/dph-base/dist-install/build/Data/Array/Parallel/Base/Hyperstrict.o] Segmentation fault 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. Thanks a lot, Karel

1 0

Re: SampleVar semantics
by Antoine Latter 02 Jan '11

02 Jan '11

I would file a bug on the GHC bug tracker: http://hackage.haskell.org/trac/ghc/newticket?type=bug You will need to use the guest login to trac, though (in grey text at the bottom of the page). I've also CCed the GHC-users list, as there are folks over there that might have knowledge of the concurrency libraries. Take care, Antoine On Sat, Jan 1, 2011 at 7:03 PM, Eric Stansifer <eric.stansifer+haskell(a)gmail.com> wrote: > Hi, > > I didn't get a response to my question on haskell-cafe, perhaps > libraries is a more appropriate place to ask. > > > doc: http://www.haskell.org/ghc/docs/7.0-latest/html/libraries/base-4.3.0.0/Cont… > source: http://www.haskell.org/ghc/docs/7.0-latest/html/libraries/base-4.3.0.0/src/… > > The isEmptySampleVar function, > > isEmptySampleVar :: SampleVar a -> IO Bool > isEmptySampleVar (SampleVar svar) = do > (readers, _) <- readMVar svar > return (readers == 0) > > returns False whenever readers < 0. However, readers < 0 occurs when > there are threads waiting on an empty SampleVar. > > The documentation on SampleVar is a bit sparse on explaining the > intended behavior; I wouldn't have expected this behavior if I hadn't > read the source. Can someone clarify the semantics of SampleVar? > > For a contrived example, consider > > > do_something = threadDelay 100000 -- 100 ms > > produce, consume :: SampleVar Int -> IO () > produce svar = do > do_something > b <- isEmptySampleVar svar > if b then randomIO >>= writeSampleVar svar else return () > produce svar > > consume svar = do > x <- readSampleVar svar > print x > consume svar > > main = do > svar <- newEmptySampleVar > forkIO $ produce svar > forkIO $ consume svar > threadDelay 1000000 -- one second > > This code deadlocks instead of printing random numbers. > > Thanks, > Eric > > _______________________________________________ > Libraries mailing list > Libraries(a)haskell.org > http://www.haskell.org/mailman/listinfo/libraries >

1 0