Re: HEADS UP: Final call for 7.10.2 is soon

2015-06-03 Thread Johan Tibell
There have been some requests for a Cabal library release for 7.10.2. I remember something about truncate directories/symbol names being an issue. I'm CC:ing the Cabal mailing list for comments. On Wed, Jun 3, 2015 at 3:40 PM, Sergei Meshveliani mech...@botik.ru wrote: Please, consider my

Re: ANNOUNCE: GHC 7.10.1 Release Candidate 1 - problem with latest cabal-install

2015-01-01 Thread Johan Tibell
Try cabal install --allow-newer=base -j3 cabal-install Once GHC 7.10 is out we might make another Cabal 1.20 release to bump the upper bound on the base dependency if 1.20 is indeed compatible with the latest base. On Thu, Jan 1, 2015 at 12:08 PM, George Colpitts george.colpi...@gmail.com

Re: Permitting trailing commas for record syntax ADT declarations

2014-09-26 Thread Johan Tibell
That would be nice if we had a clean slate, but I don't people are going to change their whole import lists now. Adding a comma at the end is less disruptive. On Fri, Sep 26, 2014 at 11:06 PM, John Wiegley jo...@newartisans.com wrote: Richard Eisenberg e...@cis.upenn.edu writes: What if we

Re: Permitting trailing commas for record syntax ADT declarations

2014-09-26 Thread Johan Tibell
gets blamed for a line of code. The standard programming language way of solving that problem is to allow a trailing comma. On Fri, Sep 26, 2014 at 11:16 PM, Brandon Allbery allber...@gmail.com wrote: On Fri, Sep 26, 2014 at 5:12 PM, Johan Tibell johan.tib...@gmail.com wrote: That would

Re: 'import ccall unsafe' and parallelism

2014-08-14 Thread Johan Tibell
Hi! On Thu, Aug 14, 2014 at 5:54 PM, Christian Höner zu Siederdissen choe...@tbi.univie.ac.at wrote: However, due to the way ghc handles unsafe imports, namely block everything else whenever 'cfun' is called, I happen to have only one active 'go'. Lets assume 'cfun' is cheap and would suffer

Re: Overlapping and incoherent instances

2014-07-30 Thread Johan Tibell
On Wed, Jul 30, 2014 at 2:50 PM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 30 July 2014 22:07, Andreas Abel andreas.a...@ifi.lmu.de wrote: I am a bit surprised by the distinction you outline below. This is maybe because I am native German, not English. The German equivalent of

Re: Overlapping and incoherent instances

2014-07-29 Thread Johan Tibell
On Tue, Jul 29, 2014 at 11:50 AM, Herbert Valerio Riedel h...@gnu.org wrote: On 2014-07-29 at 11:29:45 +0200, Niklas Hambüchen wrote: instance {-# OVERLAPPABLE #-} Show a = Show [a] where … Is the syntax somewhat flexible in where the pragma can be placed? For example, some might prefer

Re: Overlapping and incoherent instances

2014-07-29 Thread Johan Tibell
On Tue, Jul 29, 2014 at 12:37 PM, Daniel Trstenjak daniel.trsten...@gmail.com wrote: On Tue, Jul 29, 2014 at 12:02:19PM +0200, Johan Tibell wrote: What's the rationale to not require {-# OVERLAPPING Show [Char] #-} here? Perhaps it's too annoying to have to repeat the types? This one

Re: GHC 7.8.3 release

2014-05-27 Thread Johan Tibell
I would say sooner. Here are still unmerged things that I think we could merge before (i.e. easy to merge): https://ghc.haskell.org/trac/ghc/ticket/9001 https://ghc.haskell.org/trac/ghc/ticket/9078 https://ghc.haskell.org/trac/ghc/ticket/8475 https://ghc.haskell.org/trac/ghc/ticket/8783

Re: RFC: include a cabal-install executable in future GHC releases

2014-05-04 Thread Johan Tibell
Thanks. Between you and Mikhail we got the Windows side covered. :) On Sun, May 4, 2014 at 11:13 AM, Niklas Larsson metanik...@gmail.comwrote: Hi! I put a Windows build here: https://www.dropbox.com/s/at7wc1dh0lfr7lc/cabal.exe.zip Niklas 2014-05-04 2:24 GMT+02:00 Johan Tibell johan.tib

Re: RFC: include a cabal-install executable in future GHC releases

2014-05-03 Thread Johan Tibell
I just uploaded 1.20.0.1 so there's only an OS X binary so far. I'm waiting for someone to send me a Windows one. On Sun, May 4, 2014 at 2:06 AM, Ashley Yakeley ash...@semantic.org wrote: I couldn't find them, and they're not listed at http://www.haskell.org/cabal/download.html (except OS

Re: Removing -fext-core

2014-04-30 Thread Johan Tibell
+1 ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: Buildbots

2014-04-01 Thread Johan Tibell
We now have a (Linux) travis-ci buildbot so we should be able to use whatever script that buildbot runs. To make a full validate you simply check out the source repos and run: CPUS=N sh validate (CPUS=N is optional of course.) On Tue, Apr 1, 2014 at 9:42 AM, harry volderm...@hotmail.com

Re: Buildbots

2014-04-01 Thread Johan Tibell
On Tue, Apr 1, 2014 at 10:07 AM, harry volderm...@hotmail.com wrote: Johan Tibell-2 wrote We now have a (Linux) travis-ci buildbot so we should be able to use whatever script that buildbot runs. Does this mean that the Builder page is also no longer relevant? And if so, how could

Re: Buildbots

2014-04-01 Thread Johan Tibell
On Tue, Apr 1, 2014 at 12:46 PM, Joachim Breitner m...@joachim-breitner.dewrote: Hi, Am Dienstag, den 01.04.2014, 10:25 + schrieb Simon Peyton Jones: Joachim Breitner has set up Travis-CI. (I don't know exactly what that is, but it sounds useful.) Travis is a free cloud service that

Re: Haskell Support on Windows

2014-03-31 Thread Johan Tibell
On Mon, Mar 31, 2014 at 2:57 PM, Niklas Larsson metanik...@gmail.comwrote: Seems to me that a less pessimistic solution would be to set up a windows buildbot. +1 I believe there's at least one investment bank that uses Haskell on Windows. Perhaps they could set one up. ;)

Re: RFC: include a cabal-install executable in future GHC releases

2014-01-22 Thread Johan Tibell
On Wed, Jan 22, 2014 at 12:57 AM, Herbert Valerio Riedel h...@gnu.orgwrote: On 2014-01-21 at 20:22:48 +0100, Ganesh Sittampalam wrote: I feel this blurs the roles of GHC and the Platform. IMO, that's a weak argument, as the roles are already blurred: GHC comes with `haddock`, `hp2ps`, and

Re: RFC: include a cabal-install executable in future GHC releases

2014-01-21 Thread Johan Tibell
We could offer OS X and Linux binaries in addition to the Windows binaries already downloaded on the cabal home page (http://www.haskell.org/cabal/) if someone could commit to building them. Aside: Right now building the Windows binaries is a very ad-hoc process (I email Mikhail who has a Windows

Re: Enabling TypeHoles by default

2014-01-14 Thread Johan Tibell
I can make another cabal release if needed, if someone submits a pull request with the right fix (i.e. add TypedHoles with TypeHoles as a synonym.) On Tue, Jan 14, 2014 at 5:33 PM, Austin Seipp aus...@well-typed.com wrote: At the very least, Type(d)Holes would never appear explicitly since it

Re: Enabling TypeHoles by default

2014-01-14 Thread Johan Tibell
. In any case, as Duncan informed me we'll have a Cabal release anyway, so I'll work on sorting this out and enabling it. On Tue, Jan 14, 2014 at 10:54 AM, Duncan Coutts dun...@well-typed.com wrote: On Tue, 2014-01-14 at 17:44 +0100, Johan Tibell wrote: I can make another cabal release

Re: Giving function a larger arity

2013-11-12 Thread Johan Tibell
And plan 2 doesn't require a magic data type. :) On Tue, Nov 12, 2013 at 9:36 AM, Simon Peyton-Jones simo...@microsoft.comwrote: There is a difference between plan A and B. For example, if f :: (OneShot a - b) - [a] - [b] then EVERY function passed to f would have to be

Re: love for hpc?

2013-11-07 Thread Johan Tibell
Aside: cabal supports hpc and puts the various files (e.g. .tix) in separate directories to avoid problems like these. On Thu, Nov 7, 2013 at 8:55 AM, Roman Cheplyaka r...@ro-che.info wrote: So Evan's prediction was accurate ;-) * Carter Schonwald carter.schonw...@gmail.com [2013-11-07

Re: 7.8 Release Update

2013-09-09 Thread Johan Tibell
Is it OK if I release Cabal-1.18.0.1 on Monday if we want it to ship with GHC 7.8? 1.18.0.1 is a tiny bugfix release on top of 1.18.0. On Mon, Sep 9, 2013 at 8:44 AM, Simon Peyton-Jones simo...@microsoft.com wrote: Yes I will try to review it this week. (This is the first time I've had access

Re: 7.8 Release Update

2013-09-09 Thread Johan Tibell
On Mon, Sep 9, 2013 at 1:14 PM, Edward Z. Yang ezy...@mit.edu wrote: I think Kazu is saying that when he builds something with profiling using cabal-install, it fails because cabal-install tries to build a dynamic version too. We don't want dyanmic/profiled libraries (there's no point, you

Re: 7.8 Release Update

2013-09-09 Thread Johan Tibell
That sounds terrible expensive to do on every `cabal build` and its a cost most users won't understand (what was broken before?). On Mon, Sep 9, 2013 at 4:06 PM, Edward Z. Yang ezy...@mit.edu wrote: If I am building some Haskell executable using 'cabal build', the result should be *statically

Re: Simplifying Core pretty-printing via GHC API?

2013-05-01 Thread Johan Tibell
On Wed, May 1, 2013 at 2:13 PM, Conal Elliott co...@conal.net wrote: I'm using the GHC API to compile Haskell source code to Core. I'd like to pretty-print the result with the sort of simplifications I get with -dsuppress-type-applications, -dsuppress-uniques, etc (used in combination with

Re: base package -- goals

2013-03-13 Thread Johan Tibell
On Wed, Mar 13, 2013 at 7:04 AM, Simon Peyton-Jones simo...@microsoft.comwrote: Most people won't care and will continue to depend on enough to get Prelude. Let me just put this out here so keep it in the back of our heads: most people don't care about this whole thing (splitting base) so

Re: base package -- goals

2013-03-11 Thread Johan Tibell
On Mon, Mar 11, 2013 at 4:45 PM, Simon Peyton-Jones simo...@microsoft.comwrote: B Better for internal implementation (eg using containers or bytestring in base) Note that this also means better code for external clients, as we can offer e.g. a better System.IO that lets people use Handles to

Re: base package -- goals

2013-02-25 Thread Johan Tibell
Hi all, Let me add the goals I had in mind last time I considered trying to split base. 1. I'd like to have text Handles use the Text type and binary Handles use the ByteString type. Right now we have this somewhat awkward setup where the I/O APIs are spread out and bundled with pure types.

Re: Race-condition in alternative 'System.Timeout.timeout' implementation

2013-02-24 Thread Johan Tibell
On Sun, Feb 24, 2013 at 2:31 PM, Herbert Valerio Riedel h...@gnu.org wrote: I've been experimenting with an alternative implementation of 'System.Timeout.timeout'[1] which avoids the overhead of spawning a new thread for each invocation. Part of my motivation is to see if I can implement a

Re: base package

2013-02-22 Thread Johan Tibell
Hi Joachim. Glad to see you're making progress on this. Once we're done exploring how fine-grained we can make the division we might want to pull back a bit and consider what logical groupings makes sense. For example, even if the float functionality can be split from the int functionality, I

Re: base package

2013-02-22 Thread Johan Tibell
On Fri, Feb 22, 2013 at 3:34 PM, Joachim Breitner m...@joachim-breitner.dewrote: right, there is a tension between having just independent APIs and having also independent implementations. My main goal is to allow packages to specify their imports more precisely, to require less changes as

Re: base package (Was: GHC 7.8 release?)

2013-02-15 Thread Johan Tibell
On Thu, Feb 14, 2013 at 6:48 AM, Joachim Breitner m...@joachim-breitner.dewrote: Maybe the proper is to reverse the whole approach: Leave base as it is, and then build re-exporting smaller packages (e.g. a base-pure) on top of it. The advantage is: * No need to rewrite the tightly

Re: base package (Was: GHC 7.8 release?)

2013-02-14 Thread Johan Tibell
On Thu, Feb 14, 2013 at 8:45 AM, Joachim Breitner m...@joachim-breitner.dewrote: ./Control/Applicative.hs ./Control/Arrow.hs ./Control/Category.hs ./Control/Monad/Fix.hs ./Control/Monad.hs ./Data/Bits.hs ./Data/Bool.hs ./Data/Either.hs ./Data/Eq.hs ./Data/Foldable.hs ./Data/Function.hs

Re: base package (Was: GHC 7.8 release?)

2013-02-14 Thread Johan Tibell
On Thu, Feb 14, 2013 at 2:53 PM, Joachim Breitner m...@joachim-breitner.dewrote: Hi, Am Donnerstag, den 14.02.2013, 13:19 -0800 schrieb Johan Tibell: That's great. I'm curious I was under the impression that it was hard to split out a pure subset as functions might call 'error' (e.g. due

Re: GHC 7.8 release?

2013-02-11 Thread Johan Tibell
Hi, I think reducing breakages is not necessarily, and maybe not even primarily, an issue of releases. It's more about realizing that the cost of breaking things (e.g. changing library APIs) has gone up as the Haskell community and ecosystem has grown. We need to be conscious of that and

Re: GHC 7.8 release?

2013-02-11 Thread Johan Tibell
On Mon, Feb 11, 2013 at 4:34 PM, Gabriel Dos Reis g...@integrable-solutions.net wrote: I have some experience with GCC releases -- having served as a GCC Release Manager for several years. In fact, the release scheme we currently have has gone through several iterations -- usually after many

Re: GHC 7.8 release?

2013-02-08 Thread Johan Tibell
On Fri, Feb 8, 2013 at 6:28 AM, Simon Marlow marlo...@gmail.com wrote: For a while we've been doing one major release per year, and 1-2 minor releases. We have a big sign at the top of the download page directing people to the platform. We arrived here after various discussions in the past

Re: GHC 7.8 release?

2013-02-07 Thread Johan Tibell
On Thu, Feb 7, 2013 at 6:48 PM, Ben Lippmeier b...@ouroborus.net wrote: Right now, the latest packages uploaded to Hackage get built with ghc-7.6 (only), and all the pages say Built on ghc-7.6. By doing this we force *all* library developers to run GHC 7.6. I think this sends the clearest

Re: Should ghc -msse imply gcc -msse

2013-01-17 Thread Johan Tibell
Hi all, 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 of your .cabal file, if that's what you want. I'm distinctly uneasy about having -msse

Re: Should ghc -msse imply gcc -msse

2013-01-17 Thread Johan Tibell
On Thu, Jan 17, 2013 at 12:01 PM, Johan Tibell johan.tib...@gmail.com 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 of your .cabal

Re: Should ghc -msse imply gcc -msse

2013-01-17 Thread Johan Tibell
On Thu, Jan 17, 2013 at 12:29 PM, Simon Marlow marlo...@gmail.com wrote: If the intended meaning of -msse is Use SSE instructions in Haskell compilations then of course we should pass -mattr=+sse to LLVM, because it is the backend for Haskell compilations. But we should not pass it to

Re: Newtype wrappers

2013-01-14 Thread Johan Tibell
On Mon, Jan 14, 2013 at 11:14 AM, Andrea Vezzosi sanzhi...@gmail.com wrote: Have you considered the effect on types like Data.Set that use the uniqueness of typeclass instances to maintain invariants? e.g. even when we have newtype X = X Y coercing Set X to Set Y can produce a tree with the

Re: Newtype wrappers

2013-01-14 Thread Johan Tibell
On Mon, Jan 14, 2013 at 1:19 PM, Simon Peyton-Jones simo...@microsoft.com wrote: Have you considered the effect on types like Data.Set that use the uniqueness of typeclass instances to maintain invariants? e.g. even when we have newtype X = X Y coercing Set X to Set Y can produce a tree with

Re: Newtype wrappers

2013-01-14 Thread Johan Tibell
On Mon, Jan 14, 2013 at 1:45 PM, Roman Cheplyaka r...@ro-che.info wrote: * Johan Tibell johan.tib...@gmail.com [2013-01-14 13:32:54-0800] On Mon, Jan 14, 2013 at 1:19 PM, Simon Peyton-Jones simo...@microsoft.com wrote: Have you considered the effect on types like Data.Set that use

Re: Newtype wrappers

2013-01-14 Thread Johan Tibell
On Mon, Jan 14, 2013 at 2:33 PM, Roman Cheplyaka r...@ro-che.info wrote: * Johan Tibell johan.tib...@gmail.com [2013-01-14 14:29:57-0800] Let me rephrase: how will Simon's proposed data constructors are in scope mechanism work? For example, will let xs :: Map = ... in map MyNewtype

Re: Newtype wrappers

2013-01-14 Thread Johan Tibell
On Mon, Jan 14, 2013 at 2:57 PM, Roman Cheplyaka r...@ro-che.info wrote: It's described here: http://hackage.haskell.org/trac/ghc/wiki/NewtypeWrappers We seem to be talking past each other. There's a specific problem related to type classes and invariants on data types mentioned earlier on this

Re: Newtype wrappers

2013-01-14 Thread Johan Tibell
On Mon, Jan 14, 2013 at 3:18 PM, Evan Laforge qdun...@gmail.com wrote: I assume it would change from doesn't compile to works if you add the required import. It's the same as the FFI thing, right? If you don't import M (T(..)), then 'foreign ... :: T - IO ()' gives an error, but import it

Re: Newtype wrappers

2013-01-14 Thread Johan Tibell
On Mon, Jan 14, 2013 at 3:40 PM, Evan Laforge qdun...@gmail.com wrote: Wait, what's the runtime error? Do you mean messing up Set's invariants? Yes. If you as the library writer don't want to allow unsafe things, then don't export the constructor. Then no one can break your invariants,

Should ghc -msse imply gcc -msse

2013-01-10 Thread Johan Tibell
Hi all, You can turn on e.g. SSE 4.1 by passing -msse4.2 to ghc. This doesn't currently imply that we compile any C code with -msse4.2 turned on, so if someone really want to use SSE4.2, they have to do: ghc -msse4,2 -optc-msse4.2 Do we want to change this so it's enough to pass -msse4.2 to

Re: Tagging subjects of emails sent from the list

2012-12-20 Thread Johan Tibell
I'd prefer if they weren't tagged. My mail reader (GMail) can do the tagging for me and I'll end up with duplicated tags and the list of subjects get harder to scan. On Thu, Dec 20, 2012 at 9:57 AM, Jan Stolarek jan.stola...@p.lodz.pl wrote: Would it be possible to change mailing list settings

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

2012-12-18 Thread Johan Tibell
Hi, 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 names like GADT.hs or PrimOps.hs instead. What do people think? -- Johan ___ Glasgow-haskell-users mailing

Re: Need workaround for lack of fromIntegral/Int-Word rules in 7.4.2

2012-12-17 Thread Johan Tibell
Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell- | users-boun...@haskell.org] On Behalf Of Johan Tibell | Sent: 14 December 2012 23:17 | To: glasgow-haskell-users | Subject: Need workaround for lack of fromIntegral/Int-Word rules in | 7.4.2 | | I'm trying

Re: Need workaround for lack of fromIntegral/Int-Word rules in 7.4.2

2012-12-17 Thread Johan Tibell
Hi, Turns out that I need a larger example to trigger the bug. I can reliable trigger it using the unordered-containers library. I won't bore you with the details. The workaround I need is this: forall x. integerToWord (smallInteger x) = int2Word# x

Need workaround for lack of fromIntegral/Int-Word rules in 7.4.2

2012-12-14 Thread Johan Tibell
I'm trying to work around the lack of some fromIntegral/Int-Word rules in 7.4.2. I tried something like: int2Word :: Int - Word #if defined(__GLASGOW_HASKELL__) int2Word (I# i#) = W# (int2Word# i#) #else int2Word = fromIntegral #endif {-# RULES fromIntegral/Int-Word fromIntegral = int2Word #-}

Re: Hoopl vs LLVM?

2012-12-12 Thread Johan Tibell
On Wed, Dec 12, 2012 at 4:35 AM, Simon Marlow marlo...@gmail.com 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. The example that Simon gave

Re: Mailing list reorganisation

2012-12-11 Thread Johan Tibell
On Tue, Dec 11, 2012 at 7:04 AM, Ian Lynagh i...@well-typed.com wrote: Does that sound reasonable? Does anyone have any further questions or comments? Sound good to me. Thanks for working on this. -- Johan ___ Glasgow-haskell-users mailing list

Re: Hoopl vs LLVM?

2012-12-11 Thread Johan Tibell
On Tue, Dec 11, 2012 at 11:16 AM, Simon Peyton-Jones simo...@microsoft.com 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 this (there is

Re: Hoopl vs LLVM?

2012-12-10 Thread Johan Tibell
On Mon, Dec 10, 2012 at 2:24 PM, Greg Fitzgerald gari...@gmail.com wrote: Should one group be stealing ideas from the other? Or apples and oranges? In my opinion we should only implement optimizations in Hoopl that LLVM cannot do due to lack high-level information that we might have gotten rid

Re: Which of the following PrimTyCons have a pointer-sized representations

2012-12-07 Thread Johan Tibell
On Fri, Dec 7, 2012 at 3:36 AM, Simon Peyton-Jones simo...@microsoft.com wrote: You can use TyCon.tyConPrimRep, followed by primRepSizeW Looking at primRepSizeW I see that the only PrimRep that is bigger than one word is Doubles, Int64s, and Word64s on 32-bit platforms. Manuel (I think wisely)

Re: Which of the following PrimTyCons have a pointer-sized representations

2012-12-07 Thread Johan Tibell
On Fri, Dec 7, 2012 at 10:48 AM, Johan Tibell johan.tib...@gmail.com wrote: On Fri, Dec 7, 2012 at 3:36 AM, Simon Peyton-Jones simo...@microsoft.com wrote: You can use TyCon.tyConPrimRep, followed by primRepSizeW Looking at primRepSizeW I see that the only PrimRep that is bigger than one

Generating a C call from a MachOp

2012-12-06 Thread Johan Tibell
Hi, I'm trying to implement word2Double#, which I represent as a MachOp I call MO_UF_Conv (which is very similar to MO_SF_Conv). On some platform I need to implement this MachOp as a call to a C function. Here's what I did in the PPC backend (PPC/CodeGen.hs) for example: getRegister' dflags

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

2012-12-06 Thread Johan Tibell
On Thu, Dec 6, 2012 at 1:34 PM, Simon Marlow marlo...@gmail.com 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 Integer) instead of emitting some assembly,

Which of the following PrimTyCons have a pointer-sized representations

2012-12-06 Thread Johan Tibell
Hi, As part of some work I'm doing I need to classify all PrimTyCons by the size of their representation as fields*. I need to classify them into two classes: pointer-sized (or smaller) and larger-than-pointer-sized. I've managed to figure out a bunch of them myself: Pointer-sized:

validate fails: No rule to make target `fast'

2012-12-06 Thread Johan Tibell
I'm getting this build failure from a: make maintainer clean perl boot; ./configure CPUS=2 sh validate ===--- building final phase make -r --no-print-directory -f ghc.mk phase=final validate_build_transformers cd libraries/transformers /Users/tibell/src/ghc/bindisttest/install dir/bin/ghc

Re: The end of an era, and the dawn of a new one

2012-12-05 Thread Johan Tibell
On Wed, Dec 5, 2012 at 12:37 PM, David Terei davidte...@gmail.com wrote: I have always considered the LLVM code generator my responsibility and will continue to do so. I don't seem to find the time to make improvements to it but make sure to keep it bug free and working with the latest LLVM

Emitting constants to the .data section from the NatM monad

2012-12-05 Thread Johan Tibell
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 in the NatM monad e.g.

Does GHC still support x87 floating point math?

2012-12-05 Thread Johan Tibell
Hi, 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 it? -- Johan ___ Glasgow-haskell-users mailing list

Re: GHC Performance Tsar

2012-11-30 Thread Johan Tibell
Hi Simon, I will try to find some time to set up a automatic run of nofib on my buildbot (which is powerful enough) and have it graph the results over time (and perhaps even email us when a benchmark dips). -- Johan ___ Glasgow-haskell-users mailing

Re: GHC Performance Tsar

2012-11-30 Thread Johan Tibell
On Fri, Nov 30, 2012 at 9:11 AM, Simon Peyton-Jones simo...@microsoft.com wrote: If Bryan and Johan are the Performance Tsars the future looks bright. Or at least fast. Thank you. If someone could point me to the build bot script that we run today that would be a great start. -- Johan

Re: Computing the final representation type of a TyCon (Was: Unpack primitive types by default in data)

2012-11-29 Thread Johan Tibell
Hi, I've created an initial implementation that seems to work. I'd appreciate it if someone could review the code (it's short!) to tell me if it's sane, can be improved, etc: https://github.com/tibbe/ghc/commit/6b44024173eae3029b7b43f7cc9fc7d9d801c367 On Thu, Nov 29, 2012 at 12:27 AM, Johan

Is the GHC release process documented?

2012-11-29 Thread Johan Tibell
Friends, 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 thought I'd ask instead. Is

Re: Dynamic libraries by default and GHC 7.8

2012-11-28 Thread Johan Tibell
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? -- Johan ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org

Where has the special built-in inline function gone?

2012-11-13 Thread Johan Tibell
Hi all, For the first time, I wanted to use the special built-in inline function. To my dismay, I can't find it anywhere! Here's a minimal example: --8- module Main where import GHC.Prim f x = x + 1 {-# INLINE f #-} g h x = inline h x main = print $ g f 1 --8- $ ghc

Re: Where has the special built-in inline function gone?

2012-11-13 Thread Johan Tibell
Thanks all. I've filed a bug for improving the docs. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Status of stack trace work

2012-11-07 Thread Johan Tibell
Hi! 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 impoverished cousins, the lexical stack

Re: Proposal: EPHEMERAL pragma

2012-10-25 Thread Johan Tibell
Interesting idea. On Thu, Oct 25, 2012 at 6:56 AM, José Pedro Magalhães j...@cs.uu.nl wrote: 3. Emit a warning if the generated core code still contains uses of Rep. I think this part will be really annoying, as GHC might end up generating warnings that the programmer can do nothing about

Re: copyArray# bug

2012-10-09 Thread Johan Tibell
On Tue, Oct 9, 2012 at 1:26 AM, Roman Leshchinskiy r...@cse.unsw.edu.au 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? I would expect

Re: copyArray# bug

2012-10-08 Thread Johan Tibell
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? -- Johan ___ Glasgow-haskell-users mailing list

Re: ANNOUNCE: GHC version 7.6.1

2012-09-17 Thread Johan Tibell
On Fri, Sep 7, 2012 at 11:05 AM, Herbert Valerio Riedel h...@gnu.org wrote: Ian Lynagh i...@well-typed.com writes: On Thu, Sep 06, 2012 at 09:42:53AM -0700, Johan Tibell wrote: 2. Could you please push all the packages that were released in GHC 7.6.1 to Hackage as well? I've now uploaded

Re: ANNOUNCE: GHC version 7.6.1

2012-09-06 Thread Johan Tibell
Woho! I love new GHC releases. On Thu, Sep 6, 2012 at 9:05 AM, Ian Lynagh i...@well-typed.com wrote: Full release notes are here: http://www.haskell.org/ghc/docs/7.6.1/html/users_guide/release-7-6-1.html 1. There are a bunch of TODOs in the release notes. :) 2. Could you please push all

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

2012-09-04 Thread Johan Tibell
On Tue, Sep 4, 2012 at 2:29 PM, Herbert Valerio Riedel h...@gnu.org wrote: Bryan O'Sullivan b...@serpentine.com writes: I think it would be very useful. We don't have any way of specifying identifier-level attributes right now that I know of, and such a capability would be helpful beyond just

Re: ANNOUNCE: GHC 7.6.1 Release Candidate 1

2012-08-16 Thread Johan Tibell
On Tue, Aug 14, 2012 at 6:47 AM, Christian Maeder christian.mae...@dfki.de wrote: I cannot test much, as long as the text package cannot be installed. dependency integer-gmp needs to be increased and: The latest released version of text now compiles with ghc-7.6.1-rc1.

Re: Imported foreign functions should be strict

2012-07-12 Thread Johan Tibell
On Thu, Jul 12, 2012 at 11:29 AM, Favonia favo...@gmail.com wrote: I see. Thanks for the response! Perhaps it is better for the pretty printer to print out U(S) instead? Regards, Favonia I'd love to see a cheat sheet documenting the strictness output. It confuses me every time, even when I

Re: Fwd: ghc-7.6 branch

2012-06-28 Thread Johan Tibell
Hi Ian, On Thu, Jun 28, 2012 at 6:26 AM, Ian Lynagh ig...@earth.li wrote: You didn't give a clear answer to my question. Am I right in thinking that your answer would be Yes, the GHC release should be delayed indefinitely? I did answer it, just not with a yes or no as it's a false dichotomy.

Re: Fwd: ghc-7.6 branch

2012-06-28 Thread Johan Tibell
On Thu, Jun 28, 2012 at 10:47 AM, Simon Peyton-Jones simo...@microsoft.com wrote: |   Has maintainer's not being responsive been a problem for GHC in the |   past? | |  Yes. Some of the upstreams respond so fast that it makes my head spin, |  while others often either don't respond or

Re: Fwd: ghc-7.6 branch

2012-06-27 Thread Johan Tibell
On Wed, Jun 27, 2012 at 3:20 AM, Paolo Capriotti p.caprio...@gmail.com wrote: On Wed, Jun 27, 2012 at 12:30 AM, Johan Tibell johan.tib...@gmail.com wrote: * Some libraries will need to have version bumps, which means that other  libraries will need to loosen their dependencies, which means

Re: Fwd: ghc-7.6 branch

2012-06-27 Thread Johan Tibell
On Wed, Jun 27, 2012 at 8:12 AM, Ian Lynagh i...@well-typed.com wrote: On Tue, Jun 26, 2012 at 04:30:02PM -0700, Johan Tibell wrote: I just want to see things changed. :) We're happy to try to improve things, but I'm not sure what change you want exactly. I want GHC to stop releasing other

Re: Fwd: ghc-7.6 branch

2012-06-27 Thread Johan Tibell
Hi, On Wed, Jun 27, 2012 at 12:53 PM, Ian Lynagh ig...@earth.li wrote: If a GHC release needs an unreleased change in one of the libraries, and the maintainer (for whatever reason) is not responding to e-mails, should the GHC release be held up indefinitely? Again, note that GHC is no

Re: Fwd: ghc-7.6 branch

2012-06-26 Thread Johan Tibell
(Moving lots of people to BCC. If you want to follow this discussion it will continue on the glasgow-haskell-users@haskell.org list.) On Tue, Jun 26, 2012 at 3:40 PM, Ian Lynagh i...@well-typed.com wrote: Please attribute any blame to me, not Paolo; he's only doing what I asked him to  :-) No

Is stderr flushed automatically after exceptions are printed

2012-06-12 Thread Johan Tibell
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? -- Johan ___

Re: Explicit calls to the garbage collector.

2012-05-07 Thread Johan Tibell
Hi, On Mon, May 7, 2012 at 6:33 AM, Jurriaan Hage j.h...@uu.nl 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

Re: Explicit calls to the garbage collector.

2012-05-07 Thread Johan Tibell
On Mon, May 7, 2012 at 7:00 AM, Christopher Done chrisd...@googlemail.com wrote: I would also be interested to know this. A web server is an example of a Haskell program that could force garbage collection at the end of every request reply, especially a multi-threaded server where the memory

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

2012-04-26 Thread Johan Tibell
On Thu, Apr 26, 2012 at 2:34 PM, Mikhail Glushenkov 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

Re: default instance for IsString

2012-04-25 Thread Johan Tibell
On Wed, Apr 25, 2012 at 8:19 AM, Tyson Whitehead twhiteh...@gmail.com wrote: Is there a technical reason this couldn't be done?  The Haskell report only says doing this is not part of haskell.  It doesn't say why. I think the problem is incoherence, what if the same Map value got used with two

Re: default instance for IsString

2012-04-22 Thread Johan Tibell
On Sun, Apr 22, 2012 at 10:37 AM, Brent Yorgey byor...@seas.upenn.edu wrote: I do not think this is a bug.  Since type classes are open, GHC does not do any reasoning of the form X is the only instance in scope, so I will pick that one.  Other instances could be added at any time (perhaps in

Re: Invariants for GHC.Event ensureIOManagerIsRunning

2012-04-16 Thread Johan Tibell
The intention is that the I/O manager should start with the RTS. It's started in hs_init_ghc if you're running the threaded RTS. I don't know enough about using ghc as a library to know if it needs to be started in some other context as well. -- Johan

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

2012-04-02 Thread Johan Tibell
I for one think this would make a good GSoC project. Make sure you get your application in in time though. -- Johan ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Stealing ideas from the latest GCC release

2012-03-22 Thread Johan Tibell
Hi all, While looking at the GCC 4.7 [1] release notes I saw something that's perhaps worth stealing. Taken from the release notes: The inter-procedural constant propagation pass has been rewritten. It now performs generic function specialization. For example when compiling the

Re: Stealing ideas from the latest GCC release

2012-03-22 Thread Johan Tibell
On Thu, Mar 22, 2012 at 3:52 PM, Jan-Willem Maessen jmaes...@alum.mit.edu wrote: Wait, I thought this is essentially what constructor specialization does?  I suppose we might then keep around the old body.  Or will these behave differently in the presence of, say, different constant Int

  1   2   3   >