RE: The Curious Case of T6084 -or- Register Confusion with LLVM

Moritz Talk to Kavon. He was thinking about passing a struct instead of a huge list of registers, and only initialising the live fields of the struct. I don't know whether he ultimately discarded the idea, but it sounded promising. Simon | -Original Message- | From: ghc-devs [mailt

RE: Overapproximation of loopbreakers due to unfoldings

INLINE means "Inline what I wrote". So in your example we'd have ===> bindWith [INLINE = ] = bindWith_abc |> co bindWith_abc = If you see a call to bindWith, we will /not/ inline bindWith_abc |> co! We'll inline . That's what the programmer asked for. That

RE: A type checker plugin for row types

Nick Good work! You ask some questions about the constraint solver – I hope that the answer from others have helped. If not, do re-ask. My main comment is: what does Core look like? I think your answer is “No change to Core, but there are lots of unsafe coerces littered around”. But even t

RE: Perf improvement

Bump it down, maybe... it got /better/! | -Original Message- | From: Ben Gamari [mailto:b...@smart-cactus.org] | Sent: 14 September 2017 16:54 | To: Simon Peyton Jones ; ghc-devs@haskell.org | Subject: Re: Perf improvement | | Simon Peyton Jones via ghc-devs writes: | | >

RE: ./validate --slow results

Wow... 97 unexpected failures is bad. Ben/David/someone else: might you investigate/characterise them? Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Bartosz | Nitka | Sent: 14 September 2017 13:57 | To: ghc-devs Devs | Subject: ./va

Perf improvement

I'm seeing this in validate bytes allocated value is too low: (If this is because you have improved GHC, please update the test so that GHC doesn't regress again) ExpectedT5837(normal) bytes allocated: 56782344 +/-7% Lower bound T5837(normal) bytes allocated: 52807579 Upper bo

RE: Performance degradation when factoring out common code

I know that this is not an easy request, but can either of you produce a small example that demonstrates your problem? If so, please open a ticket. I don’t like hearing about people having to use trial and error with INLINE or SPECIALISE pragmas. But I can’t even begin to solve the problem u

RE: A newcomer: how to start

Yes, welcome! Do join ghc-devs and watch the fun. There is a learning curve, but as Ara says, everyone is friendly. Simon From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Ara Adkins Sent: 05 September 2017 13:47 To: Sergey Bykov Cc: ghc-devs@haskell.org Subject: Re: A newcomer

RE: [broken HEAD] In which the strict state monad fails at basic arithmetic

Wow -- Fast work! Do add a test case Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Ben | Gamari | Sent: 01 September 2017 14:53 | To: Moritz Angermann ; GHC developers | Subject: Re: [broken HEAD] In which the strict state monad fails at

RE: [commit: ghc] master: Adjust test suite stats (a055f24)

al message ---- From: Simon Peyton Jones via ghc-devs mailto:ghc-devs@haskell.org>> Date: 8/28/17 4:57 PM (GMT-05:00) To: ghc-devs@haskell.org<mailto:ghc-devs@haskell.org> Subject: RE: [commit: ghc] master: Adjust test suite stats (a055f24) David, are you sure we want to accept a mo

RE: [commit: ghc] master: Adjust test suite stats (a055f24)

David, are you sure we want to accept a more than 5% increase in compile time without investigation? What commit caused these increases? Maybe they are readily squashed? Generally we are trying to improve compiler perf not accept it getting worse! Simon | -Original Message- | From:

RE: Alex install failure

portmapper 1000241 udp 56434 status 1000241 tcp 34797 status simonpj@cam-05-unx:~/code/HEAD$ | -Original Message- | From: Ben Gamari [mailto:b...@smart-cactus.org] | Sent: 28 August 2017 13:36 | To: Simon Peyton Jones ; Herbert Valerio Riedel | ; ghc-devs | Subject: RE

RE: Alex install failure

most likely caused by the lack of administrative privileges associated with your user account. rpcinfo: command not found | -Original Message- | From: Herbert Valerio Riedel [mailto:hvrie...@gmail.com] | Sent: 28 August 2017 12:51 | To: Simon Peyton Jones | Subject: Re: Alex install

RE: Alex install failure

camresunxa02:/home on /home type nfs (rw,intr,vers=4,addr=10.190.50.19,clientaddr=10.190.108.81) | -Original Message- | From: Ben Gamari [mailto:b...@well-typed.com] | Sent: 25 August 2017 17:46 | To: Simon Peyton Jones | Cc: ghc-devs | Subject: RE: Alex install failure | | Simon Peyton

RE: Alex install failure

x:~/code/HEAD-2$ | -----Original Message- | From: Ben Gamari [mailto:b...@well-typed.com] | Sent: 24 August 2017 13:53 | To: Simon Peyton Jones | Cc: ghc-devs | Subject: RE: Alex install failure | | Simon Peyton Jones writes: | | > | Hmm. Here's a shot in the dark: is home

RE: Discussion: Static Safety via Distinct Interfaces for HsSyn ASTs

Hmm I see. I still prefer the concrete form (no intermediate layer). Many constructors use record fields, so you can just omit the ones that aren’t valid. Simon From: Shayan Najd [mailto:sh.n...@gmail.com] Sent: 24 August 2017 15:39 To: Simon Peyton Jones Cc: Alan & Kim Zimmerman ; ghc-

RE: Discussion: Static Safety via Distinct Interfaces for HsSyn ASTs

intend. I think there are only two: add the indirection layer or not? S From: Shayan Najd [mailto:sh.n...@gmail.com] Sent: 23 August 2017 13:26 To: ghc-devs@haskell.org Cc: Simon Peyton Jones ; Alan & Kim Zimmerman Subject: Discussion: Static Safety via Distinct Interfaces for HsSyn ASTs In

RE: Docs

sphinx-build --version Sphinx v1.1.3 | -Original Message- | From: Ben Gamari [mailto:b...@smart-cactus.org] | Sent: 22 August 2017 14:55 | To: Simon Peyton Jones ; ghc-devs | Subject: Re: Docs | | Simon Peyton Jones via ghc-devs writes: | | > Ben et al | > I’m gettin

RE: Stg-lint and bootstrapping (fails?)

program (you'll need to switch off the -dno-debug-output)? Simon | -Original Message- | From: Gabor Greif [mailto:ggr...@gmail.com] | Sent: 22 August 2017 09:57 | To: Simon Peyton Jones ; ghc-devs | Subject: Re: Stg-lint and bootstrapping (fails?) | | On 8/21/17, Gabor G

Docs

Ben et al I’m getting this on Linux when making documentation. I have not modified any of this documentation. Any ideas? Simon reading sources... [ 97%] what_glasgow_exts_does reading sources... [100%] win32-dlls reading sources... [ 97%] what_glasgow_exts_does reading sources... [100%] win

RE: Stg-lint and bootstrapping (fails?)

:54 | To: Simon Peyton Jones ; Gabor Greif | | Cc: ghc-devs | Subject: RE: Stg-lint and bootstrapping (fails?) | | Simon Peyton Jones writes: | | > | WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | > | OccurAnal failed to rediscover join point(s): [go58_akKa] | > |

RE: Alex install failure

Maybe so, but it's really not a good experience for GHC/Cabal users. If aptget did this, people would bleat loudly. Simon | -Original Message- | From: Ara Adkins [mailto:m...@ara.io] | Sent: 19 August 2017 00:07 | To: Simon Peyton Jones | Cc: Ben Gamari ; ghc-devs | Subjec

RE: Alex install failure

ssage- | From: Herbert Valerio Riedel [mailto:hvrie...@gmail.com] | Sent: 18 August 2017 23:53 | To: Simon Peyton Jones | Cc: Ben Gamari ; ghc-devs | Subject: Re: Alex install failure | | On Sat, Aug 19, 2017 at 12:43 AM, Simon Peyton Jones via ghc-devs wrote: | > | Hmm. Here's a shot in

RE: Where to discuss the linear types extension of GHC?

But it could also be never, if the committee rejects the proposal... Don’t let that put you off. The more numerous and compelling the applications, the more likely it is that the committee will accept it! It’s a Big Feature, so the bar is high. But if there is a diverse bunch of actual users

RE: Alex install failure

13:05 | To: Simon Peyton Jones ; ghc-devs | Subject: Re: Alex install failure | | Simon Peyton Jones via ghc-devs writes: | | > Friends | > I'm trying to update my installation of alex, on Unix (Ubuntu). But I | > get the dump below It's complaining about a lock file bei

RE: Alex install failure

hvrie...@gmail.com] | Sent: 18 August 2017 11:59 | To: Simon Peyton Jones | Subject: Re: Alex install failure | | Try removing | | /home/simonpj/.ghc/x86_64-linux-8.2.1/package.conf.d/package.cache.lock | | | | On Fri, Aug 18, 2017 at 12:25 PM, Simon Peyton Jones via ghc-devs wrote: | > Friends | &

RE: Stg-lint and bootstrapping (fails?)

| WARNING: file compiler/simplCore/OccurAnal.hs, line 2695 | OccurAnal failed to rediscover join point(s): [go58_akKa] That shouldn't happen! If you can make a repro case, please open a ticket. Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf

Alex install failure

Friends I'm trying to update my installation of alex, on Unix (Ubuntu). But I get the dump below It's complaining about a lock file being an invalid argument (see highlight below). If I manually remove the file I get past that, it successfully installs tf-random, but the same thing happens on t

RE: Occurrence info on binders and STG

Can you be more specific? I don’t think occurrence info is used at all in STG. Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Gabor | Greif | Sent: 01 August 2017 16:02 | To: ghc-devs | Subject: Occurrence info on binders and STG | | Hi d

RE: Restructuring hsSyn

I don’t object. (They’d be orphan instances, so the interface file will always be loaded; but that’s probably ok. From: Shayan Najd [mailto:sh.n...@gmail.com] Sent: 02 August 2017 11:50 To: ghc-devs@haskell.org Cc: Simon Peyton Jones ; Alan & Kim Zimmerman Subject: Restructuring h

RE: [commit: ghc] wip/T14068: Avoid name capture in setJoinResTy (6a50466)

Joachim Aha! I think my comment on Phab is redundant. You are simply avoiding name capture, which is obviously right; you are not restricting the applicability of the transformation. Needless to say, a Note would help in due course. S | -Original Message- | From: ghc-commits [mail

RE: dataToTag# documentation

Based on memory rather that investigation: - yes it works on any data type - The reason that the primop dataToTag# is dangerous is that it does not evaluate its argument; it relies on the wrapper getTag to do so.Caveat emptor! It would be good to document this. Simon | -Original M

RE: GHC 8.2 generated code faster than 8.0 but slower than 7.10

Thanks. Could you open a Trac ticket, and explain carefully how to reproduce your results? Surely 8.4 should be faster than 7.10! Simon From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Harendra Kumar Sent: 01 August 2017 10:46 To: ghc-devs@haskell.org Subject: GHC 8.2 generate

RE: Operating on HsSyn

: Simon Peyton Jones Cc: ghc-devs@haskell.org; Alan & Kim Zimmerman ; Jacques Carette Subject: Re: Operating on HsSyn On the contrary, inside GHC I /do/ want to print them. Otherwise how can I see what the renamer has done? Right. So if I understand correctly, with this semantics, `Output

RE: Operating on HsSyn

I have been under the impression that we don't even want to print those. On the contrary, inside GHC I /do/ want to print them. Otherwise how can I see what the renamer has done? Simon From: Shayan Najd [mailto:sh.n...@gmail.com] Sent: 28 July 2017 12:20 To: Simon Peyton Jones Cc: ghc

Operating on HsSyn

Devs, Shayan is working away on "Trees that grow"... do keep it on your radar: To: ghc-devs Sent: 25 May 2017 23:49 Do take a look at this: * We propose to re-engineer HsSyn itself. This will touch a lot of code. * But it's very neat, and will bring big long-term advantages

RE: [commit: ghc] master: Improve error messages around kind mismatches. (8e15e3d)

| typecheck/should_fail/T7368) Solution: track the provenance of | Derived constraints and refuse to float out a constraint that has | an insoluble Derived. For the record, that's not the solution that the patch implements. Instead we just don’t float heterogeneous equalities. I

RE: D3754: Refactor uo_thing

or ..." stuff. Idea: instead of uo_thing, could we just push an extra ErrCtxt onto the stack, in the CtLoc for this constraint? (Or not, in the Nothing case.) Simon From: nore...@phabricator.haskell.org [mailto:nore...@phabricator.haskell.org] Sent: 18 July 2017 19:39 To: Simon Peyton Jone

RE: Repeated computations under a lambda

I opened a ticket and replied: https://ghc.haskell.org/trac/ghc/ticket/13996#comment:1 Simon From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Conal Elliott Sent: 19 July 2017 01:01 To: David Feuer Cc: ghc-devs@haskell.org Subject: Re: Repeated computations under a lambda Her

RE: Proposed: Language.Haskell.TH.Internal

OK with me, provided we document the thinking so that users understand the architecture. Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Richard | Eisenberg | Sent: 18 July 2017 13:27 | To: GHC developers | Cc: Ryan Scott | Subject: Propos

Simon's (lack of) input

Friends My GHC inbox has grown to alarming proportions. I try to keep abreast of tickets where I think I have something substantial contribute, and generally succeed, but I've been failing badly in the last few weeks because of a storm of other commitments. I'll get back to it, but probably not

RE: Compilation time

Thanks Gael. As you may know, we’ve focused a lot on compile time in the last year or so, and 8.4 is a lot faster. I think there are still plenty of bad cases, but things are better. Our compile-time perf page is here: https://ghc.haskell.org/trac/ghc/wiki/Performance/Compiler It links to a

RE: Which stable GHC release is expected to have support for linear types?

Wolfgang It'd be very interesting to know more about your use-case. Why do you want linear types? Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of | Wolfgang Jeltsch | Sent: 30 June 2017 14:49 | To: ghc-devs@haskell.org | Subject: Whi

RE: Which stable GHC release is expected to have support for linear types?

And, just to be clear, while I think the design is coming along nicely, we have not yet made a clear proposal to the ghc-devs community, via the ghc-proposals mechanism, for a change to GHC. Until we have an adopted propsoal we can't say "it'll be in GHC by date X". Simon | -Original Me

RE: Windows broken

You can just leave it reverted, could you also push it? Yes ok. I’m sorry to push you back to the drawing board ☹. Simon From: loneti...@gmail.com [mailto:loneti...@gmail.com] Sent: 29 June 2017 09:37 To: Simon Peyton Jones ; ghc-devs Subject: RE: Windows broken Oops, sorry, didn’t notice it

RE: Windows broken

.3.0/../../../../x86_64-w64-mingw32/include End of search list. GNU C11 (Rev2, Built by MSYS2 project) version 6.3.0 (x86_64-w64-mingw32) compiled by GNU C version 6.3.0, GMP version 6.1.2, MPFR version 3.1.5-p2, MPC version 1.0.3, isl version 0.15 GGC heuristics: --param ggc-min-expand=10

RE: Windows broken

/c/code/HEAD$ find inplace/mingw -name 'libwinpthread-1.dll' inplace/mingw/bin/libwinpthread-1.dll The same thing happens, but with a popup alert window, if I use ‘strace gcc …’. What now? Simon From: loneti...@gmail.com [mailto:loneti...@gmail.com] Sent: 29 June 2017 02:38 To: Simon Pe

Windows broken

Help please! Suddenly my Windows build has stopped working. See below. What should I do? I'm totally stuck. This has never happened before. I get this: GHC path canonicalised to: c:/fp/ghc-8.0.2/bin/ghc checking build system type... x86_64-pc-msys checking host system type... x86_64-pc-msys

Thank you

Ryan I wanted to thank you for all the work you are putting into GHC at the moment. * You often produce nice small repro cases from other people's bug reports * you often bisect to the patch caused the bug; * your analysis is usually spot on; * you are actively maintaining the gene

hoopl dependency

Devs, Matko (an intern here at MSR) says Matko Bosnjak 19:02: Hi Simon, There's a 'bug' in some of the latest commits of ghc on git. When running ./build I get: Error: libraries/hoopl/LICENSE doesn't exist. Maybe you haven't done 'git submodule update --init'? at ./boot line 112, line 54. Some

#13804

Ben I've just pushed a fix to Trac #13804. It may belong on the 8.2 branch too because it fixes a regression wrt 8.0. I can't test on my Unix box, because I'm away from it for a few days, but I've validated on windows. Can you just check it's ok, and fix up or revert if not? Thanks SImon __

GHC's module hierarchy

Dear ghc-devs hsyl20 proposes a radical overhaul of the module structure of GHC itself. He or she suggested it six months ago in https://ghc.haskell.org/trac/ghc/ticket/13009 and has now offered a monster patch https://phabricator.haskell.org/D3647 It's clearly the res

RE: Removing Hoopl dependency?

typechecker plugin. Simon From: Sophie Taylor [mailto:sop...@traumapony.org] Sent: 12 June 2017 09:50 To: Simon Peyton Jones ; Michal Terepeta ; ghc-devs Cc: Kavon Farvardin Subject: Re: Removing Hoopl dependency? I don't see why not, other than possible duplication of effort when it comes to so

RE: Removing Hoopl dependency?

use it later. Does that sound plausible? Do we know of any other Hoopl users? Simon From: Sophie Taylor [mailto:sop...@traumapony.org] Sent: 11 June 2017 14:09 To: Michal Terepeta ; Simon Peyton Jones ; ghc-devs Cc: Kavon Farvardin Subject: Re: Removing Hoopl dependency? Hello, fellow workers

RE: 8.2.1-rc2 upgrade report

Great. Could you put all this into a Trac ticket? Thanks! Simon From: Alberto Valverde [mailto:albe...@toscat.net] Sent: 08 June 2017 13:57 To: Simon Peyton Jones Cc: GHC users Subject: Re: 8.2.1-rc2 upgrade report Hi Simon, Thanks for the pointer. I re-did both builds with -dshow-passes

RE: Removing Hoopl dependency?

skell is a separate package. Thanks! Simon From: Michal Terepeta [mailto:michal.terep...@gmail.com] Sent: 08 June 2017 19:59 To: Simon Peyton Jones ; ghc-devs Cc: Kavon Farvardin Subject: Re: Removing Hoopl dependency? > On Wed, Jun 7, 2017 at 7:05 PM Simon Peyton Jones > mailto:simo.

RE: Removing Hoopl dependency?

] Sent: 29 May 2017 12:53 To: Simon Peyton Jones ; ghc-devs Subject: Re: Removing Hoopl dependency? On Sun, May 28, 2017 at 11:30 PM Simon Peyton Jones mailto:simo...@microsoft.com>> wrote: Is there really a compelling case for forking Hoopl? I was talking to Kavon last week about doing e

RE: Trees that Grow in the hsSyn AST

ther binder, or arbitrary other info (eg strictness) can be challenging. Try it! Simon | -Original Message- | From: David Feuer [mailto:da...@well-typed.com] | Sent: 30 May 2017 22:06 | To: Simon Peyton Jones | Cc: Alan & Kim Zimmerman ; ghc-devs@haskell.org | Subject: Re: Trees that

RE: Removing Hoopl dependency?

Is there really a compelling case for forking Hoopl? I was talking to Kavon last week about doing exactly the opposite: using Hoopl more wholeheartedly! Before going ahead with this, let’s remember the downsides ·If we fork Hoopl, improvements in one place will not be seen in the other

RE: [commit: ghc] master: Fix test output after 'Some tidying up of type pretty-printing' (09d5c99)

Sorry about this. I carefully fixed all these and validated...thanks for fixing Simon | -Original Message- | From: ghc-commits [mailto:ghc-commits-boun...@haskell.org] On Behalf Of | g...@git.haskell.org | Sent: 27 May 2017 15:45 | To: ghc-comm...@haskell.org | Subject: [commit: ghc] mas

RE: HsParTy

4 To: Simon Peyton Jones Cc: ghc-devs@haskell.org Subject: Re: HsParTy When I was working through the ppr to use HsParTy everywhere it was not clear whether there were any usages that required maybeParen, so I left it in. I can try to strip then all out and see what happens. Alan On 26 May 2017 at 1

RE: Trees that Grow in the hsSyn AST

nd, bound, abt, etc)? David Feuer Well-Typed, LLP Original message ---- From: Simon Peyton Jones via ghc-devs mailto:ghc-devs@haskell.org>> Date: 5/25/17 6:48 PM (GMT-05:00) To: Alan & Kim Zimmerman mailto:alan.z...@gmail.com>>, ghc-devs@haskell.org<mailto:ghc-devs@has

HsParTy

Alan Do you know why HsTypes.ppr_mono_ty contains any uses of 'maybeParen'? Shouldn't the parens all be put in by HsParTy? I tripped over this when I mistakenly added what I thought were missing maybeParen calls for HsAppTy and HsAppTys, but that was flagged as an error by a test in tests/print

RE: Trees that Grow in the hsSyn AST

Folks Do take a look at this: ·We propose to re-engineer HsSyn itself. This will touch a lot of code. ·But it’s very neat, and will bring big long-term advantages ·And we can do it a bit at a time The wiki page https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesTh

RE: 8.2 and earlier build times

| We'll need to look at what is going on here as this is a pretty | significant regression. Make a ticket with repro instructions? s | -Original Message- | From: Ben Gamari [mailto:b...@smart-cactus.org] | Sent: 20 May 2017 18:20 | To: Herbert Valerio Riedel ; Simon Peyton

RE: How lose can we be with strictness

| And I am wondering if there is a way for GHC to discriminate between | these two options somehow… Not that I know of. Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Joachim | Breitner | Sent: 20 May 2017 18:14 | To: ghc-devs@haskell.org |

RE: Getting valid substitutions to work for subsumption

| This is going to be challenging to fix, I'm afraid. I don't agree. If you call (tcSubsumes hole_ty ty) with closed types hole_ty, ty, it should return True if ty is more polymorphic than hole_ty. For example tcSubsumes (forall a. [a] -> [a]) (forall b. b -> b) should re

RE: Type families and classes

Yes that looks right. A class instance can’t dispatch on a type family application. In haskell we don’t allow reverse (a ++ b) = reverse a ++ reverse b and it’s the same for type families and class instances. You should do the type-family reduction yourself, as you do below. Simon From: gh

RE: 8.2 and earlier build times

That's great news! Faster than GHC 7.8! We should advertise this :-). Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of | Christopher Allen | Sent: 16 May 2017 19:09 | To: ghc-devs@haskell.org | Subject: 8.2 and earlier build times |

unix/tests failures

Something is wrong with libraries/tests/unix. >From `sh validate -fast -no-clean` I get the pile of errors below. If I cd libraries/unix; make THREADS=20 it all works fine It's quite annoying. Any ideas? Simon Unexpected failures: T8308/T8308.runT8308 [bad st

Perf test failing: Trac #13668

Test perf/compiler/T9675 is failing (dramatically) for me. See https://ghc.haskell.org/trac/ghc/ticket/13668 Is it not failing for anyone else? Why does https://perf.haskell.org/ghc/ not show it up? Could someone (Reid?) track down which patch made it go bad? Simon _

forkprocess01

I got this on Linux in libraries/unix/tests Wrong exit code for forkprocess01(threaded1_ls)(expected 0 , actual 134 ) Stderr ( forkprocess01 ): forkprocess01: internal error: multiple ACQUIRE_LOCK: rts/Task.c 226 (GHC version 8.3.20170428 for x86_64_unknown_linux) Please report this as

RE: Pushing to nofib

git remote -v origin git://git.haskell.org/nofib.git (fetch) origin git://git.haskell.org/nofib.git (push) simonpj@cam-05-unx:~/code/HEAD-4/nofib$ | -Original Message- | From: Ben Gamari [mailto:b...@smart-cactus.org] | Sent: 28 April 2017 14:08 | To: Simon Peyton Jones ; ghc-devs

Pushing to nofib

How can I push to the nofib repository? I get this: simonpj@cam-05-unx:~/code/HEAD-4/nofib$ git push fatal: remote error: access denied or repository not exported: /nofib.git Thanks Simon ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.has

RE: Constraint solver iterations

I'd love to see the repo case. with -ddump-simpl-iterations -ddump-simpl-stats you'll see the result after each iteration, and what was done. I bet you get to the point where only one thing happens per iteration and that's bad. Make a ticket! Thanks Simon | -Original Message- | Fr

RE: debug output

From: Richard Eisenberg [mailto:r...@cs.brynmawr.edu] | Sent: 24 April 2017 14:29 | To: Ben Gamari | Cc: Simon Peyton Jones ; ghc-devs | Subject: Re: debug output | | Could the problem be that ghc doesn’t support a -ddebug-output flag? | It has -dno-debug-output, but I don’t know of a w

debug output

mk/flavours/validate.mk has GhcStage2HcOpts= -O -dcore-lint GhcLibHcOpts = -O -dcore-lint How can I override these in my validate.mk? E.g. GhcLibHcOpts += -ddebug-output does not work. Thanks. One should really be able to override anything. Simon

RE: [Diffusion] [Raised Concern] rGHC751996e90a96: Kill off complications in CoreFVs

- | From: Joachim Breitner [mailto:m...@joachim-breitner.de] | Sent: 13 April 2017 16:24 | To: Simon Peyton Jones | Cc: ghc-devs | Subject: Re: [Diffusion] [Raised Concern] rGHC751996e90a96: Kill off | complications in CoreFVs | | [CC’ing ghc-dev in case others are also curious about how to

Join points and loopificaiton

Luke Kavon Farvardin is here as an intern, mainly working on LLVM backend stuff. But he knows a lot about CPS etc and he'd read our paper. In talking about it, we realised a new Join Point Win! I've written it up in https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Loopification under "N

RE: submodules

Thanks Reid, Matthew. S | -Original Message- | From: Reid Barton [mailto:rwbar...@gmail.com] | Sent: 11 April 2017 17:01 | To: Simon Peyton Jones | Cc: ghc-devs | Subject: Re: submodules | | Hi Simon, | | This happens because the locations of the submodules are specified

submodules

Devs I want to build a GHC from someone else repo; this one actually g...@github.com:Tritlo/ghc.git. But when I clone it, and then do git submodule init; git submodule update, I get lots of git submodule update Cloning into '.arc-linters/arcanist-external-

linux again

PS: a from-scratch build fell over like this (below). the time-library problem in my other message happened when I said 'sh validate -fast -no-clean'; that is, with -no-clean. Which is odd. Simoin checking for __gmpz_powm_sec in -lgmp... yes checking whether to use in-tree GMP... no checking gmp

linux build broken

My linux build is broken. See below. Help! Simon libraries/time/ghc.mk:4: libraries/time/dist-install/build/.depend-v-dyn.haskell: No such file or directory "rm" -f libraries/time/dist-install/build/.depend-v-dyn.haskell.tmp "inplace/bin/ghc-stage1" -M -static -O0 -H64m -Wall -fllvm-fill-und

Windows build

Dear Windows folk, Here's my testsuite output for a clean build on Windows last night. Rather a lot of failures - can we reduce them? Simon SUMMARY for test run started at Wed Apr 5 01:37:30 2017 GMTST 0:50:08 spent to go through 5822 total tests, which gave rise to 16777 test cases, of

RE: Windows 10 Creators Update will break GHC (Was FW: GHC on Windows 10 15019+)

Yikes that sounds bad! I just wanted to raise awareness and offer myself to do guided grunt work (if there is any) to push out a hotfix/inplace patch release for GHC 8.0.2. Help would be fantastic. Phyx, Ben, etc: do we have a plan? Simon From: ghc-devs [mailto:ghc-devs-boun...@haskell.org]

RE: Translation of GHC typechecker output to haskell-src-exts's 'Type'

Tom Please start a wiki page, somewhere under https://ghc.haskell.org/trac/ghc/wiki/Commentary that gives the information you wish was more clearly described. And/or add a Note in TyCoRep to explain. My answer to your question would be: The type that Haskell programmers write Ord a =>

FW: [Haskell-cafe] [Call for Contributions] Haskell Communities and Activities Report, May 2017 edition (32nd edition)

Ben Will you coordinate the GHC status report for HCAR? Everyone: please don’t leave Ben doing all the heavy lifting. He'll sketch a structure but it's up to the rest of us to fill it in. These six monthly reports are widely read, I think. Simon -Original Message- From: Haskell-Cafe

RE: SPECIALISE INLINE pragma

ikolaj Konarski [mailto:miko...@well-typed.com] | Sent: 23 March 2017 21:15 | To: Simon Peyton Jones | Cc: Matthew Pickering ; GHC developers | | Subject: Re: SPECIALISE INLINE pragma | | > GHC tries hard NOT to choose an INLINE function as a loop breaker. | > But if you write | > | &g

RE: Polymorphism over unboxed tuples

All true. But perhaps the paper should articulate this thinking? Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of | Richard Eisenberg | Sent: 23 March 2017 16:19 | To: Ryan Scott | Cc: GHC developers | Subject: Re: Polymorphism over

RE: SPECIALISE INLINE pragma

| I didn't know the bit about INLINE being ignored on a loop-breaker | with no warning and no way of changing the loop-breaker. GHC tries hard NOT to choose an INLINE function as a loop breaker. But if you write f x = if ... then 0 else (f x') {-# INLINE f #-} then the only possible loop bre

RE: SPECIALISE INLINE pragma

| On the same topic, I also wrote a blog post simply explaining the | essential things to know about the inliner and specialiser as I don't | think they are generally appreciated. Comments welcome! | | http://mpickering.github.io/posts/2017-03-20-inlining-and- | specialisation.html Fantasti

RE: Why are there no Show instances for internal types

| > >- Is there a reason that there are no derived 'Show' instances for | > >most types? | > | > As Richard mentioned, we don't derive Show due to code size and | compilation time concerns. | > Show in particular is rather expensive to derive and seeing as we | already have Outputable I don't it

Stat too good

Ben, I still get these four stat-too-good "failures" on 64-bit Linux. Unexpected stat failures: /tmp/ghctest-ca0gfq/test spaces/./perf/compiler/T13035.run T13035 [stat too good] (normal) /tmp/ghctest-ca0gfq/test spaces/./perf/compiler/T12425.run T12425 [stat too good] (optasm)

Adding a module

If you add a module to GHC, I know you need to extend ghc.cabal.in. But also ghc.mk? Otherwise I get hits If you add a module to GHC, I know you need to extend ghc.cabal.in. But also ghc.mk? Otherwise I get hits /usr/bin/ar: creating rts/dist/build/libHSrts_debug.a Reachable modules from D

RE: [GHC] #13413: GHC HEAD panic: collectNBinders

I know what is going on here. I'm in a meeting all day, but I hope to fix tomorrow. Simon | -Original Message- | From: ghc-tickets [mailto:ghc-tickets-boun...@haskell.org] On Behalf Of | GHC | Sent: 11 March 2017 20:12 | Cc: ghc-tick...@haskell.org | Subject: [GHC] #13413: GHC HEAD pani

RE: Removing core-spec.pdf from repository?

It's very helpful to have a live, up to date PDF. Not everyone has OTT, which is required to make it. And OTT isn't available on Windows at all :-( Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Phil | Ruffwind | Sent: 14 March 2017 0

Windows

Windows build is working againthank you! (To be fair, I'm still building stage2, so have not tried the testsuite yet, but I live in hope.) Simon ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

New commits

Edward, Ben, others I have just pushed a patch series 2209d5e6 Comments only 4eeb3273 Drop redundant import 2d3cb34a Define TcSimplify.simplifyTopImplic and use it af6ed4a6 Fix constraint simplification in rules 48d1866e Improve error messages for skolems 7e96526a Fix TcSimplify.decideQuantif

FW: GHC on Windows 10 15019+

Phyx and friends: does this ring a bell? Do we have a ticket? -Original Message- From: Glasgow-haskell-users [mailto:glasgow-haskell-users-boun...@haskell.org] On Behalf Of J. Garrett Morris Sent: 09 March 2017 17:54 To: GHC users Subject: GHC on Windows 10 15019+ Hi y'all, I've recen

RE: Windows build failing in a new way

… .section .eh_frame,"a",@progbits Simon From: Phyx [mailto:loneti...@gmail.com] Sent: 09 March 2017 16:38 To: Simon Peyton Jones ; ghc-devs@haskell.org Subject: Re: Windows build failing in a new way Hi Simon, As of this morning the Windows build was working fine https://github.c

<    4   5   6   7   8   9   10   11   12   13   >