October 2013 - ghc-devs

storage.c
by Simon Peyton-Jones 08 Oct '13

08 Oct '13

I'm getting the error below. I'm fixing it by changing the backslash to a vertical bar. It's in a comment so I guess that's the right thing to do? Dunno how anyone else's builds work! Simon rts/sm/Storage.c: In function 'allocate': rts/sm/Storage.c:725:13: error: multi-line comment [-Werror=comment] cc1: all warnings being treated as errors Microsoft Research Limited (company number 03369488) is registered in England and Wales Registered office is at 21 Station Road, Cambridge, CB1 2FB

3 2

Re: [GHC] #8043: Feature Request : Qualified module exports
by Muhaimin Ahsan 08 Oct '13

08 Oct '13

I'm working on it! :-) On Tuesday, October 8, 2013, GHC wrote: > #8043: Feature Request : Qualified module exports > -------------------------------------+------------------------------------ > Reporter: erikd | Owner: > Type: bug | Status: new > Priority: normal | Milestone: > Component: Compiler | Version: 7.7 > Resolution: | Keywords: > Operating System: Unknown/Multiple | Architecture: Unknown/Multiple > Type of failure: Other | Difficulty: Unknown > Test Case: | Blocked By: > Blocking: | Related Tickets: > -------------------------------------+------------------------------------ > > Comment (by simonmar): > > This may be the new location for that discussion: > http://www.haskell.org/pipermail/libraries/2005-March/003139.html > > Could someone please fix the mailing list links! > > -- > Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8043#comment:7> > GHC <http://www.haskell.org/ghc/> > The Glasgow Haskell Compiler > _______________________________________________ > ghc-tickets mailing list > ghc-tickets(a)haskell.org <javascript:;> > http://www.haskell.org/mailman/listinfo/ghc-tickets > -- Muhaimin (Sent from Gmail Mobile)

1 0

FW: ghc src snapshots
by Simon Peyton-Jones 08 Oct '13

08 Oct '13

Austin (or anyone else) What’s the story about nightly snapshot builds? Does this link with Joachim’s work on Travis? Thanks Simon From: Glasgow-haskell-users [mailto:glasgow-haskell-users-bounces@haskell.org] On Behalf Of Jens Petersen Sent: 07 October 2013 10:40 To: glasgow-haskell-users Subject: ghc src snapshots Are recent source tarball snapshots available somewhere? (I mean more recent than http://darcs.haskell.org/ghcBuilder/uploads/ :) Anyway since I haven't seen any recently, I finally rolled one today and uploaded ghc-7.7.20131005-src.tar.bz2 (11MB) to: http://petersen.fedorapeople.org/ghc/ It seems to build ok for me. :) (I didn't go to the trouble of generating a testsuite tarball too.) Thanks, Jens

2 1

#4012
by Alexander Kjeldaas 08 Oct '13

08 Oct '13

I am confused while reading http://ghc.haskell.org/trac/ghc/ticket/4012<http://ghc.haskell.org/trac/ghc/ticket/8276> . What initially was filed as a difference in results from two identical compiler versions bootstrapped by two different compiler versions seems to morph into a discussion about API stability for differences in code, and various fixes that have been applied. What are the current requirements for getting deterministic builds? Alexander

1 0

New page on the wiki: Emacs tips and tricks
by Jan Stolarek 08 Oct '13

08 Oct '13

Hi all, I created a wiki page that gathers useful Emacs configuration: http://ghc.haskell.org/trac/ghc/wiki/Emacs My intention for this page was to be as self contained as possible, so that you can just copy-paste configuration to your .emacs file and benefit from it instantly (well, after restarting Emacs or reloading config). I'm sure many of you also have interesting configuration and usage tips to share. Richard, on the Newcomers page you mentioned that you have hotkeys for building GHC and searching the codebase - could please tell us how to do this? Janek

3 2

ghc-compete, a repository of fingerprints, and continuous integration
by Joachim Breitner 08 Oct '13

08 Oct '13

Dear Devs, in the best scratch-an-itch-tradition I have created a special git repository, called “ghc-complete”, which tracks the combined state of all GHC-related repositories. It uses GHC’s fingerprint utility and simply tracks the change of the fingerprint file over time: https://github.com/nomeata/ghc-complete The main use of this is to have a repo which I can enable to be continuously checked by Travis (a free CI hoster). So instead of having several people ask on IRC about what build or test suite failures are actually not their fault, they can now simply check the travis page: https://www.travis-ci.org/nomeata/ghc-complete/builds The Travis tests are a bit stripped down, in order to finish reliably before the 50 minute timeout, see https://github.com/nomeata/ghc-complete/blob/master/validate.sh for the precise options. The log files are too large for the JavaScript enhanced view on Travis. So if you click on a specific build result, e.g. https://www.travis-ci.org/nomeata/ghc-complete/builds/12216328 then better immediately browse to the raw build log (the rounded square button in the top right corner with the four horizontal bars). Another use of this repo might be bisecting a problem. If you find this useful, I’d propose to let this run on git.haskell.org proper, and also not as a cronjob (every 15 minutes at the moment), but rather triggered by the actual pushes. On my TODO list is to make the commit messages of the repository more useful, by including the log of the new commits in it. If (not sure if this is planned to that extend) eventually all related repositories of GHC are submodules, this will have become obsolete. Which of course is fine. Enjoy, Joachim -- Joachim “nomeata” Breitner mail(a)joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata(a)joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata(a)debian.org

2 1

#8276
by Andreas Voellmy 08 Oct '13

08 Oct '13

Is there a workaround for http://ghc.haskell.org/trac/ghc/ticket/8276. I haven't been able to build HEAD for a while due to this issue. -Andi

2 2

-dynamic: all or nothing?
by Andreas Voellmy 07 Oct '13

07 Oct '13

Hi all, >From what I gather, using "-dynamic" with "ghc --make" compiles an executable using dynamic linking for ALL dependent Haskell libraries. Is it possible to choose to link some dependent libraries to link statically and some to link dynamically? If so, how can I do this? -Andi

2 1

Re: Proposal: GHC.Generics marked UNSAFE for SafeHaskell
by Ryan Newton 07 Oct '13

07 Oct '13

My understanding is that the > proposed changes to ghc/Generic would mean that all data used with > LVish would have to expose it's implementation to everybody through > the derived Generic instance. > Either that or they would have use TrustWorthy to mark a module containing custom equality/ordering operations as safe according to our definition, and take the proof obligations that come with that. In fact, this is what we would plan to do to "opt in" ADTs like bytestring, vector, containers. We can trust as many people/libraries as we like, but we want to retain the ability to run untrusted code with the right set of flags to ensure that it can't break our library. (And that's what we can't do without locking down the Generic backdoor.)

1 0

Re: Proposal: GHC.Generics marked UNSAFE for SafeHaskell
by Edward Kmett 07 Oct '13

07 Oct '13

I have no particular opinions on the internals of LVish. I do have concern than your supplied Generic for Set seems rather borked though, so I felt I should explain the issue lest someone take it as a model for how to define a custom Generic! =) A real valid 'virtual' Rep (Set a) would be a fair bit more complicated with something like instance Generic Set where type Rep (Set a) = D1 D_Set (C1 C_fromList (S1 NoSelector (Rec0 [a])) to (M1 (M1 (M1 (K1 as))) = fromList as from as = M1 (M1 (M1 (K1 (toList as) instance Generic1 Set where type Rep1 Set = D1 D1_Set (C1 C1_fromList (S1 NoSelector (Rec1 [])) ... with a custom Datatype instances D_Set, D1_Set and custom virtual Constructor instances C_fromList and C1_fromList. Otherwise it won't deal correctly with any code out there that was written to assume a properly constructed Generic. Headaches like that are why few of us ever implement Generic or Generic1 by hand. ;) Actually, I can't think of anyone else who has bothered. I was forced to figure it out back when Generic1 deriving was broken. -Edward On Mon, Oct 7, 2013 at 3:28 PM, adam vogt <vogt.adam(a)gmail.com> wrote: > On Mon, Oct 7, 2013 at 1:33 PM, Ryan Newton <rrnewton(a)gmail.com> wrote: > > Again, my use-case (closed/safe Eq & Ord instances) is a few steps > removed > > from this Generics business and I don't feel strongly about how it gets > > done. But having *SOME* way of doing it will be a massive boon to my > lab's > > particular effort at maximizing the abilities of guaranteed-Safe > > deterministic parallelism in Haskell. Further, I think anyone else who > > tries to do something in SafeHaskell that depends on guaranteeing a > > closed/controlled set of instances (SafeEq, SafeOrd but also others) > based > > on GHC.Generics will *also* find this change useful. > > Hi, > > In containers we have Data instances "This instance preserves data > abstraction at the cost of inefficiency". Generic is a more modern way > to address the same problem. This Generic instance for Set is just a > more convenient way to use Set.toList/Set.fromList > <http://lpaste.net/94028>, which are -XSafe functions right? > > For your problem I suggest using template-haskell to write your > "SafeEq" "SafeOrd" instances. It will let you access unexported > constructors too, which means people using LVish can maintain their > abstractions for everybody except LVish. My understanding is that the > proposed changes to ghc/Generic would mean that all data used with > LVish would have to expose it's implementation to everybody through > the derived Generic instance. > > Regards, > Adam >

1 0