Re: Proposal: Include GHC version target in libraries' description

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 On 14/08/15 11:30, Alexander Berntsen wrote: > -make GHC a distribution and use that field, > -use the platform feature, > -make a new field -- bundled-with, bundles, or similar, > -or use the package collection feature. > > [L]et's make a

Re: Converting unboxed sum types in StgCmm

I took a stab at this but ran into something I don't understand. For recence, the whole implementation of unboxed sums is at https://github.com/ghc/ghc/compare/master...tibbe:unboxed-sums and the implementation of unarisation is at

HEADS UP (devs, users): 8.0.1 Roadmap

Hi *, I've returned from vacation, and last week Simon, Simon and I met up again after a long break, and talked a bit about the upcoming release. The good news is that it is going to be an exciting one! The flip side is, there's a lot of work to be done! The current plan we'd roughly like to

HEADS UP: Need 7.10.3?

Hi *, (This is an email primarily aimed at users reading this list and developers who have any interest). As some of you may know, there's currently a 7.10.3 milestone and status page on our wiki: https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.3 The basic summary is best captured on the

Re: HEADS UP: Need 7.10.3?

On Mon, Sep 14, 2015 at 3:53 PM, Austin Seipp wrote: > Hi *, > > (This is an email primarily aimed at users reading this list and > developers who have any interest). > > As some of you may know, there's currently a 7.10.3 milestone and > status page on our wiki: > >

Re: Converting unboxed sum types in StgCmm

> > >- >data RepType = UbxTupleRep [UnaryType] >| UbxSumRep [UnaryType] >| UnaryRep UnaryType > > Not, fully following, but ... this reptype business is orthogonal to whether you add a normal type to the STG level that models anonymous, untagged unions, right? That is,

download all of Hackage?

Hi devs, Is there an easy way to download (but not compile) all of Hackage? I know of the hackager package, but that's about compiling. I just want a whole big load of Haskell code to play with. I thought I could find a link on Hackage to do this, but failed. Thanks! Richard

Re: download all of Hackage?

On Mon, Sep 14, 2015 at 10:43 AM, Richard Eisenberg wrote: > Is there an easy way to download (but not compile) all of Hackage? I know > of the hackager package, but that's about compiling. I just want a whole > big load of Haskell code to play with. I thought I could find a

Re: Converting unboxed sum types in StgCmm

Another question, in need to add something to AltType in StgSyn, would this work data AltType = PolyAlt -- Polymorphic (a type variable) | UbxTupAlt Int -- Unboxed tuple of this arity | UbxSumAlt Int -- Unboxed sum of this arity | AlgAltTyCon -- Algebraic

Re: Unlifted data types

On Sep 11, 2015, at 4:28 AM, Roman Cheplyaka wrote: > On 11/09/15 06:22, Carter Schonwald wrote: >> Would this allow having a strict monoid instance for maybe, given the >> right hinting at the use site? > > That's a fantastic idea, especially if it could be generalized to >

Re: download all of Hackage?

That's perfect -- thanks! It's already humming away. On Sep 14, 2015, at 11:17 AM, Herbert Valerio Riedel wrote: > for PKG in $(cabal list --simple | awk '{ print $1 }' | uniq); do cabal get > $PKG;done ___ ghc-devs mailing list

Re: download all of Hackage?

On 2015-09-14 at 16:43:44 +0200, Richard Eisenberg wrote: > Is there an easy way to download (but not compile) all of Hackage? I > know of the hackager package, but that's about compiling. I just want > a whole big load of Haskell code to play with. I thought I could find > a link on Hackage to do

Re: download all of Hackage?

It's a little out of date, but I've been using that repo I made to do surveys of Haskell code and figure out how frequently things are used. I could really do with a Haskell-source-code-aware grep though. Being able to specify type, data, etc. would be really nice! On Mon, Sep 14, 2015 at 10:19

Re: Converting unboxed sum types in StgCmm

I've given this a yet some more thought. Given this simple core program: f [InlPrag=NOINLINE] :: (#|#) Int Char -> Int [GblId, Arity=1, Str=DmdType] f = \ (ds_dmE :: (#|#) Int Char) -> case ds_dmE of _ [Occ=Dead] { (#_|#) x_amy -> x_amy; (#|_#) ipv_smK -> patError @ Int

Making compilation results deterministic (#4012)

Hello, For the past couple of weeks I've been working on making compilation results deterministic. What I'm focusing on right now is the interface file determinism, I don't care about binaries being deterministic. I'd like to give a status update and ask for some advice, since I'm running into

Re: HEADS UP: Need 7.10.3?

Oh, and I guess it was implied, but I'm hugely in favor of a release : ) #10568 breaks linking with GLFW on Mac, and #10672 breaks linking with C++ libraries on Windows (Bullet Physics, in this case). We're working on and evangelizing Haskell for game and VR dev heavily right now and those are

Re: download all of Hackage?

You will probably not be able to compile everything. If you want a compilable subset, you should probably look at stackage Alan On Mon, Sep 14, 2015 at 9:57 PM, Mike Izbicki wrote: > Does anyone know approximately how much disk space all of hackage > takes up when compiled?

Re: Cannot have GHC in ARMv6 architecture

Hello again, I still can't get the stage 2 binary, as previous messages show. Should I manually use the stage 1 compiler to do it, along with GCC cross-compiler, etc.? Because the page https://ghc.haskell.org/trac/ghc/wiki/Building/Preparation/RaspberryPi says that «The build should go

Re: Using GHC API to compile Haskell file

>> 1) Is there any way to do the two compilations sharing some cached >> state, e.g. loaded packages/.hi files, so each compilation goes >> faster. > > You can, using withTempSession in the GhcMonad. The external package > state will be preserved across calls here, but things put in the HPT >

Re: HEADS UP: Need 7.10.3?

My two showstoppers are https://ghc.haskell.org/trac/ghc/ticket/10568 and https://ghc.haskell.org/trac/ghc/ticket/10672, both of which seem to be already on track for 7.10.3, great! On Mon, Sep 14, 2015 at 7:15 AM, Tuncer Ayaz wrote: > On Mon, Sep 14, 2015 at 3:53 PM,

Re: Converting unboxed sum types in StgCmm

> > It seems to me that we just want to rewrite the case altogether into > something that looks at the tag field of the data constructor. Also, in stg > we use the same DataCon as in core, but after stg the unboxed sum case > really only has one constructor (one with the union of all the fields),

Re: Unlifted data types

I'm not so sure how useful an observation this is, but Dunfield had a paper at this very ICFP "Elaborating Evaluation-Order Polymorphism". He argues that polymorphism over evaluation order should be thought of as a form of intersection type. Edward Excerpts from Richard Eisenberg's message of

Re: download all of Hackage?

> Brandon Allbery writes: > There's hackage-mirror, but I note it says it mirrors to S3. It mirrors into a directory as well: hackage-mirror --from="http://hackage.haskell.org; --to="/some/dir" Further, it can incrementally update very quickly. John

Re: download all of Hackage?

Does anyone know approximately how much disk space all of hackage takes up when compiled? And about how long it takes to compile everything? On Mon, Sep 14, 2015 at 11:37 AM, John Wiegley wrote: >> Brandon Allbery writes: > >> There's

Re: Converting unboxed sum types in StgCmm

On 10/09/2015 10:37, Simon Peyton Jones wrote: The problem is that stg is too strongly typed It’s not really typed, or at least only in a very half-hearted way. To be concrete I think you can just use Any for any Pointer arg. All STG needs to know, really, is which things are pointers.