Re: [Haskell-cafe] Haskell with all the safeties off

2012-09-07 Thread Edward Z. Yang
Haskell already does this, to some extent, in the design of imprecise exceptions. But note that bottom *does* have well defined behavior, so these optimizations are not very desirable. Edward Excerpts from David Feuer's message of Thu Sep 06 19:35:43 -0400 2012: I have no plans to do such a

[Haskell-cafe] ANNOUNCE: haskell-src-exts 1.13.5

2012-09-07 Thread Niklas Broberg
Fellow Haskelleers, I'm pleased to announce the release of haskell-src-exts-1.13.5! * On hackage: http://hackage.haskell.org/package/haskell-src-exts * Via cabal: cabal install haskell-src-exts * Darcs repo: http://code.haskell.org/haskell-src-exts There are two primary reasons for this

Re: [Haskell-cafe] performance issues with popCount

2012-09-07 Thread Nicolas Trangez
On Thu, 2012-09-06 at 12:07 -0700, Johan Tibell wrote: Have a look at the popCount implementation for e.g. Int, which are written in C and called through the FFI: https://github.com/ghc/packages-ghc-prim/blob/master/cbits/popcnt.c Out of interest: isn't this compiled into the popCnt# primop

[Haskell-cafe] ANNOUCE: Haddock 2.10.0 and 2.11.0

2012-09-07 Thread David Waern
-- Haddock 2.10.0 and 2.11.0 Two new versions of Haddock have been uploaded to Hackage: version 2.10.0 which comes with GHC 7.4.2 and 2.11.0 which comes with the new GHC 7.6.1!

Re: [Haskell-cafe] ANNOUCE: Haddock 2.10.0 and 2.11.0

2012-09-07 Thread Alfredo Di Napoli
Great news! On 7 September 2012 13:19, David Waern david.wa...@gmail.com wrote: -- Haddock 2.10.0 and 2.11.0 Two new versions of Haddock have been uploaded to Hackage: version 2.10.0 which comes with

[Haskell-cafe] parsing ghc type errors

2012-09-07 Thread Semen Trygubenko
Dear Haskell-cafe, When dealing with ghc type errors I often see messages like Couldn't match expected type `ghc-prim:GHC.Types.IO{tc 32I} MyTypeNameHere{tc r1d8}' with actual type `ghc-prim:GHC.Types.IO{tc 32I}

Re: [Haskell-cafe] Haskell with all the safeties off

2012-09-07 Thread David Feuer
On Sep 7, 2012 2:00 AM, Edward Z. Yang ezyang ezy...@mit.edu@ezy...@mit.edu mit.edu ezy...@mit.edu wrote: Haskell already does this, to some extent, in the design of imprecise exceptions. But note that bottom *does* have well defined behavior, so these optimizations are not very desirable.

Re: [Haskell-cafe] Haskell with all the safeties off

2012-09-07 Thread Edward Z. Yang
Excerpts from David Feuer's message of Fri Sep 07 12:06:00 -0400 2012: They're not *usually* desirable, but when the code has been proven not to fall into bottom, there doesn't seem to be much point in ensuring that things will work right if it does. This sort of thing only really makes sense

Re: [Haskell-cafe] performance issues with popCount

2012-09-07 Thread Johan Tibell
On Fri, Sep 7, 2012 at 4:54 AM, Nicolas Trangez nico...@incubaid.com wrote: On Thu, 2012-09-06 at 12:07 -0700, Johan Tibell wrote: Have a look at the popCount implementation for e.g. Int, which are written in C and called through the FFI:

Re: [Haskell-cafe] ANNOUCE: Haddock 2.10.0 and 2.11.0

2012-09-07 Thread Ivan Lazar Miljenovic
On 7 September 2012 23:19, David Waern david.wa...@gmail.com wrote: -- Haddock 2.10.0 and 2.11.0 Two new versions of Haddock have been uploaded to Hackage: version 2.10.0 which comes with GHC 7.4.2 and