January 2014 - ghc-devs

ARM64 cross-compiler and --sysroot GNU C option.
by Karel Gardas 18 Jan '14

18 Jan '14

Folks, just for fun I've built GHC cross-compiler for ARM64 platform using LLVM backend. I've documented it here: https://ghcarm.wordpress.com/2014/01/18/unregisterised-ghc-head-build-for-a… and I'm writing here just to ask if you think adding --with-gcc-sysroot option (or kind of it) to GHC's configure may be a good idea or not (i.e. you consider using shell script wrapper which passes --sysroot option to the GNU C cross compiler perfectly adequate for this job -- like I did in blog post above). See also #7754 which shows the same problem. Thanks! Karel

1 0

RE: [Haskell-cafe] GHC API: runStmt not taking into account reloaded module
by Simon Peyton Jones 17 Jan '14

17 Jan '14

That sounds odd. Can you make a small reproducible test case, open a ticket, and attach the test? Thanks SImon From: Haskell-Cafe [mailto:haskell-cafe-bounces@haskell.org] On Behalf Of JP Moresmau Sent: 14 January 2014 20:14 To: Haskell Cafe Subject: [Haskell-cafe] GHC API: runStmt not taking into account reloaded module It's late here and I'm probably overlooking something stupid, so I'd like if somebody could put my nose on it... I'm using the GHC API to evaluate statements. I use runStmt to get a RunResult, lookupName to get the ID for the bound names, obtainTermFromId to get the term and showTerm to display it. So I can call a function from the loaded module with some parameters and get the result. Good! However, if I reload a module and I change the implementation of the function, runStmt still returns the old value! I know the reload worked because if I added new names, getNamesInScope returns the new names. What do I need to do to make sure the new function definitions are used? I've perused the source code of InteractiveEval and ghci but nothing stood out. I am calling setContext after load. Thanks a million! -- JP Moresmau http://jpmoresmau.blogspot.com/

2 4

[PATCH] platformFromTriple: fix to recognize Solaris triple (i386-pc-solaris2.11)
by Karel Gardas 16 Jan '14

16 Jan '14

--- Cabal/Distribution/System.hs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/Cabal/Distribution/System.hs b/Cabal/Distribution/System.hs index a18e491..4fc76f6 100644 --- a/Cabal/Distribution/System.hs +++ b/Cabal/Distribution/System.hs @@ -89,7 +89,7 @@ osAliases Compat Windows = ["mingw32", "win32"] osAliases _ OSX = ["darwin"] osAliases _ IOS = ["ios"] osAliases Permissive FreeBSD = ["kfreebsdgnu"] -osAliases Permissive Solaris = ["solaris2"] +osAliases _ Solaris = ["solaris2"] osAliases _ _ = [] instance Text OS where -- 1.7.3.2

4 6

Re: [commit: packages/integer-gmp] master: Allocate initial 1-limb mpz_t on the Stack and introduce MPZ# type (7bdcadd)
by Simon Marlow 16 Jan '14

16 Jan '14

On 13/01/14 13:25, git(a)git.haskell.org wrote: > Repository : ssh://git@git.haskell.org/integer-gmp > > On branch : master > Link : http://ghc.haskell.org/trac/ghc/changeset/7bdcadda7e884edffb1427f0685493f3a… > >> --------------------------------------------------------------- > > commit 7bdcadda7e884edffb1427f0685493f3a2e5c5fa > Author: Herbert Valerio Riedel <hvr(a)gnu.org> > Date: Thu Jan 9 00:19:31 2014 +0100 > > Allocate initial 1-limb mpz_t on the Stack and introduce MPZ# type > > We now allocate a 1-limb mpz_t on the stack instead of doing a more > expensive heap-allocation (especially if the heap-allocated copy becomes > garbage right away); this addresses #8647. While this is quite cool (turning some J# back into S#), I don't understand why you've done it this way. Couldn't it be done in the Haskell layer rather than modifying the primops? The ByteArray# has already been allocated by GMP, so you don't lose anything by returning it to Haskell and checking the size there. Then all the DUMMY_BYTEARRAY stuff would go away. Cheers, Simon

3 3

Releasing containers 0.5.3.2 -- before GHC 7.8?
by Ryan Newton 16 Jan '14

16 Jan '14

Hi guys, I'm wondering if we can do a hackage release of 0.5.3.2? That "splitRoot" function is in there, and my ability to deploy parallel code that uses containers depends on people getting it! Are there any other changes since 0.5.3.1? Replacing containers seems like a real pain for end users, so it would be great if 0.5.3.2 could come with GHC 7.8. Currently, it looks like the GHC repo is up to date in that it includes 0.5.3.1. I realize it is late days for this, but: - It's been a month since we put splitRoot in; I've been using it heavily and it I'm pretty confident that it's correct. (It's so simple!) - Nothing else is touched, so there is very little liability associated with this version bump. And, as you know, if we don't make this round it's a long latency before the next chance. That is, before we can expect people to do parallel folds over Data.Set or Data.Map without installation headache. Any objections? -Ryan

5 6

PLT Redex definition of STG as per fast curry paper
by Edward Z. Yang 15 Jan '14

15 Jan '14

For those of you who aren't following the commit list, I've just pushed a PLT Redex <http://redex.racket-lang.org/> definition for an STG-like language as was defined in the fast curry paper. This language is *not* STG. The hope is that this will be a good starting point for actually formalizing STG as it exists today. I've included a hefty comment block at the top of the development summarizing ways in which this could be improved. Take a look if you're interested! Cheers, Edward

3 2

ghci verbosity
by Simon Peyton Jones 15 Jan '14

15 Jan '14

Friends ghc -interactive has just started being more verbose. The "linking...done" stuff didn't happen before. Does this ring any bells for anyone? I have not investigated at all so far; hoping someone will say "oh yes, I know and will fix". Simon bash$ ~/5builds/HEAD/inplace/bin/ghc-stage2 --interactive GHCi, version 7.7.20140114: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Prelude>

3 3

Re: Releasing containers 0.5.3.2 -- before GHC 7.8?
by Johan Tibell 14 Jan '14

14 Jan '14

I'll make a release in the next few days. On Tue, Jan 14, 2014 at 10:33 PM, Milan Straka <fox(a)ucw.cz> wrote: > Hi Johan, > > I think releasing 0.5.4 is a good idea. Could I ask you to do the > release as usual, please? > > We added the splitRoot function, so it should really be 0.5.4 and not > only 0.5.3.2. Actually, we added Functor instance to Graph.SCC and > Functor and Applicative instances to Graph.SetM, but Graph is rarely > used, so I would deliberately break PVP and not do a major version bump. > > Thanks, > cheers, > Milan > > > -----Original message----- > > From: Ryan Newton <rrnewton(a)gmail.com> > > Sent: 14 Jan 2014, 11:41 > > > > Hi guys, > > > > I'm wondering if we can do a hackage release of 0.5.3.2? That > "splitRoot" > > function is in there, and my ability to deploy parallel code that uses > > containers depends on people getting it! Are there any other changes > since > > 0.5.3.1? > > > > Replacing containers seems like a real pain for end users, so it would be > > great if 0.5.3.2 could come with GHC 7.8. Currently, it looks like the > GHC > > repo is up to date in that it includes 0.5.3.1. > > > > I realize it is late days for this, but: > > > > - It's been a month since we put splitRoot in; I've been using it > > heavily and it I'm pretty confident that it's correct. (It's so > simple!) > > - Nothing else is touched, so there is very little liability > associated > > with this version bump. > > > > And, as you know, if we don't make this round it's a long latency before > > the next chance. That is, before we can expect people to do parallel > folds > > over Data.Set or Data.Map without installation headache. > > > > Any objections? > > -Ryan >

1 0

Folding constants for floats
by Kyle Van Berendonck 14 Jan '14

14 Jan '14

Hi, I'm cutting my teeth on some constant folding for floats in the cmm. I have a question regarding the ticket I'm tackling: Should floats be folded with infinite precision (and later truncated to the platform float size) -- most useful/accurate, or folded with the platform precision, i.e. double, losing accuracy but keeping consistent behaviour with -O0 -- most "correct"? I would prefer the first case because it's *much* easier to implement than the second, and it'll probably rot less. Regards.

4 12

Fwd: Re: Pattern synonyms for 7.8?
by Dr. ÉRDI Gergő 14 Jan '14

14 Jan '14

Hi, How do I get permissions to push to my wip branch? Thanks, Gergo ---------- Forwarded message ---------- From: "Dr. ERDI Gergo" <gergo(a)erdi.hu> Date: Jan 13, 2014 8:12 PM Subject: Re: Pattern synonyms for 7.8? To: <austin(a)well-typed.com> Cc: "Gabor Greif" <ggreif(a)gmail.com> (removing Mateusz and ghc-devs from the recipient list) Hi, On Mon, 13 Jan 2014, Gabor Greif wrote: From what I understood, you *should* have all permissions to push to > wip/ branches. If not, please contact the admins. (IIRC Austin did > this previously). > OK, I think this was the missing information that got me confused. What repo are we talking about? I tried the mirror on GitHub (git@github.com:ghc/ghc.git) but that one doesn't seem to work: ERROR: Permission to ghc/ghc.git denied to gergoerdi. fatal: Could not read from remote repository. I also tried the Haskell.org repo of ssh://git@git.haskell.org/ghc, but that doesn't work either (which is unsurprising since I don't remember ever sending my SSH public key to haskell.org) 20:10:02 [cactus@galaxy ghc]$ git push -u origin wip/pattern-synonyms Permission denied (publickey). Please advise. Thanks, Gergo -- .--= ULLA! =-----------------. \ http://gergo.erdi.hu \ `---= gergo(a)erdi.hu =-------' Ki volt Casper, mielôtt meghalt?

1 0