Re: Explicit calls to the garbage collector.

On 07/05/2012 14:33, Jurriaan Hage wrote: LS. I have a very memory intensive application. It seems that the timing of my application depend very much on the precise setting of -H...M in the runtime system (-H2000M seems to work best, computation time becomes a third of what I get when I pass n

Re: Potential GSoC proposal: Reduce the speed gap between 'ghc -c' and 'ghc --make'

On 23/05/12 21:11, Ryan Newton wrote: mailto:the.dead.shall.r...@gmail.com>> wrote: Thanks. I'll look into how to optimise .hi loading by more traditional means, then. Lennart is working on speeding up the binary package (which I believe is used to decode the .hi files.) His work might benef

Re: Source Location of DataCon objects in GHC 7.4.1 API

On 01/06/2012 10:24, JP Moresmau wrote: Hello I have a failing test in BuildWrapper when moving from GHC 7.0.4 to 7.4.1. As far I can tell, in the TypecheckedSource I get DataCon objects that have no location info, and hence I can't retrieve them by location... Which is useful in a IDE (tell me

Re: problem with FFI and libsane

On 06/06/2012 06:59, Ganesh Sittampalam wrote: I'm having some trouble making Haskell bindings to libsane (a scanner access library: http://www.sane-project.org/) When I build the cut down sample of my code (below) with GHC 7.4.1 with the non-threaded runtime, it hangs at runtime in the call to

Re: Is stderr flushed automatically after exceptions are printed

On 13/06/2012 03:35, Johan Tibell wrote: Hi, If a program throws an exception that will cause it to be terminated (i.e. the exception isn't caught), will the code that prints out the error message to stderr make sure to flush stderr before terminating the process? Yes: https://github.com/ghc/

Re: Cannot build user's guide

On 25/06/12 14:34, José Pedro Magalhães wrote: Hi, I cannot build the user's guide. Doing make html stage=0 FAST=YES under docs/users_guide, I get: ===--- building final phase make -r --no-print-directory -f ghc.mk phase=final html_docs/users_guide inplace/bin/mkUserGuidePart do

Re: parallel garbage collection performance

On 19/06/12 02:32, John Lato wrote: Thanks for the suggestions. I'll try them and report back. Although I've since found that out of 3 not-identical systems, this problem only occurs on one. So I may try different kernel/system libs and see where that gets me. -qg is funny. My interpretation

Re: parallel garbage collection performance

On 26/06/2012 00:42, Ryan Newton wrote: However, the parallel GC will be a problem if one or more of your cores is being used by other process(es) on the machine. In that case, the GC synchronisation will stall and performance will go down the drain. You can often see this on a

Re: Strange behavior when using stable names inside ghci?

On 27/06/12 22:41, Facundo Domínguez wrote: Hi, The program below when loaded in ghci prints always False, and when compiled with ghc it prints True. I'm using ghc-7.4.1 and I cannot quite explain such behavior. Any hints? Thanks in advance, Facundo {-# LANGUAGE GADTs #-} import System.Mem.S

Re: Compiling ghcjs

On 27/06/2012 13:24, Nathan Hüsken wrote: I hope this is the correct list to ask this question. I am trying to compile the ghcjs compiler. I am on ubuntu 12.04 and have ghc-7.4.1 installed (via apt-get). I am following the instruction I found here: https://github.com/ghcjs/ghcjs The first tro

Re: Call to arms: lambda-case is stuck and needs your help

On 05/07/2012 20:31, Tyson Whitehead wrote: On July 5, 2012 10:42:53 Mikhail Vorozhtsov wrote: After 21 months of occasional arguing the lambda-case proposal(s) is in danger of being buried under its own trac ticket comments. We need fresh blood to finally reach an agreement on the syntax. Read

Re: Call to arms: lambda-case is stuck and needs your help

On 07/07/2012 05:08, Tyson Whitehead wrote: PS: To be fully precise, the modified layout decoder in 9.3 would be L (:ts) i (m:ms) = ; : (L ts n (m:ms)) if m = n = } : (L (:ts) n ms) if n < m L (:ts) i ms = L ts n ms L ({n}::ts) i ms = { : (

Re: Call to arms: lambda-case is stuck and needs your help

On 07/07/2012 16:07, Strake wrote: On 07/07/2012, Jonas Almström Duregård wrote: Couldn't we use \\ for multi-case lambdas with layout? If not, these are my preferences in order (all are single argument versions): 1: Omission: "case of". There seems to be some support for this but it was not i

Re: Call to arms: lambda-case is stuck and needs your help

On 09/07/2012 15:04, Mikhail Vorozhtsov wrote: Hi Simon. On 07/09/2012 08:23 PM, Simon Marlow wrote: On 07/07/2012 16:07, Strake wrote: On 07/07/2012, Jonas Almström Duregård wrote: Couldn't we use \\ for multi-case lambdas with layout? If not, these are my preferences in order (al

Re: Call to arms: lambda-case is stuck and needs your help

On 09/07/2012 17:32, Mikhail Vorozhtsov wrote: On 07/09/2012 09:49 PM, Simon Marlow wrote: On 09/07/2012 15:04, Mikhail Vorozhtsov wrote: and respectively \case P1, P2 -> ... P3, P4 -> ... as sugar for \x y -> case x, y of P1, P2 -> ... P3, P4 -> ... That look

Re: Imported foreign functions should be strict

On 07/07/2012 05:06, Favonia wrote: Hi all, Recently I am tuning one of our incomplete libraries that uses FFI. After dumping the interface file I realized strictness/demand analysis failed for imported foreign functions---that is, they are not inferred to be strict in their arguments. In my nai

Re: Call to arms: lambda-case is stuck and needs your help

On 10/07/2012 07:33, Mikhail Vorozhtsov wrote: On 07/10/2012 01:09 AM, Bardur Arantsson wrote: On 07/09/2012 06:01 PM, Mikhail Vorozhtsov wrote: On 07/09/2012 09:52 PM, Twan van Laarhoven wrote: On 09/07/12 14:44, Simon Marlow wrote: I now think '\' is too quiet to introduce a

Re: How to describe this bug?

On 10/07/2012 12:21, Aleksey Khudyakov wrote: On Tue, Jul 10, 2012 at 3:06 PM, Sönke Hahn wrote: I've attached the code. The code does not make direct use of unsafePerformIO. It uses QuickCheck, but I don't think, this is a QuickCheck bug. The used Eq-instance is the one for Float. I've only m

Re: How to describe this bug?

ess-precision cannot be disabled on x86 (that is the bug). -msse2 is not supported on all processors, so we can't enable it by default. Cheers, Simon Cheers Christian Am 10.07.2012 14:33, schrieb Simon Marlow: On 10/07/2012 12:21, Aleksey Khudyakov wrote: On Tue, Jul 10, 2012 a

Re: [Fwd: Memory corruption issues when using newAlignedPinnedByteArray, GC kicking in?]

On 10/07/2012 23:03, Nicolas Trangez wrote: All, I sent this mail to Haskell Cafe earlier today, and was pointed [1] at this list. As such... Any help/advice would be greatly appreciated! It looks like you're making a ForeignPtr from the Addr# or Ptr that points to the contents of the ByteAr

Re: How to describe this bug?

On 11/07/2012 09:51, Christian Maeder wrote: Am 11.07.2012 10:25, schrieb Simon Marlow: On 11/07/2012 08:36, Christian Maeder wrote: Hi, I think this bug is serious and should be turned into a ticket on http://hackage.haskell.org/trac/ghc/ Would you do so Sönke? The abstraction of floats

Re: Access to the Parse Tree for Expressions

On 27/07/2012 15:18, Simon Fowler wrote: Dear all, I'm currently working on a project which would benefit from access to the parse tree - ideally, we would like to deconstruct an expression into its constituent types. Currently we are using the exprType function to return the type of an expressi

Re: Simplifying Core using GHC API

You can use compileToCoreSimplified to get the optimised Core for the module, although that includes the other steps. We ought to have a separate API to go from ModGuts to CoreModule, but currently that doesn't exist (it's built into compileToCoreSimplified). Cheers, Simon On 28/07/2

Re: Building GHC on NetBSD/amd64

On 29/07/2012 07:41, iquiw wrote: I am trying to build GHC on NetBSD/amd64. First, I built GHC-6.12.3 by porting from OpenBSD/amd64. After that, trying to build several versions (6.12.3, 7.0.4, 7.4.2) of GHC by the stage2 compiler. Build itself succeeded and compiling by the ghc seems no proble

Re: Template Haskell

On 20/07/2012 03:33, Mikhail Vorozhtsov wrote: Hi Simon. On Wed, Jul 18, 2012 at 7:25 PM, Simon Peyton-Jones wrote: Mikhail has improved Template Haskell’s handling of INLINE pragmas, SPECIALISE pragmas, and RULES. I plan to commit his patch BTW, is there a reason why you use commit messages

Re: thread blocked indefinitely in an MVar operation in unsafePerformIO

On 30/07/2012 15:30, Marco Túlio Gontijo e Silva wrote: Hi. I'm having a problem calling logM from hsLogger inside unsafePerformIO. I have described the problem in Haskell-cafe, so I'll avoid repeating it here: http://www.haskell.org/pipermail/haskell-cafe/2012-July/102545.html I've had this

Re: Non-updateable thunks

On 01/08/2012 11:38, Joachim Breitner wrote: Hello, I’m still working on issues of performance vs. sharing; I must assume some of the people here on the list must have seen my "dup"-paper¹ as referees. I’m now wondering about a approach where the compiler (either automatically or by user annota

Re: Non-updateable thunks

On 03/08/2012 10:29, Joachim Breitner wrote: Hi Simon, Am Freitag, den 03.08.2012, 09:28 +0100 schrieb Simon Marlow: My question is: Has anybody worked in that direction? And are there any fundamental problems with the current RTS implementation and such closures? Long ago GHC used to have

Re: API for looking-up/retrieving Haddock comments?

On 04/08/2012 08:33, Herbert Valerio Riedel wrote: Simon Hengel writes: [...] I have the following in my .ghci: -- hoogle integration :def hoogle \q -> return $ ":! hoogle --color=true --count=15 \"" ++ q ++ "\"" :def doc\q -> return $ ":! hoogle --color=true --info

Re: +RTS -S heap reporting oddity

On 17/08/2012 17:08, Wolfram Kahl wrote: During one of my long Agda runs (with GHC-7.4.2), I observed the following output, with run-time options +RTS -S -H11G -M11G -K256M : 7694558208 30623864 3833166176 0.11 0.11 234.75 234.7900 (Gen: 0) 7678904688 29295168 3847737784 0

Re: Long compilation times when profiling a large CAF

On 21/08/2012 19:14, Conal Elliott wrote: I'm looking for help with crazy-long compile times when using GHC with profiling. A source file at work has a single 10k line top-level definition, which is a CAF. With -prof auto-all or an explicit SCC, compilation runs for 8 hours on a fast machine with

Re: Request for comments on proposal for literate programming using markdown

On 22/08/12 16:22, Philip Holzenspies wrote: On 22 Aug 2012, at 16:13, Brandon Allbery wrote: On Wed, Aug 22, 2012 at 4:37 AM, Philip Holzenspies mailto:p...@st-andrews.ac.uk>> wrote: So, there are many things people read in the proposal that I didn't want to put in, but the things I

Re: Comparing StableNames of different type

On 24/08/2012 07:39, Emil Axelsson wrote: Hi! Are there any dangers in comparing two StableNames of different type? stEq :: StableName a -> StableName b -> Bool stEq a b = a == (unsafeCoerce b) I could guard the coercion by first comparing the type representations, but that would give me

Re: Comparing StableNames of different type

On 24/08/2012 10:39, Emil Axelsson wrote: 2012-08-24 11:18, Emil Axelsson skrev: 2012-08-24 11:08, Simon Marlow skrev: On 24/08/2012 07:39, Emil Axelsson wrote: Hi! Are there any dangers in comparing two StableNames of different type? stEq :: StableName a -> StableName b -> Bool

Re: Small Int and Char closures in GHCi

On 30/08/2012 12:29, Joachim Breitner wrote: Hi, I am preparing a talk about the details of how data and programs look in memory in Haskell (well, GHC). When explaining the memory consumption of a large String, I wanted to show the effect of short-int-replacement that happens in http://hackage.h

Re: RFC: Adding support for an API-"since"-version-attribute to Haddock?

On 05/09/2012 09:10, Herbert Valerio Riedel wrote: Evan Laforge writes: Would such an enhancement to Haddock be worthwhile or is it a bad idea? Has such a proposal come up in the past already? Are there alternative approaches to consider? It would be even cooler to automatically figure them

Re: [Haskell] ANNOUNCE: GHC version 7.6.1

On 06/09/2012 21:10, Christian Hoener zu Siederdissen wrote: Hi Ian, thanks for the info about 7.8. Just to be clear, the new codegen apparently saved my runtimes for the presentation on tuesday. \My\ new code was slower than my old code. The new code generator fixed that, giving me equal runnin

Re: How do I build GHC 7.6 from source?

On 19/09/2012 02:15, Iavor Diatchki wrote: > exactly what git's submodule machinery does, so it seems pointless to > implement the functionality which is already there with a standard > interface. Thoughts? http://hackage.haskell.org/trac/ghc/wiki/DarcsConversion#Theperspecti

Re: How do I build GHC 7.6 from source?

n the nightly build logs but I don't where to look. -Iavor On Thu, Sep 20, 2012 at 7:20 AM, Simon Marlow mailto:marlo...@gmail.com>> wrote: On 19/09/2012 02:15, Iavor Diatchki wrote: > exactly what git's submodule machinery does, so it seems pointless to

Re: memory fragmentation with ghc-7.6.1

On 21/09/2012 04:07, John Lato wrote: Yes, that's my current understanding. I see this with ByteString and Data.Vector.Storable, but not Data.Vector/Data.Vector.Unboxed/Data.Text. As ByteStrings are pretty widely used for IO, I expected that somebody else would have experienced this too. I wou

Re: memory fragmentation with ghc-7.6.1

On 26/09/2012 05:42, Ben Gamari wrote: Simon Marlow writes: On 21/09/2012 04:07, John Lato wrote: Yes, that's my current understanding. I see this with ByteString and Data.Vector.Storable, but not Data.Vector/Data.Vector.Unboxed/Data.Text. As ByteStrings are pretty widely used for

Re: memory fragmentation with ghc-7.6.1

hlike. http://hackage.haskell.org/trac/ghc/wiki/Debugging/LowLevelProfiling/Perf Cheers, Simon On 29/09/2012 07:47, Ben Gamari wrote: Simon Marlow writes: On 28/09/12 17:36, Ben Gamari wrote: Unfortunately, after poking around I found a few obvious problems with both the code

Re: Installing binary tarball fails on Linux

On 28/09/2012 00:47, Andrea Vezzosi wrote: On Thu, Feb 23, 2012 at 10:27 PM, Johan Tibell wrote: The 64-bit version work so I guess that means that a 32-bit GHC/64-bit OS combination only works on OS X? Did you get it working on linux? I'm getting the same error myself: ... ghc-cabal: Bad in

Re: Comments on current TypeHoles implementation

On 04/10/2012 10:40, Simon Peyton-Jones wrote: I have a proposal. Someone has already suggested on hackage.haskell.org/trac/ghc/ticket/5910 that an un-bound variable behaves like a hole. Thus, if you say f x = y GHC says “Error: y is not in scope”. But (idea) with -XTypeHoles f

Re: Installing binary tarball fails on Linux

On 01/10/2012 13:00, Ganesh Sittampalam wrote: On 01/10/2012 12:05, Simon Marlow wrote: This probably means that you have packages installed in your ~/.cabal from a 32-bit GHC and you're using a 64-bit one, or vice-versa. To avoid this problem you can configure cabal to put built pac

Re: copyArray# bug

On 06/10/2012 22:41, Roman Leshchinskiy wrote: I've been chasing a segfault in the dev version of vector and I think I finally traced it to a bug in the implementation of copyArray# and copyMutableArray#. More specifically, I think emitSetCards in StgCmmPrim.hs (and CgPrimOp.hs) will sometimes fa

Re: Installing binary tarball fails on Linux

On 08/10/2012 12:57, Joachim Breitner wrote: Hi, Am Montag, den 08.10.2012, 12:08 +0100 schrieb Simon Marlow: On 01/10/2012 13:00, Ganesh Sittampalam wrote: On 01/10/2012 12:05, Simon Marlow wrote: This probably means that you have packages installed in your ~/.cabal from a 32-bit GHC and

Re: copyArray# bug

On 09/10/2012 15:58, Johan Tibell wrote: On Tue, Oct 9, 2012 at 1:26 AM, Roman Leshchinskiy wrote: Johan Tibell wrote: Hi, I did quite a bit of work to make sure copyArray# and friends get unrolled if the number of elements to copy is a constant. Does this still work with the extra branch?

Re: GHC compiling shared library linking problem

On 17/10/2012 08:43, Richard Zetterberg wrote: I have two parts of my application; one which builds a cli application which uses my module and one which builds a shared library which uses the same module. I have no problems compiling my cli application. And if I try to compile the shared library

Re: Why are arrays retainers?

On 24/10/2012 08:25, Akio Takano wrote: Recently I was surprised to see that GHC's retainer profiler treated boxed arrays as retainer objects. Why are they considered retainers? I think the intention is to treat all "mutable" objects as retainers, where thunks are a kind of mutable object. F

Re: Status of stack trace work

On 08/11/12 05:43, Johan Tibell wrote: I can't wait until we have some for of stack traces in GHC. What's the current status? Did the semantics you presented at HIW12 work out? Even though the full bells and whistles of full stack traces is something I'd really like to see, even their more impov

Re: Using DeepSeq for exception ordering

Did you try -fpedantic-bottoms? Cheers, Simon On 08/11/2012 19:16, Edward Z. Yang wrote: It looks like the optimizer is getting confused when the value being evaluated is an IO action (nota bene: 'evaluate m' where m :: IO a is pretty odd, as far as things go). File a bug? Cheers, Edwa

Re: Building GHC for BB10 (QNX)

On 10/11/2012 19:53, Stephen Paul Weber wrote: Hey all, I'm interesting in trying to get an initial port for BlackBerry 10 (QNX) going. It's a POSIXish environment with primary interest in two architechtures: x86 (for simulator) and ARMv7 (for devices). I'm wondering if

Re: Undocumented(?) magic "this" package-id in PackageImports

Please submit a bug (ideally with a patch!). It should be documented. However, note that we don't really like people to use PackageImports. It's not a carefully designed feature, we only hacked it in so we could build the base-3 wrapper package a while ago. It could well change in the future.

Re: Using DeepSeq for exception ordering

On 12/11/2012 16:56, Simon Hengel wrote: Did you try -fpedantic-bottoms? I just tried. The exception (or seq?) is still optimized away. Here is what I tried: -- file Foo.hs import Control.Exception import Control.DeepSeq main = evaluate (('a' : undefined) `deepseq` return

Leaving Microsoft

Today I'm announcing that I'm leaving Microsoft Research. My plan is to take a break to finish the book on Parallel and Concurrent Haskell for O'Reilly, before taking up a position at Facebook in the UK in March 2013. This is undoubtedly a big change, both for me and for the Haskell community.

Re: Dynamic libraries by default and GHC 7.8

On 27/11/12 23:28, Joachim Breitner wrote: Hi, Am Dienstag, den 27.11.2012, 14:52 + schrieb Ian Lynagh: The various issues are described in a wiki page here: http://hackage.haskell.org/trac/ghc/wiki/DynamicByDefault If you have a few minutes to read it then we'd be glad to hear your f

Re: Dynamic libraries by default and GHC 7.8

On 27/11/12 14:52, Ian Lynagh wrote: Hi all, GHC HEAD now has support for using dynamic libraries by default (and in particular, using dynamic libraries and the system linker in GHCi) for a number of platforms. This has some advantages and some disadvantages, so we need to make a decision abou

Re: Dynamic libraries by default and GHC 7.8

On 28/11/12 12:48, Ian Lynagh wrote: On Wed, Nov 28, 2012 at 09:20:57AM +, Simon Marlow wrote: My personal opinion is that we should switch to dynamic-by-default on all x86_64 platforms, and OS X x86. The performance penalty for x86/Linux is too high (30%), FWIW, if they're able to

Re: Dynamic libraries by default and GHC 7.8

On 28/11/12 23:15, Johan Tibell wrote: What does gcc do? Does it link statically or dynamically by default? Does it depend on if it can find a dynamic version of libraries or not? If it finds a dynamic library first, it links against that. Unlike GHC, with gcc you do not have to choose at comp

Re: Is the GHC release process documented?

On 30/11/12 03:54, Johan Tibell wrote: While writing a new nofib benchmark today I found myself wondering whether all the nofib benchmarks are run just before each release, which the drove me to go look for a document describing the release process. A quick search didn't turn up anything, so I th

Re: Dynamic libraries by default and GHC 7.8

On 27/11/12 14:52, Ian Lynagh wrote: GHC HEAD now has support for using dynamic libraries by default (and in particular, using dynamic libraries and the system linker in GHCi) for a number of platforms. This has some advantages and some disadvantages, so we need to make a decision about what we

Re: Patch to enable GHC runtime system with thr_debug_p options...

On 03/12/12 20:11, Joachim Breitner wrote: Dear Michał, Am Sonntag, den 02.12.2012, 22:44 +0100 schrieb "Michał J. Gajda": On 12/02/2012 09:20 PM, Joachim Breitner wrote: I noticed that Ubuntu, as well as Debian and original packages come without some variants of threaded debugging binaries. A

Re: Dynamic libraries by default and GHC 7.8

On 05/12/12 15:17, Brandon Allbery wrote: On Wed, Dec 5, 2012 at 12:03 AM, Chris Smith mailto:cdsm...@gmail.com>> wrote: I'm curious how much of the "compile twice" situation for static and dynamic libraries could actually be shared. Probably none; on most platforms you're actually gen

Re: proposal: separate lists for ghc-cvs commits and ghc-dev chatter

On 06/12/12 17:04, Ian Lynagh wrote: On Thu, Dec 06, 2012 at 12:29:01PM +, Simon Peyton-Jones wrote: My own understanding is this: A GHC *user* is someone who uses GHC, but doesn't care how it is implemented. A GHC *developer* is someone who wants to work on GHC itself in some way. The cur

Re: proposal: separate lists for ghc-cvs commits and ghc-dev chatter

On 06/12/12 13:23, Sean Leather wrote: On Thu, Dec 6, 2012 at 1:29 PM, Simon Peyton-Jones wrote: My own understanding is this: A GHC *user* is someone who uses GHC, but doesn't care how it is implemented. A GHC *developer* is someone who wants to work on GHC itself in some w

Re: Does GHC still support x87 floating point math?

On 06/12/12 11:01, Herbert Valerio Riedel wrote: Ben Lippmeier writes: On 06/12/2012, at 12:12 , Johan Tibell wrote: I'm currently trying to implement word2Double#. Other such primops support both x87 and sse floating point math. Do we still support x87 fp math? Which compiler flag enables i

Re: Emitting constants to the .data section from the NatM monad

On 06/12/12 00:29, Johan Tibell wrote: Hi! I'm trying to implement word2Double# and I've looked at how e.g. LLVM does it. LLVM outputs quite clever branchless code that uses two predefined constants in the .data section. Is it possible to add contents to the current .data section from a function

Re: Dynamic libraries by default and GHC 7.8

On 06/12/12 21:35, Brandon Allbery wrote: On Thu, Dec 6, 2012 at 4:04 PM, Simon Marlow mailto:marlo...@gmail.com>> wrote: On 05/12/12 15:17, Brandon Allbery wrote: Probably none; on most platforms you're actually generating different code (dynamic librar

Re: Emitting constants to the .data section from the NatM monad

On 06/12/12 22:11, Johan Tibell wrote: On Thu, Dec 6, 2012 at 1:34 PM, Simon Marlow wrote: So are you going to add the two missing MachOps, MO_UF_Conv & MO_FU_Conv? I'm trying to add those. I'm now thinking that I will use C calls (which is still much faster than going via In

Re: ANNOUNCE: GHC 7.6.2 Release Candidate 1

On 09/12/12 21:39, Ian Lynagh wrote: We are pleased to announce the first release candidate for GHC 7.6.2: http://www.haskell.org/ghc/dist/7.6.2-rc1/ This includes the source tarball, installers for Windows, and bindists for Windows, Linux, OS X and FreeBSD, on x86 and x86_64. We plan to

Re: How to use C-land variable from Cmm-land?

On 08/12/12 23:12, Yuras Shumovich wrote: Hi, I'm working on that issue as an exercise/playground while studding the GHC internals: http://hackage.haskell.org/trac/ghc/ticket/693 It's not at all clear that we want to do this. Perhaps you'll be able to put the question to rest and close the t

Re: How to use C-land variable from Cmm-land?

On 10/12/12 12:46, Yuras Shumovich wrote: On Mon, 2012-12-10 at 10:58 +, Simon Marlow wrote: On 08/12/12 23:12, Yuras Shumovich wrote: I tried to hack stg_putMVarzh directly: if (enabled_capabilities == 1) { info = GET_INFO(mvar); } else { ("ptr&

Re: GHCi + FFI + global C variables

On 10/12/12 00:11, Nils wrote: I'm currently working with a C library that needs to use/modify global C variables, for example: igraph_bool_t igraphhaskell_initialized = 0; int igraphhaskell_initialize() { if (igraphhaskell_initialized != 0) { printf("C: Not init

Re: Hoopl vs LLVM?

On 11/12/12 21:33, Johan Tibell wrote: On Tue, Dec 11, 2012 at 11:16 AM, Simon Peyton-Jones wrote: Notice that the stack is now *explicit* rather than implicit, and LLVM has no hope of moving the assignment to z past the call to g (which is trivial in the original). I can explain WHY we do t

Re: Hoopl vs LLVM?

On 12/12/12 17:06, Greg Fitzgerald wrote: On Wed, Dec 12, 2012 at 4:35 AM, Simon Marlow mailto:marlo...@gmail.com>> wrote: Now, all that LLVM knows is that z was read from Sp[8], it has no more information about its value. Are you saying Hoopl can deduce the original form from t

Re: Hoopl vs LLVM?

On 12/12/12 17:37, Johan Tibell wrote: On Wed, Dec 12, 2012 at 4:35 AM, Simon Marlow wrote: On 11/12/12 21:33, Johan Tibell wrote: I'd definitely be interesting in understanding why as it, like you say, makes it harder for LLVM to understand what our code does and optimize it well.

Re: Haskell Dynamic Loading with -fllvm

On 12/12/12 18:03, David Terei wrote: Hi Nathan, So dynamic libraries should be supported on a few platforms but not all, not as many as the NCG. Support also varies from LLVM version. What platform and version of LLVM are you trying to utilize? And specifically what flags are you using? Also

Re: How to start with GHC development?

On 13/12/12 09:54, Yuras Shumovich wrote: On Thu, 2012-12-13 at 09:41 +, Chris Nicholls wrote: What's the best way to get started? Bug fixes? Writing a toy plugin? I don't have a huge amount of time to offer, but I would like to learn to help! GHC bug sweep is the way I'm trying to start

Re: How to start with GHC development?

On 15/12/12 14:46, Jan Stolarek wrote: OK, so how can we improve it? First of all I think that materials in the wiki are well organized for people who already have some knowledge and only need to learn about particular things they don't yet know. In this case I think it is fine to have wiki pa

Re: Separating build tree from the source tree

On 18/12/12 10:09, Jan Stolarek wrote: It turns out that running 'perl boot' in symlinked directory (ghc-build) is not enough. I had to run 'perl boot' in the original ghc-working dir and now configure succeedes in ghc-build. You shouldn't do that, because now you have build files in your sou

Re: Suggested policy: use declarative names for tests instead of increasing integers

On 18/12/12 12:33, Roman Cheplyaka wrote: * Simon Peyton-Jones [2012-12-18 10:32:39+] (This belongs on cvs-ghc, or the upcoming ghc-devs.) | I find our tests to be quite hard to navigate, as the majority have | names like tc12345.hs or some such. I suggest we instead use descriptive | name

Re: How to start with GHC development?

On 18/12/12 15:51, Simon Peyton-Jones wrote: | > It seems that many informations in the wiki are duplicated. There are | > two pages about | > repositories: | > http://hackage.haskell.org/trac/ghc/wiki/Repositories | > http://hackage.haskell.org/trac/ghc/wiki/WorkingConventions/Repositori | > es

Re: Tagging subjects of emails sent from the list

Right, we deliberately don't add subject tags for exactly that reason. There are enough headers in mailing list emails for your mail reader to automatically filter/tag messages if you need to. Cheers, Simon On 20/12/12 09:21, Johan Tibell wrote: I'd prefer if they weren't tagged. My m

Re: What is the scheduler type of GHC?

On 16/01/13 08:32, Magicloud Magiclouds wrote: Hi, Just read a post about schedulers in erlang and go lang, which informed me that erlang is preemptive and go lang is cooperative. So which is used by GHC? From ghc wiki about rts, if the question is only within haskell threads, it seems like

Re: Should ghc -msse imply gcc -msse

On 17/01/13 20:06, Johan Tibell wrote: On Thu, Jan 17, 2013 at 12:01 PM, Johan Tibell wrote: I forgot I once raised this on the GHC bug tracker: http://hackage.haskell.org/trac/ghc/ticket/7025 Here's what Simon M had to say back then: "The right thing is to put -msse in the cc-options field o

Re: any successfull ghc registerised builds on arm?

On 19/01/13 07:32, Stephen Paul Weber wrote: Somebody claiming to be Stephen Paul Weber wrote: Somebody claiming to be Nathan Hüsken wrote: Was that an registerised or unregisterised build? Did anyone succesfully build ghc on an arm system which produces non crashing executables? Just finally

Re: ghc passing -undef to preprocessor and thereby eliminating OS specific defines

On 24/01/13 11:21, Nathan Hüsken wrote: Hey, I am trying to adapt some code in the libraries when compiling for android (i.E. because some things are different on android to other posix systems). So in C code I would just do "#ifdef __ANDROID__". While in the *.h and *.c files it seems to work,

Re: any successfull ghc registerised builds on arm?

On 24/01/13 16:58, Nathan Hüsken wrote: On 01/24/2013 04:50 PM, Stephen Paul Weber wrote: Somebody claiming to be Nathan Hüsken wrote: On 01/24/2013 04:28 PM, Stephen Paul Weber wrote: Do you think it is specifically the 3.2 that made it work? Yes. With llvm version 3.1 I was only able to get

Re: Error building ghc on raspberry pi.

FYI, I created a wiki page for cross-compiling to Raspberry Pi: http://hackage.haskell.org/trac/ghc/wiki/Building/Preparation/RaspberryPi I have an unregisterised build using LLVM working now (it just worked, modulo the tiny fix for #7622). Cheers, Simon On 21/01/13 16:06, Karel Gard

Re: Error building ghc on raspberry pi.

rs, Simon Neil On 25 Jan 2013, at 10:46, Simon Marlow wrote: FYI, I created a wiki page for cross-compiling to Raspberry Pi: http://hackage.haskell.org/trac/ghc/wiki/Building/Preparation/RaspberryPi I have an unregisterised build using LLVM working now (it just worked, modulo th

Re: Fastest way to reload module with GHC API

On 25/01/13 14:30, JP Moresmau wrote: Hello, I just want to be sure of what's the fastest way to reload a module with the GHC API. I have a file whose path is fp I load the module with: addTarget Target { targetId = TargetFile fp Nothing, targetAllowObjCode = True, targetContents = Nothing } Then

Re: Size of crosscompiled exectuable

On 25/01/13 13:58, Nathan Hüsken wrote: A simple hello world application has 1Mb in by 64 bit ubunut machine. When I stript it, is has about 750kb. GHC statically links all its libraries by default. If you want a dynamically linked executable, use -dynamic (ensure you have the dynamic librar

Re: Fastest way to reload module with GHC API

s On Fri, Jan 25, 2013 at 4:33 PM, Simon Marlow mailto:marlo...@gmail.com>> wrote: On 25/01/13 14:30, JP Moresmau wrote: Hello, I just want to be sure of what's the fastest way to reload a module with the GHC API. I have a file whose path is fp

Re: Size of crosscompiled exectuable

On 25/01/13 15:51, Stephen Paul Weber wrote: Somebody claiming to be Simon Marlow wrote: On 25/01/13 13:58, Nathan Hüsken wrote: A simple hello world application has 1Mb in by 64 bit ubunut machine. When I stript it, is has about 750kb. When I build a cross compiler for android (arm), the

Re: Size of crosscompiled exectuable

On 25/01/13 16:35, Simon Marlow wrote: On 25/01/13 15:51, Stephen Paul Weber wrote: Somebody claiming to be Simon Marlow wrote: On 25/01/13 13:58, Nathan Hüsken wrote: A simple hello world application has 1Mb in by 64 bit ubunut machine. When I stript it, is has about 750kb. When I build a

Re: Extended periods of "waking up thread %d on cap %d"

I understand has recently been doing a rework on the scheduler) and Simon Marlow. Thanks, - Ben [1] https://github.com/bgamari/bayes-stack [2] http://goldnerlab.physics.umass.edu/~bgamari/Benchmark-wakeup.eventlog [3] http://goldnerlab.physics.umass.edu/~bgamari/Benchmark-wakeup-smaller.eventlog

Re: Size of crosscompiled exectuable

On 26/01/13 08:24, Nathan Hüsken wrote: On 01/25/2013 05:45 PM, Simon Marlow wrote: On 25/01/13 16:35, Simon Marlow wrote: On 25/01/13 15:51, Stephen Paul Weber wrote: Somebody claiming to be Simon Marlow wrote: On 25/01/13 13:58, Nathan Hüsken wrote: A simple hello world application has

Re: How to get started with a new backend?

On 28/01/13 11:21, Simon Peyton-Jones wrote: I would like to explore making a backend for .NET. I've done a lot of background reading about previous .NET and JVM attempts for Haskell. It seems like several folks have made significant progress in the past and, with the exception of UHC, I can't fi

Re: How to get started with a new backend?

On 28/01/13 01:15, Jason Dagit wrote: I would like to explore making a backend for .NET. I've done a lot of background reading about previous .NET and JVM attempts for Haskell. It seems like several folks have made significant progress in the past and, with the exception of UHC, I can't find any

<    1   2   3   4   5   6   7   8   9   10   >