RE: classP recently deleted from TH.Lib

2014-05-12 Thread Simon Peyton Jones
I suspect it was accidental, but Richard will doubtless say in due course Simon From: ghc-devs [mailto:[email protected]] On Behalf Of Johan Tibell Sent: 12 May 2014 15:35 To: Gabor Greif Cc: ghc-devs Subject: Re: classP recently deleted from TH.Lib That would be nice. I had to fix so

RE: Question about Roles and the AMP work

2014-05-12 Thread Simon Peyton Jones
This looks a bit awkward to me. Here's a small test case class C m where ret :: a -> m a bind :: m a -> (a -> m b) -> m b join :: m (m a) -> m a newtype T m a = MkT (m a) deriving( C ) This is accepted without the 'join' in the class, but rejected with it. So *all* uses of GND to do 'de

RE: Many new validate failures, "Synonym in TyConAppCo"-related

2014-05-13 Thread Simon Peyton Jones
| | commit 4cfc1fae11ec9a5c4b34ac747f0ce50f52423eba | Author: Simon Peyton Jones | Date: Tue May 13 13:15:45 2014 +0100 | | Lint should check that TyConAppCo doesn't have a synonym in | the tycon position | | That is why Lint didn't nail Trac

RE: [commit: ghc] master: Extract derived constants from nm output for various OSes differently. (3df1c51)

2014-05-19 Thread Simon Peyton Jones
Christian (and all ghc-devs) Thank you working so hard on this. I really appreciate it. But can I beg you to add a Note to explain the issue, and to refer directly to Trac #8783. The ticket has a string of forty-four comments, so presumably it's not a simple, obvious typo. What I fear is tha

Ghc 7.8 branch broken

2014-05-27 Thread Simon Peyton Jones
Austin, the ghc-7.8 branch does not build. See below. Simon inplace/bin/mkUserGuidePart docs/users_guide/users_guide.xml inplace/bin/mkUserGuidePart docs/users_guide/what_glasgow_exts_does.gen.xml "rm" -rf docs/users_guide/users_guide/ "/usr/bin/xsltproc" --stringparam base.dir docs/users_gui

RE: GHC 7.8.3 release

2014-05-27 Thread Simon Peyton Jones
are these all on Austin’s list, which he sent a pointer to? Simon From: Glasgow-haskell-users [mailto:[email protected]] On Behalf Of Johan Tibell Sent: 27 May 2014 10:01 To: Michael Snoyman Cc: [email protected]; [email protected] Subject: Re: GHC 7.8.

RE: Ghc 7.8 branch broken

2014-05-27 Thread Simon Peyton Jones
Seriously? you need a live internet connection to build GHC?? But yes, it still hapopns From: Richard Eisenberg [mailto:[email protected]] Sent: 27 May 2014 13:05 To: Simon Peyton Jones Cc: Austin Seipp; [email protected] Subject: Re: Ghc 7.8 branch broken I've gotten similar errors

RE: [GHC] #9153: TcCoercible test is failing with context reduction stack overflow

2014-05-30 Thread Simon Peyton Jones
Thanks for this. I've improved Note [Order of Coercible Instances] in TcInteract Generally, it's much better to give an actual, concrete example in the Note, and refer to the ticket for additional background. It took me a few minutes to re-read the long #9117 to reconstruct the example that pr

RE: Expose Other Parsers for GHC API

2014-06-01 Thread Simon Peyton Jones
It sounds ok to me, especially if you take the time to Haddock-document them. It’d also be great to improve the user-generated documentation about the GHC API http://www.haskell.org/haskellwiki/GHC/As_a_library perhaps you can add a section about the stuff that you add. thanks Sim

Ptr type

2014-06-03 Thread Simon Peyton Jones
Richard In GHC.Ptr we see type role Ptr representational data Ptr a = Ptr Addr# deriving (Eq, Ord) with no comments. Why is Ptr representational? In the same module we have castPtr, which unpacks and repacks a Ptr. If Ptr was phantom, we could use coerce. And that in turn would actually make

RE: Ptr type

2014-06-03 Thread Simon Peyton Jones
I've moved this thread to https://ghc.haskell.org/trac/ghc/ticket/9163 | -Original Message- | From: [email protected] [mailto:[email protected]] On Behalf Of Austin | Seipp | Sent: 03 June 2014 14:22 | To: Richard Eisenberg | Cc: Simon Peyton Jones; [email protected] | Subjec

RE: Status updates

2014-06-05 Thread Simon Peyton Jones
| - 7.8.3 is looming, because we have a lot of bugfixes as I said last | week: https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.8.3 Just to be clear, on that page: closed = done in 7.8.3 branch patch = will go in 7.8.3 branch new/infoneeded = will NOT go in 7.8.3 unless y

RE: Phabricator for patches and code review

2014-06-05 Thread Simon Peyton Jones
At the moment GHC's main sources aren't on github, which means that that (in my highly imperfect understanding) people can't submit pull requests or use their code review mechanisms. Moreover, most people don't have commit rights on the main GHC server, so if someone wants to offer a patch they

RE: Phabricator for patches and code review

2014-06-05 Thread Simon Peyton Jones
PS I couldn't get past the login box at https://phabricator.haskell.org/D4 | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of Austin | Seipp | Sent: 06 June 2014 05:06 | To: [email protected] | Subject: RFC: Phabricator for patches and code review |

haddock in 7.8.3

2014-06-06 Thread Simon Peyton Jones
I want to change the interface to PatSyn.patSynSig, as part of fixing a bug in 7.8.2. But Haddock calls patSynSig, so there is a (fairly trivial) knock on change to Haddock Is that acceptable in a 7.8.3 release cycle? If not, I can program round it in the 7.8.3 branch. But if it's not a problem

pushing to haddock

2014-06-06 Thread Simon Peyton Jones
I'm trying desperately to follow the instructions on https://ghc.haskell.org/trac/ghc/wiki/WorkingConventions/Git/Submodules for how to update haddock to follow a small change to GHC. I've checked out the haddock master, made my patch, and want to push to haddock. But my push is rejected for an

RE: pushing to haddock

2014-06-06 Thread Simon Peyton Jones
rompt reply Simon | -Original Message- | From: Herbert Valerio Riedel [mailto:[email protected]] | Sent: 06 June 2014 12:56 | To: Simon Peyton Jones | Cc: [email protected] | Subject: Re: pushing to haddock | | On 2014-06-06 at 13:47:03 +0200, Simon Peyton Jones wrote: | > I&#x

RE: pushing to haddock

2014-06-06 Thread Simon Peyton Jones
l stuff up correctly? Having to remember to look for redirects in .gitconfig seems like one more way to get confused when looking at a .git/config file. Simon | -Original Message- | From: Herbert Valerio Riedel [mailto:[email protected]] | Sent: 06 June 2014 13:05 | To: Simon Peyton

RE: GHC/cabal release procedures, and Stackage

2014-06-06 Thread Simon Peyton Jones
: Simon Peyton Jones Subject: GHC/cabal release procedures, and Stackage Hi Simon, I wanted to bring up an idea I've been playing with for a few weeks now. The past few releases of GHC and cabal-install have introduced regressions that were not caught by test suites, but were caught by bui

RE: Status updates

2014-06-06 Thread Simon Peyton Jones
From: [email protected] [mailto:[email protected]] On Behalf Of Austin | Seipp | Sent: 05 June 2014 14:40 | To: Simon Peyton Jones | Cc: Austin Seipp; [email protected] | Subject: Re: Status updates | | Drats, I forgot that. Here's where it is: | | Go to the GHC Trac hompeage: https://ghc.haske

RE: Failed to load interface for GHC.Integer.Type

2014-06-09 Thread Simon Peyton Jones
I'm guessing that it may be the fact that the type-class defaulting rules involve Integer. You added NoImplicitPrelude, which removed a dependency on Prelude. Maybe defaulting is looking for the type Integer, but the build system doesn't see any dependency on the module that declares the Inte

RE: Failed to load interface for GHC.Integer.Type

2014-06-09 Thread Simon Peyton Jones
eger-gmp/simple, but every other compilation will read that interface. That's why anyway Simon | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of Simon | Peyton Jones | Sent: 09 June 2014 23:16 | To: Joachim Breitner; [email protected] | Su

RE: GHC MinGW distribution

2014-06-10 Thread Simon Peyton Jones
Robin We would be thrilled if you would help. We physically include very selective chunks of MinGW in a GHC Windows distribution - so that users don't need to install MinGW - so that GHC doesn't break just because a user has a different version of MinGW than we expected We keep these chunks of

RE: GHC MinGW distribution

2014-06-10 Thread Simon Peyton Jones
| Sent: 10 June 2014 09:43 | To: Simon Peyton Jones | Cc: Robin KAY; [email protected] | Subject: Re: GHC MinGW distribution | | Hello Simon, | | On 2014-06-10 at 10:25:46 +0200, Simon Peyton Jones wrote: | | [...] | | > We physically include very selective chunks of MinGW in a GHC Wind

RE: HEADS-UP: diagrams does not compile with HEAD (regressions)

2014-06-10 Thread Simon Peyton Jones
I suspect that the issue is the following: GHC is inferring a type for a function that could not be written by the user, at least not without -XTypeFamilies or -XGADTs, something like f :: (a ~ F b) => blah blah It's a good principle that if GHC infers a type, then it should be ok to put

RE: HEADS-UP: diagrams does not compile with HEAD (regressions)

2014-06-10 Thread Simon Peyton Jones
I'm doing that now | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of Jan | Stolarek | Sent: 10 June 2014 17:16 | To: [email protected] | Subject: Re: HEADS-UP: diagrams does not compile with HEAD (regressions) | | Reid is correct. This is a result

Windows breakage

2014-06-11 Thread Simon Peyton Jones
Stefan, Guys This commit breaks the Windows build (ie my laptop) commit 9fd507e5758f4141ac2619f0db57136bcab035c6 Author: Sergei Trofimovich Date: Fri May 23 23:58:06 2014 +0300 Raise exceptions when blocked in bad FDs (fixes Trac #4934) The breakage is this: C:/code/HEAD/rts/dist/buil

RE: Getting error about unused instances during "sh validate"

2014-06-12 Thread Simon Peyton Jones
Does not happen for me. Maybe you are compiling without –O (odd, but possible)? mapMaybeFB is mentioned only inside a RULE, so perhaps it’s regarded as un-referenced without –O? Simon From: ghc-devs [mailto:[email protected]] On Behalf Of Alfredo Di Napoli Sent: 12 June 2014 12:31

RE: Regression in the typechecker in GHC 7.8.2

2014-06-16 Thread Simon Peyton Jones
27;ll open a ticket. Simon | -Original Message- | From: [email protected] [mailto:[email protected]] | Sent: 16 June 2014 11:46 | To: Simon Peyton Jones | Subject: Regression in the typechecker in GHC 7.8.2 | | | Hello! | | Sorry for reporting a problem via e-mail. It seems track no | l

RE: Uniquable RdrName instance

2014-06-17 Thread Simon Peyton Jones
We just haven't needed one so far. Can a RdrName and a Name have the same Unique? Well, of course that just depends on what you are using the RdrName Uniques for. It's not a question that has a yes or no answer. Does it matter if (Orig m x) and (Orig n x) have the same Unique? Same answer, e

RE: Uniquable RdrName instance

2014-06-17 Thread Simon Peyton Jones
I would require a lot of convincing that we wanted Uniques for RdrNames. I seriously doubt that, once the dust has settled, you'll need a finite map indexed by RdrNames. But even if you do, you could use a TrieMap-like structure. Simon | -Original Message- | From: ghc-devs [mailto:gh

RE: Offering GHC builder build slaves

2014-06-18 Thread Simon Peyton Jones
Back in April I said: | Seriously, I advertised a couple of weeks ago for help with our nightly- | build infrastructure. Quite a few people responded -- thank you very | much. | | So we have willing horsepower. But the moment we lack leadership. Alain | rightly says "I don't know what the proc

RE: Case expressions in STG

2014-06-18 Thread Simon Peyton Jones
I've forgotten what I intended in the STG paper, but GHC's Core language certainly allows case on a function; all it does is to force the function to head normal form. Simon | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of William | Knop | Sent: 1

RE: Proposal: Partial Type Signatures - Status update

2014-06-19 Thread Simon Peyton Jones
| So in general, if there is a partial type signature, the compiler | tries to infer a type under the assumption that there is no | polymorphic recursion, similar to what it does when there is no | signature. Yes. The way to think of it (at both term and type level) is this. A full type signat

RE: Continuous Integration and Cross Compilation

2014-06-20 Thread Simon Peyton Jones
g into it. Everyone: no responses yet to my email below. Suppose Austin plays secretary: would people like to volunteer to be part of the GHC Nightly-Build/Continuous-Integration Task Force? Simon -Original Message- From: Simon Peyton Jones Sent: 18 June 2014 23:48 To: Simon Peyton Jon

RE: Case expressions in STG

2014-06-21 Thread Simon Peyton Jones
June 2014 00:40 | To: Simon Peyton Jones | Cc: [email protected]; [email protected] | Subject: Re: Case expressions in STG | | Whoops, looks like my phone dropped Tom from the CC (fixed). | | Simon, what about the following: | | f = \x -> x | g = \x -> (x,1) | h = \x -

RE: [commit: ghc] master: Fix #9047 (b847481)

2014-06-23 Thread Simon Peyton Jones
Something clever/important is going on here, but no `Note` explains what, or even references the ticket :-(. I know I'm obsessive about this, but I've spent too long staring at code wondering why it is the way it is, when a pointer to the relevant ticket and a few remarks would have made it all

RE: New GHC feature proposal: Pattern families

2014-06-23 Thread Simon Peyton Jones
that is awaiting cycles. Copying ghc-devs for interest Thanks Simon | -Original Message- | From: Baldur Blöndal [mailto:[email protected]] | Sent: 18 June 2014 04:31 | To: Simon Peyton Jones; [email protected] | Subject: New GHC feature proposal: Pattern families | | Hello Peyton and Ge

RE: Int-based lexer flag bitmask exhausted

2014-06-23 Thread Simon Peyton Jones
I'm all for it. Just need to watch for performance regressions Simon | -Original Message- | From: Herbert Valerio Riedel [mailto:[email protected]] | Sent: 21 June 2014 11:10 | To: Simon Peyton Jones | Cc: ghc-devs | Subject: Int-based lexer flag bitmask exhausted | | Hello Simo

RE: CmmLint error when doing safe ccall from cmm

2014-06-23 Thread Simon Peyton Jones
I'm not following this thread, but is it worth a ticket? Or better user manual documentation? Or something? Simon | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of Simon | Marlow | Sent: 20 June 2014 21:25 | To: Yuras Shumovich; [email protected]

Associated type instances

2014-06-23 Thread Simon Peyton Jones
Friends I want to make withdraw (or, rather, simplify) a little-known feature in GHC, but before I do so I want to check that no one is going to have a heart attack. Relevant bits of the user manual: http://www.haskell.org/ghc/docs/latest/html/users_guide/type-families.html#assoc-decl All of this

RE: Associated type instances

2014-06-24 Thread Simon Peyton Jones
a fit that I am now regretting! But I'm just checking that no one has meanwhile become addicted to it. Simon From: Manuel Chakravarty [mailto:[email protected]] Sent: 24 June 2014 08:54 To: Simon Peyton Jones Cc: GHC List; [email protected] Subject: Re: Associated type instances Simon

RE: Pruning GADT case alternatives with uninhabitable coercion parameters

2014-06-24 Thread Simon Peyton Jones
Conal This also relates to detecting redundant or overlapped patterns in source programs. I know that Dimitrios is looking at this with Tom, Nikolas, George who I’m cc’ing him. I think their current approach may be to integrate the overlap checking with the constraint solver in the type checke

RE: Pruning GADT case alternatives with uninhabitable coercion parameters

2014-06-24 Thread Simon Peyton Jones
can’t assess very well yet if this is a real problem though … In general I agree that a simple constraint solver for Core might be an independently useful tool for this kind of optimization. (I think George had thought about this too). Thanks! d- From: Simon Peyton Jones Sent: Tuesday, June 24

RE: Help needed: parsing pattern synonym contexts

2014-06-24 Thread Simon Peyton Jones
What do you mean by "doesn't work"? Crashes? Fails to build with some error? Builds but doesn't parse what you expect? In the latter case, what happened to the shift/reduce and reduce/reduce errors reported by Happy? Esp the latter. If you are getting more you need to track them down. For

RE: Associated type instances

2014-06-24 Thread Simon Peyton Jones
Yes I should have said that originally. My proposed change has no loss of expressiveness; at worst you need a helper type family Simon From: Glasgow-haskell-users [mailto:[email protected]] On Behalf Of Richard Eisenberg Sent: 24 June 2014 15:26 To: Simon Peyton Jones

RE: Phabricator for patches and code review

2014-06-24 Thread Simon Peyton Jones
cantly less useful. | >>>>>>> | >>>>>>>> SimonM writes that Phabricator is better than GitHub. I’m happy | to | >>>>>>>> believe that, but he also writes that using it requires | installing | >>>>>>>> local s

RE: HEADS-UP: Git submodule conversion imminent

2014-06-26 Thread Simon Peyton Jones
Thank you Herbert! Did you follow up with more specific instructions? In particular, - how do I bring an existing clean tree up to date? - if I have a tree with a bunch of as-yet-unpushed commits, what do I do? Thanks Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun..

RE: Pruning GADT case alternatives with uninhabitable coercion parameters

2014-06-26 Thread Simon Peyton Jones
ontrdictionChecker might carry a renaming of type variables, to account for shadowing. Simon From: [email protected] [mailto:[email protected]] On Behalf Of Conal Elliott Sent: 25 June 2014 00:11 To: Simon Peyton Jones Cc: Dimitrios Vytiniotis; [email protected]; Nikolaos S

RE: Two days old build breakage on i386.

2014-06-26 Thread Simon Peyton Jones
Aaaargh! Once again the Windows build is broken. I am utterly stalled. Moreover -fregs-graph and -fregs-iterative now *silently* do nothing. At least they should elicit warnings saying that they are disabled pending the fix to X and Y. Please can someone bisect to find out which patch is the

RE: Two days old build breakage on i386.

2014-06-26 Thread Simon Peyton Jones
Thanks. It’s blocking me from building GHC at all on my laptop, so temporary reversion would be great Thank you! Simon From: ghc-devs [mailto:[email protected]] On Behalf Of Johan Tibell Sent: 26 June 2014 11:38 To: Karel Gardas Cc: Simon Marlow; ghc-devs Subject: Re: Two days old bu

RE: Two days old build breakage on i386.

2014-06-26 Thread Simon Peyton Jones
han Tibell [mailto:[email protected]] Sent: 26 June 2014 13:25 To: Simon Peyton Jones Cc: Karel Gardas; ghc-devs Subject: Re: Two days old build breakage on i386. Just to make sure this is the same breakage, are you on an i386 Windows machine? If so git revert d8abf85f8ca176854e9d5d0b12371c4bc4

RE: Two days old build breakage on i386.

2014-06-26 Thread Simon Peyton Jones
After your reversion, I can build again. Thanks! From: Johan Tibell [mailto:[email protected]] Sent: 26 June 2014 13:51 To: Simon Peyton Jones Cc: Karel Gardas; ghc-devs Subject: Re: Two days old build breakage on i386. I guess you don't have 04dd7cb3423f1940242fdfe2ea2e3b8abd68a177 (

RE: Two days old build breakage on i386.

2014-06-26 Thread Simon Peyton Jones
Thank you!! From: Johan Tibell [mailto:[email protected]] Sent: 26 June 2014 14:06 To: Simon Peyton Jones Cc: Karel Gardas; ghc-devs Subject: Re: Two days old build breakage on i386. Herbert pushed my revert for me a minute ago. Everyone should be good once they sync. On Thu, Jun 26, 2014

RE: HEADS-UP: Git submodule conversion imminent

2014-06-26 Thread Simon Peyton Jones
| > - if I have a tree with a bunch of as-yet-unpushed commits, what do I | > do? | | If you have as-yet-unpushed commits in ghc.git, there shouldn't be | anything special to handle. Or were you referring to the case of having | unpushed commits in the converted sub-repos? I meant mainly in ghc.g

RE: Haskell on windows 7 installation instructions

2014-06-27 Thread Simon Peyton Jones
being honourable exceptions. Simon From: Artella Coding [mailto:[email protected]] Sent: 25 June 2014 11:54 To: Simon Peyton Jones Subject: Haskell on windows 7 installation instructions Hi, I saw the installation instructions in http://www.gundersen.net/haskell-on-windows/ which

RE: Proposal: require Haddock comment for every new top-level function and type in GHC source code

2014-06-27 Thread Simon Peyton Jones
I’d be OK with this, (it’s a bit like requiring signatures on all top level functions) but I don’t know how we’d enforce it. Do you think the requirement should be for all top-level functions or just exported ones? I agree that Notes have a different purpose. But it should be OK style to refe

RE: Resolved+new Q: TypeLits question, how to build a Type Application with Symbol index

2014-06-30 Thread Simon Peyton Jones
You'll need to give a lot more info than this before I can help Gabor. Currently I have only the vaguest idea about what you are trying to accomplish. Is there a wiki page that describes the design (user's eye view) in detail? I see you have a branch. If you are stuck, and give me repro instr

RE: Cleanup of RnExpr, RnEnv and RnSource

2014-06-30 Thread Simon Peyton Jones
Or better still use do-notation like the rest of the compiler. That'd be great thatnks. You could de-tabify and remove white space at the same time SImon | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of Jan | Stolarek | Sent: 30 June 2014 10:28 |

RE: Resolved+new Q: TypeLits question, how to build a Type Application with Symbol index

2014-06-30 Thread Simon Peyton Jones
d. That tells GHC which .hi file to look in, and means the instance isn't orphan. Simon | so is there a way to suppress them? Since I never insert tyvars in the | instance head, there should never be any overlap too. | | Cheers, | | Gabor | | On 6/30/14, Simon Peyton Jones wrote: |

RE: Help needed: parsing pattern synonym contexts

2014-06-30 Thread Simon Peyton Jones
file, just commit your best try to your wip/ branch and maybe some other ghc devs will help you. Maybe me. But without being able to reproduce it, it's hard to help. Simon | -Original Message- | From: Dr. ERDI Gergo [mailto:[email protected]] | Sent: 25 June 2014 14:20 | To: Simon Pe

RE: DPH-setting in mk/build.mk (was: HEADS-UP: Git submodule conversion imminent)

2014-07-01 Thread Simon Peyton Jones
Good to document this in our building guide somewhere. https://ghc.haskell.org/trac/ghc/wiki/Building/Using perhaps Simon | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of | Herbert Valerio Riedel | Sent: 01 July 2014 10:19 | To: Jan Stolarek | Cc:

RE: Help needed: parsing pattern synonym contexts

2014-07-02 Thread Simon Peyton Jones
How can I reproduce? Is this on your wip/pattern-synonyms branch? Simon | -Original Message- | From: Dr. ERDI Gergo [mailto:[email protected]] | Sent: 02 July 2014 12:45 | To: Simon Marlow | Cc: Simon Peyton Jones; GHC Devs | Subject: Re: Help needed: parsing pattern synonym contexts

RE: Code redundancy in PrelNames?

2014-07-02 Thread Simon Peyton Jones
| Is this redundancy a conscious choice or just an accident? If it's It's an accident. Good catch. I suggest eliminating methName and using varQual instead. The reverse doesn't work; varQual is used a lot! thanks Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@h

RE: GHC 7.8.3 release

2014-07-02 Thread Simon Peyton Jones
| I would like to the status of GHC 7.8.3, too. Thanks. Any day now. When I talked to Austin on Monday it was going to be Monday, then Tuesday. Maybe today. Austin: can you brief us? Thanks Simon | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of

RE: GHCJS now runs Template Haskell on node.js - Any interest in out of process TH for general cross compilation?

2014-07-03 Thread Simon Peyton Jones
Luite I lack the bandwidth to respond at any technical depth, but I’d like to make encouraging noises. If you can figure out a way to make GHC do these things without making the compiler terribly complicated and making maintaining it harder, then I’m open to your proposals. Several people see

RE: RFC: style cleanup & guidelines for GHC, and related bikeshedding

2014-07-03 Thread Simon Peyton Jones
Just to say that * In general I don't have a strong opinion about these stylistic issues. Moreover I have little bikeshed time, and if I don't contribute to a debate I can't expect to influence it much. So I'm mostly happy to accept a consensus view. However, some thoughts * I don't th

Holiday

2014-07-04 Thread Simon Peyton Jones
Friends I'm on holiday all next week, back 14 July. I'm not taking my laptop! Simon ___ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs

Trac spam

2014-07-14 Thread Simon Peyton Jones
Dear GHC devs Is it possible to stop spam on GHC's Trac? Simon -Original Message- From: ghc-tickets [mailto:[email protected]] On Behalf Of GHC Sent: 14 July 2014 04:24 Cc: [email protected] Subject: [GHC] #9310: This Cleanse Ultima is very beneficial to regulate a go

RE: Huge space leak of GHC API 7.8.x?

2014-07-14 Thread Simon Peyton Jones
Would you like to create a Trac ticket? Is anyone able to investigate? Simon | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of Kazu | Yamamoto | Sent: 14 July 2014 08:00 | To: [email protected] | Subject: Huge space leak of GHC API 7.8.x? | | Hi

RE: Put GHC on travis for real

2014-07-14 Thread Simon Peyton Jones
| I can do the former, but the latter needs to be done by a member of the | “ghc” on GitHub. I can do the latter (and keep managing the travis | instance) if someone adds me to the organization... Johachim, you contribute a lot, thank you. You should be a member of the group! Who decides that

RE: [commit: ghc] master: Update various performance benchmarks (194107e)

2014-07-14 Thread Simon Peyton Jones
| I started monitoring perfomance on a per-commit base. These seem to | be | off for a while now. Adjusting them, and from now I hope I can keep | closer tabs on them. Thank you. That's most helpful. One of the reasons that perf tests get worse is that each time the limit is reached,

Status updates

2014-07-14 Thread Simon Peyton Jones
Cherished GHC devs, GHC has long since exceeded the modest capacities of GHC HQ, even before Simon M's move to Facebook. But in fact Simon's move simply made clearer something that was already true, namely that GHC is *mainly* reliant on the committed support of its developer community (i.e. y

T9203

2014-07-14 Thread Simon Peyton Jones
Joachim In commit 194107ea9333c1d9d61abf307db2da6a699847af you reduced the allocation of T9203 by half. Butbut I get allocation of 95747304 on my 64 bit machine, so the test fails. Any idea why? Simon diff --git a/testsuite/tests/perf/should_run/all.T b/testsuite/tests/perf/should_run/all.T

RE: Phab vs. Trac

2014-07-14 Thread Simon Peyton Jones
| Here is my proposed answer: The Phab reviews are a good place for code- | specific commentary/feedback but Trac is better for design issues. A rule | of thumb might be to pretend that Phab comments are all forgotten in a | month or two, whereas Trac comments are expected to be around in 5 years.

RE: Phab vs. Trac

2014-07-14 Thread Simon Peyton Jones
PS: and if we agree this convention can we document it in our Working Conventions pages? S | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of Simon | Peyton Jones | Sent: 14 July 2014 20:25 | To: Richard Eisenberg; [email protected] | Subject: RE

RE: Phab vs. Trac

2014-07-14 Thread Simon Peyton Jones
| Look at the top - there is a link to 'Phab:D69', which is the | differential revision hyperlinked properly. | | If you use this syntax in Trac now, it will automatically hyperlink | revisions. Perhaps in the future we can shorten it to just 'D69' for | example. But this syntax works now to hyper

RE: how to get ghci to load compiled modules in 7.8?

2014-07-14 Thread Simon Peyton Jones
| One thing, how about an addition to the release notes in the | -dynamic-too section saying "By the way, this doesn't actually work, | see https://ghc.haskell.org/trac/ghc/ticket/8736."; Not a bad idea. Austin can we conveniently do that retrospectively? _

Updating Haddock submodule

2014-07-15 Thread Simon Peyton Jones
Herbert, Austin I've just made a change to GHC that has a (trivial) knock-on effect in Haddock, so I had to update the submodule. Here is what I did, after consulting Austin. Can I humbly implore you both (or someone) to write down the workflow so that git-naïve people like me can do this with c

RE: Phab vs. Trac

2014-07-15 Thread Simon Peyton Jones
f Of Austin | Seipp | Sent: 15 July 2014 04:16 | To: Simon Peyton Jones | Cc: Austin Seipp; Richard Eisenberg; [email protected] | Subject: Re: Phab vs. Trac | | I had no idea about it either; Herbert made me aware of it. | | There is a mapping of the 'interwiki syntax' we can us

RE: Updating Haddock submodule

2014-07-15 Thread Simon Peyton Jones
I used stash to avoid creating and then deleting a branch. No deeper reason. Simon | -Original Message- | From: Jan Stolarek [mailto:[email protected]] | Sent: 15 July 2014 08:53 | To: [email protected] | Cc: Simon Peyton Jones; Herbert Valerio Riedel; 'Austin Seipp'

RE: Travis now tests ghc directly

2014-07-15 Thread Simon Peyton Jones
This is all fantastic, thank you Joachim. But how would a new GHC dev find out this information? Could it please be documented on the wiki? Perhaps a page called Continuous integration and buildbots to cover both Travis and the buildbots? I'll call it the "CI page". How woul

RE: Travis now tests ghc directly

2014-07-15 Thread Simon Peyton Jones
Very excellent thank you! | -Original Message- | From: Páli Gábor János [mailto:[email protected]] | Sent: 15 July 2014 13:03 | To: Simon Peyton Jones | Cc: Joachim Breitner; ghc-devs | Subject: Re: Travis now tests ghc directly | | 2014-07-15 10:38 GMT+02:00 Simon Peyton Jones

RE: Core-to-core transformations: current state-of-the-art?

2014-07-15 Thread Simon Peyton Jones
SpecConstr: http://research.microsoft.com/en-us/um/people/simonpj/papers/spec-constr/index.htm CPR: http://research.microsoft.com/en-us/um/people/simonpj/papers/cpr/index.htm Inliner: http://research.microsoft.com/en-us/um/people/simonpj/papers/inlining/index.htm Short cut deforestation: http

RE: HEAD build fails on compiling haddoc

2014-07-15 Thread Simon Peyton Jones
[mailto:[email protected]] | Sent: 15 July 2014 13:19 | To: ghc-devs; Simon Peyton Jones | Subject: HEAD build fails on compiling haddoc | | | Hello, | | I'm trying to compile HEAD on amd64-solaris2 platform, but the build | fails with: | | "inplace/bin/ghc-stage2" -hisuf dyn_hi -osu

RE: New source documentation policy for GHC

2014-07-15 Thread Simon Peyton Jones
Dear Johan Great. Could you update the Coding style page? https://ghc.haskell.org/trac/ghc/wiki/Commentary/CodingStyle Simon From: ghc-devs [mailto:[email protected]] On Behalf Of Johan Tibell Sent: 07 July 2014 08:39 To: [email protected] Subject: ANN: New source documentation p

Windows breakage -- again

2014-07-15 Thread Simon Peyton Jones
Aargh! The Windows build has broken - again. I can't build GHC on my laptop any more. A clean 'sh validate' finishes as below. What on earth is `___sync_fetch_and_add_1'? Can anyone help? Thanks! Simon "inplace/bin/ghc-stage2.exe" -hisuf hi -osuf o -hcsuf hc -static -H32m -O -Werror -Wall

RE: RFC: style cleanup & guidelines for GHC, and related bikeshedding

2014-07-16 Thread Simon Peyton Jones
| I used to be a 80 column guy, but moved away from that the last years. | But you are right, there must be an upper limit and, if >80 is a | problem for code reviews, then it's a reasonable choice. As laptop screens have successively more horizontal pixels and fewer vertical pixels, longer lines

RE: Updating Haddock submodule

2014-07-16 Thread Simon Peyton Jones
| Is | https://ghc.haskell.org/trac/ghc/wiki/WorkingConventions/Git/Submodules | #MakingchangestoGHCsubmodules | what you are looking for? Yes, it's the right kind of thing. I failed to find that, apologies. But - the page is advertised as work in progress - it checks out 'master'. Is that alw

RE: The build is broken? (Haddock parse error)

2014-07-17 Thread Simon Peyton Jones
| > parse error on input ‘-- *kind* and role of its argument. | Luckily, | > laziness should’ | > | > [1] http://haskell.inf.elte.hu/builders/freebsd-amd64- | head/322/10.html | > ___ | > ghc-devs mailing list | > [email protected] | > http://www.

RE: Updating Haddock submodule

2014-07-17 Thread Simon Peyton Jones
eans there can be more implementation detail behind it, for Git gurus. I'm begging for it. Begging! Humbly! Simon | -Original Message- | From: Herbert Valerio Riedel [mailto:[email protected]] | Sent: 17 July 2014 09:20 | To: Simon Peyton Jones | Cc: Mateusz Kowalczyk; ghc-d

RE: Beta Performance dashboard

2014-07-17 Thread Simon Peyton Jones
This is totally brilliant: thank you Joachim! Simon | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of | Joachim Breitner | Sent: 16 July 2014 09:02 | To: [email protected] | Subject: Beta Performance dashboard | | Hi, | | I guess it’s time to ta

RE: GHC contribution guidelines and infrastructure talk on 6th September at HIW?

2014-07-18 Thread Simon Peyton Jones
| On Saturday 6th September is the Haskell Implementers Workshop. There | has been plenty of discussion over the last 12 months about making | contributions to GHC less formidable. Is this story going to be told at | HIW? A talk about revised contribution guidelines and helpful tool | support might

RE: Windows breakage -- again

2014-07-18 Thread Simon Peyton Jones
Tibell; Simon Peyton Jones Cc: [email protected] Subject: Re: Windows breakage -- again I get the same failure when I try to build HEAD. Turns out the error occurs on the 32-bit Windows build, and my successful build was a 64-bit build. My 64-bit build still succeeds. Also, gcc is 4.5.2 on 32

RE: GHC contribution guidelines and infrastructure talk on 6th September at HIW?

2014-07-22 Thread Simon Peyton Jones
I think such a discussion would be a Good Thing, and just what HIW is for. Simon From: ghc-devs [mailto:[email protected]] On Behalf Of Mark Lentczner Sent: 22 July 2014 02:03 To: [email protected] Subject: Re: GHC contribution guidelines and infrastructure talk on 6th September at

RE: tcInferRho

2014-07-22 Thread Simon Peyton Jones
may be right: tcInferRho may not be important. There is a perhaps-significant efficiency question though: it avoids allocating an unifying a fresh unification variable each time. Simon | -Original Message- | From: Richard Eisenberg [mailto:[email protected]] | Sent: 18 July 2014 22:00 | To:

RE: a little phrustrated

2014-07-22 Thread Simon Peyton Jones
Maybe add this useful lore to Git guidance or Phabricator guidance? S | -Original Message- | From: ghc-devs [mailto:[email protected]] On Behalf Of Simon | Marlow | Sent: 22 July 2014 12:18 | To: Edward Z. Yang; Richard Eisenberg | Cc: [email protected] | Subject: Re: a litt

RE: tcInferRho

2014-07-22 Thread Simon Peyton Jones
the fly, so the "it's always ok to defer" rule doesn't hold. Simon | -Original Message- | From: Richard Eisenberg [mailto:[email protected]] | Sent: 22 July 2014 13:22 | To: Simon Peyton Jones | Cc: [email protected] | Subject: Re: tcInferRho | | OK -- that al

RE: tcInferRho

2014-07-22 Thread Simon Peyton Jones
x27;s one reason that the entire ImpredicativeTypes extensions is currently in limbo. Simon | -Original Message- | From: Richard Eisenberg [mailto:[email protected]] | Sent: 22 July 2014 14:27 | To: Simon Peyton Jones | Cc: [email protected] | Subject: Re: tcInferRho | | Ah -- it&

RE: A couple of GHC-API questions

2014-07-24 Thread Simon Peyton Jones
vironment. but I don’t think that is what you mean. I'm confused. Could you be more concrete? Possibly this may help? https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/NameType I'm cc'ing ghc-devs. Simon | -Original Message- | From: Eric Seidel [mailto:[email protected]

  1   2   3   4   5   6   7   8   9   10   >