Re: raw foregin imports - new backend for jhc: ghc

2006-11-27 Thread John Meacham
On Fri, Nov 17, 2006 at 05:12:23PM +, Simon Peyton-Jones wrote: > The crash is definitely a bug. The user manual does not claim to allow > unboxed tuples in the return type for a foreign call; so GHC should reject > the program politely. > > You might ask "well, couldn't the above program b

Re: bignums, gmp, bytestring, .. ?

2006-11-27 Thread John Meacham
On Sat, Nov 18, 2006 at 04:46:24PM -0500, Peter Tanski wrote: > The simple problem with Haskell and Integer is that, according to the > Standard, Integer is a primitive: it is consequently implemented as > part of the runtime system (RTS), not the Prelude or any library > (though the interfac

Re: Tuning -funfolding-use-threshhold

2006-11-27 Thread Bulat Ziganshin
Hello Donald, Monday, November 27, 2006, 12:51:07 PM, you wrote: > Does this thread on haskell-cafe, about getting better bit shifting > results, indicate we should be tweaking the default unfolding-use > threshold? Do the recent bit shifting/inlining patches improve things? can you please look

RE: Common subexpression elemination (CSE)

2006-11-27 Thread Simon Peyton-Jones
GHC does a very simple form of CSE. If it sees let x = e in e it replaces the inner 'e' by x. But that's all at the moment. Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] | On Behalf Of Lennart Augustsson | Sent: 27 November 2006 13:40 | To

Re: Common subexpression elemination (CSE)

2006-11-27 Thread Christian Maeder
Lennart Augustsson schrieb: > GHC doesn't normally do CSE. CSE can cause space leaks, so you can't do > it willy-nilly. > I'm sure there are some strict contexts where it could be done safely, > but I don't think ghc uses that information (yet). Interestingly, it can only be switched off by -fno-

Re: Common subexpression elemination (CSE)

2006-11-27 Thread Lennart Augustsson
GHC doesn't normally do CSE. CSE can cause space leaks, so you can't do it willy-nilly. I'm sure there are some strict contexts where it could be done safely, but I don't think ghc uses that information (yet). -- Lennart On Nov 27, 2006, at 08:34 , Christian Maeder wrote: the foll

Common subexpression elemination (CSE)

2006-11-27 Thread Christian Maeder
the following code does not run as fast as expected: modexp a e n = if e <= 0 then 1 else if even e then mod (modexp a (div e 2) n * modexp a (div e 2) n) n else mod (a * modexp a (e - 1) n) n it gets only fast if written as: modexp2 a e n = if e <= 0 then 1 else if even e then le

Re: Using GHC API

2006-11-27 Thread C.M.Brown
Hi Ian, After some playing around and hacking of my code, I finally got it to work. The problem is that the hscTarget flag needs to be set to HscNothing when running in the JustTypeCheck mode: GHC.setSessionDynFlags ses $ dflags1 {verbosity = 1, hscTarget=HscNothing} If you change the above line

Tuning -funfolding-use-threshhold

2006-11-27 Thread Donald Bruce Stewart
Does this thread on haskell-cafe, about getting better bit shifting results, indicate we should be tweaking the default unfolding-use threshold? Do the recent bit shifting/inlining patches improve things? http://thread.gmane.org/gmane.comp.lang.haskell.cafe/16849/focus=16849 I'm thinking that