Maybe put this all on a ticket?
Everyone: would someone like to dig into this? I’m so under water that I just
can’t
Simon
From: Jan Bracker [mailto:jan.brac...@googlemail.com]
Sent: 15 January 2016 14:03
To: Simon Peyton Jones
Cc: Richard Eisenberg ; ghc-devs@haskell.org
Subject: Re
I don't think the state-hack tail should wag the dog here. The nub of the
problem in practice is the shared linker state isn't it?
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Ben
| Gamari
| Sent: 17 January 2016 19:55
| To: Alan &
Or -fexpose-all-unfoldings?
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of
| Edward Z. Yang
| Sent: 18 January 2016 06:37
| To: Conal Elliott
| Cc: Andrew Farmer ; ghc-devs@haskell.org
| Subject: Re: ghci and unfoldings?
|
| Does
Dear GHC devs (all 600+ of you),
It’s my birthday (well it was a few minutes ago, but I became distracted by
#11379). I am 58. GHC is alive and well and, happily, so am I.
However, of late I have found that my GHC inbox, which I used to be able to
keep under control, just grows and grows. Mos
| I'm sure there's an easy answer to this, but I'm wondering: why is the
| CallStack feature implemented with implicit parameters instead of just
| a magical constraint? Whenever I use this feature, I don't want to
| have to enable -XImplicitParams and then make sure I get the name
| right. Wh
| foo x :: AppendsCallStack => a -> a
Remove the "x"!
S
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of
| Joachim Breitner
| Sent: 20 January 2016 09:08
| To: ghc-devs@haskell.org
| Subject: Re: CallStack naming
|
| Hi,
|
| Am Mittwoc
I’m getting this collection of failing tests, all of a sudden (below). What’s
up? I’m pretty sure it’s not my modifications.
The failures ae
=> random1283(normal) 1 of 1 [0, 0, 0]
cd . && "/5playpen/simonpj/HEAD-4/inplace/test spaces/ghc-stage2" -o
random1283 random1283.hs -fforce-rec
Behalf Of
Conal Elliott
Sent: 18 January 2016 17:47
To: Simon Peyton Jones
Cc: Edward Z. Yang ; Andrew Farmer ;
ghc-devs@haskell.org
Subject: Re: ghci and unfoldings?
That's the flag I would expect. It doesn't seem to help or hinder availability
of unfoldings in GHCi. Do you think it s
| > * In principle you might have multiple call stacks kicking around
| > at the same time
| > boo :: (?a::CallStack, ?b::CallStack) => Int -> Int
| > Now I'm not really sure what is supposed to happen about solving
| > these constraints. Perhaps it could be a feature, but it's not
| It’d probably need a built-in function
|
| setCallStack :: CallStack -> (AppendsCallStack => a) -> a
Correct. This is easy to write in Core but not in Haskell. We also need
something similar for Typeable, when we get a type-indexed version of TypeRep
withTypeable :: TypeRep a -> (
Jones
| Cc: Thomas Miedema
| Subject: Re: GHC 8.0.1 RC 1 and the -fwarn-monomorphism-restriction
| option
|
| On 21 January 2016 at 08:11, Simon Peyton Jones
| wrote:
| > Can you give a small concrete test case, showing the different
| behaviour?
|
| I received this answer from Tho
uary 2016 16:15
| To: ghc-devs@haskell.org
| Subject: Re: CallStack naming
|
| On Thu, Jan 21, 2016, at 04:07, Simon Peyton Jones wrote:
| > Well, in the short term, let's
| > * bikeshed about names
|
| Ok, I don't like ICallStack :) It sounds like a C# interface, whic
@apeiron.net]
| Sent: 22 January 2016 14:58
| To: Thomas Miedema
| Cc: Ben Gamari ; Manuel M T Chakravarty
| ; Simon Peyton Jones ;
| ghc-devs@haskell.org
| Subject: Re: vectorisation code?
|
| On Fri, Jan 22, 2016 at 03:23:56PM +0100, Thomas Miedema wrote:
| > On Fri, Jan 22, 2016 a
rey Mokhov [mailto:andrey.mok...@newcastle.ac.uk]
| Sent: 22 January 2016 14:27
| To: ghc-devs@haskell.org
| Cc: Simon Peyton Jones ; Neil Mitchell
| ; Simon Marlow
| Subject: [ANNOUNCE] Shaking up GHC
|
| Dear GHC developers,
|
| I am happy to announce that the Shaking up GHC project h
I’m a bit dubious about whether it’s worth the effort of making this an
extension that requires GHC support. Does the gain justify the (maybe-small but
eternal) pain
Simon
From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Richard
Eisenberg
Sent: 25 January 2016 14:06
To: David
y
| > git will ignore changes to this files when you `git commit -a`. You
| > can still, however, commit changes to it if you ask git explicitly.
|
| Yes, I was thinking about the same idea.
|
| Cheers,
| Andrey
|
| -Original Message-
| From: Simon Peyton Jones [mailto:simo
Bartosz
How are you getting on with tidying up substitutions.
I’ve done a bit in that direction myself:
commit 1c6d70c2121fd1126fcc2458bdbcc856e19598c2
Author: Simon Peyton Jones mailto:simo...@microsoft.com>>
Date: Tue Jan 26 09:37:06 2016 +
Kill off zipTopTCvSubst in fav
Phab patches
S
From: Bartosz Nitka [mailto:nite...@gmail.com]
Sent: 26 January 2016 11:15
To: Simon Peyton Jones
Cc: ghc-devs@haskell.org
Subject: Re: Substitutions
Hello Simon,
I was about to send an improved version of D1801, I will do that once I rebase
past your patch (there's a small ov
George, Richard, Geoff
We’d like to get a new release candidate for GHC out on Friday 5th Feb. Does
that give you enough post-POPL time to get done?
· George: The pattern match performance issues
· Richard: the ReturnTv stuff (branch wip/exp-types)
· Richard: #11471 (l
, fair enough, so be it. We can push it out to 8.2. Or maybe
someone else (Reid?) might do it.
So feel free to un-volunteer!
Simon
| -Original Message-
| From: Geoffrey Mainland [mailto:mainl...@apeiron.net]
| Sent: 26 January 2016 15:43
| To: Simon Peyton Jones ; Skull
| ; Rich
mon Peyton Jones
Cc: Skull ; Geoffrey Mainland
; ghc-devs@haskell.org
Subject: Re: GHC release candidate
On Jan 26, 2016, at 10:34 AM, Simon Peyton Jones
mailto:simo...@microsoft.com>> wrote:
• Richard: the ReturnTv stuff (branch wip/exp-types)
Yes. I just pushed a candidate pat
Aggressive inlining is one way, but specialisation ought to get a long way, and
makes fewer copies of the specialised code.
It’s hard to help without a concrete example
Simon
From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Conal Elliott
Sent: 28 January 2016 00:05
To: ghc-devs
case of
container keys/value, the inlinable pragma does the right thing.)
Correct! And not well described anywhere.
If someone writes something, I’ll willingly review
S
From: Johan Tibell [mailto:johan.tib...@gmail.com]
Sent: 28 January 2016 13:40
To: Simon Peyton Jones
Cc: Conal Elliott ; ghc
| On Thu, Jan 21, 2016, at 04:07, Simon Peyton Jones wrote:
| > | It’d probably need a built-in function
| > |
| > | setCallStack :: CallStack -> (AppendsCallStack => a) -> a
| >
| > Correct. This is easy to write in Core but not in Haskell.
|
| Ugh, I just
Well, isLevityTy tests whether its argument is Levity
But you want to test if the argument is a data constructor (e.g. Lifted,
Unlifted) whose type is Levity.
So you need something like
isLevityCon :: Type -> Bool
isLevityCon (TyConApp tc []) = isLevityTy (tyConKind tc)
.
ection.outlook.com/?url=https%3a%2f%2fwiki.haskell.org%2fEvaluation_order_and_state_tokens&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c8f855b4f9a8b425f1e3d08d329e1d18d%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=SO1OefBi8YlTWj3vDq8pbwupW3LFGMsf2hGyXwPQ6O0%3d>
- Haskell GHC Illustrated
I'm no git expert here, but
* Feature branches typically have lots of intermediate fixups.
We don’t want that sequence in the main history; it's like
watching sausage being made, and many intermediate points may
be broken. Better to have one big, coherent commit.
* If a feature branch rea
| Squashing large change sets into a single patch is also undesirable---
| it makes figuring out exactly what changed more difficult and makes
| bisecting less useful.
My personal preference is:
* Always squash the "sausage-being-made" commits of a feature branch.
The sometimes-torturous hi
Those fields are dead, now that the Cmm pass deals with it. We left it in
while making the transition, but they can go now. Go ahead!
(Lots of code should disappear along with them!)
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Ömer Si
A clean Windows build fails. See below. help!
Simon
rts\Linker.c:444:7: error:
error: pointer type mismatch in conditional expression [-Werror]
: pinfo->owner->fileName
^
rts\Linker.c:429:7: error:
error: format '%ls' expects argument of type 'wchar_t *',
; Simon Peyton Jones ; Edsko de
Vries ; Facundo Domínguez
Subject: Re: [GHC] #11526: unsafeLookupStaticPtr should not live in IO
IMHO this dynamic linking thing is a red herring. In principle any function
call becomes potentially impure given eg the ability to shadow symbols. In
practice that&#
I think it may appear in code generated from primops.txt
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of
| Richard Eisenberg
| Sent: 02 February 2016 21:34
| To: Geoffrey Mainland
| Cc: ghc-devs@haskell.org developers
| Subject: Prim
I’m sorry Conal I’m not getting this.
Specialisation happens when you have a named chunk of code that is repeatedly
called at different types, and with different args. We can inline it bodily to
specialise to that one call site, but it’s cooler to make a single specialised
version which can be
Thanks. A Note somewhere would be good!!!
| -Original Message-
| From: Geoffrey Mainland [mailto:mainl...@drexel.edu]
| Sent: 03 February 2016 17:10
| To: Simon Peyton Jones ; Richard Eisenberg
|
| Cc: ghc-devs@haskell.org developers
| Subject: Re: PrimRep constructor Vec
that the mechanism for preventing things like reordering operations or spurious
sharing is shared in common between ST and IO via State#
Yes. It’s pure data dependency, no more and no less. Operations in both ST and
IO take a State# token as input, and produce one as output. So of course to
ge
Correct. I’ve added more comments.
From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Conal Elliott
Sent: 10 February 2016 18:17
To: ghc-devs@haskell.org
Subject: Re: Adding rules in a plugin?
More study of GHC source code answered my question: when I generate a rule, set
ru_auto
I’m getting this on a clean HEAD. Is anyone else?
Simon
Unexpected stat failures:
perf/compiler T5030 [stat not good enough] (normal)
perf/compiler T9872b [stat not good enough] (normal)
perf/compiler T9872c [stat not good enough] (normal)
_
cd testsuite/tests/perf; make
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Richard
| Eisenberg
| Sent: 12 February 2016 19:04
| To: ghc-devs@haskell.org developers
| Subject: quick performance measurements
|
| Hi devs,
|
| I have a few ideas f
13 14:42
To: Simon Peyton-Jones
Cc: glasgow-haskell-b...@haskell.org; Martin Sulzmann; GHC Users Mailing List
Subject: Re: Fundeps and type equality
That link looks like it points to the manual for the most recent distribution,
not HEAD. The edits I put into the manual for the new family instance
: ghc-devs@haskell.org
| Subject: Re: Fundeps and type equality
|
| On Fri, Jan 11, 2013 at 03:53:25PM +0000, Simon Peyton-Jones wrote:
| > Ian: isn't the documentation URL below supposed to be updated nightly from
| HEAD? I got it from here:
| > http://www.haskell.org/g
Almost certainly some, but probably not all that much. Do highlight any that
you find.
Simon
| -Original Message-
| From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org]
| On Behalf Of Jan Stolarek
| Sent: 14 January 2013 13:00
| To: ghc-devs@haskell.org
| Subject: Is
Iavor
Are these four failures the result of your changes?
Should we fix the tests?
Should the error message say "The instance decl is inconsistent with the
fundeps"? And maybe be more precise about which fundep.
I'm a bit confused.
Simon
=> Gentle(normal) 1182 of 3527 [0, 3, 0]
cd ./inde
I'm getting testsuite failures like this on Windows
:
Warning: Couldn't figure out LLVM version!
Make sure you have installed LLVM
Fair enough, but shouldn't 'configure' find out if I have LLVM. And if I
don't, shouldn't the tests be disabled?
Do we have instructions for insta
OK. I see that
* oclose is never used
* Note [Important subtlety in oclose] is out of date; it relates
to when oclose was used with the global tyvars. This relates
to change (1) of yours, behaving uniformly when the fixed
tyvars are empty.
So I nuked oclose altogether (hurrah), and renam
OK i’ve fixed these. will push when I have valiated
From: Iavor Diatchki [mailto:iavor.diatc...@gmail.com]
Sent: 14 January 2013 18:40
To: Simon Peyton-Jones
Cc: ghc-devs@haskell.org
Subject: Re: Failing test
Hello,
On Mon, Jan 14, 2013 at 9:52 AM, Simon Peyton-Jones
mailto:simo
| > Warning: Couldn't figure out LLVM version!
| > Make sure you have installed LLVM
| >
...
| The 'llvm' way is supposed to be disabled in the testsuite if LLVM is
| not found. Here is the code from testsuite/mk/test.mk:
...
| Maybe this isn't working? Or maybe you have llc on
h.
|
| On 01/14/2013 06:56 PM, Simon Peyton-Jones wrote:
| > I'm getting testsuite failures like this on Windows
| >
| > :
| > Warning: Couldn't figure out LLVM version!
| > Make sure you have installed LLVM
| >
| > Fair enough, but shouldn't &#x
h-3.1$
| -Original Message-
| From: David Terei [mailto:davidte...@gmail.com]
| Sent: 16 January 2013 10:59
| To: Simon Peyton-Jones
| Cc: Nathan Hüsken; ghc-devs@haskell.org
| Subject: Re: LLVM failures
|
| My guess is llc doesn't like the arguments being passed to it. Try
| running llc
Consequences of Iavor's fundep changes. I have pushed fixes
S
| -Original Message-
| From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org]
| On Behalf Of Simon Marlow
| Sent: 16 January 2013 14:38
| To: ghc-devs@haskell.org
| Subject: validate failures
|
| Lots
@gmail.com [mailto:ilyas...@gmail.com] On Behalf Of Ilya Sergey
Sent: 16 January 2013 17:25
To: Simon Peyton-Jones
Subject: Re: Cardinality
I run nofib and at some point I get the following output:
==nofib== integrate: time to run integrate follows...
../../runstdtest/runstdtest ./integrate -o1 integrate.
| I'm curious about the new demand analyser. Is there a wiki page/paper
| describing what it's trying to achieve?
Not yet. Ilya, starting a GHC wiki page might be a good thing to do.
Some stuff here:
http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Demand
Short summary:
* I'm about
Would it be worth transferring that comment into the building guide (a
cross-compiling page perhaps). The distinction is subtle and the information is
useful
There is http://hackage.haskell.org/trac/ghc/wiki/CrossCompilation
but I'm not sure it has this info
Simon
| -Original Message-
Hmm. Precisely because it causes un-forced conflicts, our policy has been:
de-tab when you are modifying a file anyway
But if you find files that are stable -- have not been modified for some months
-- then yes you could detab them. Perhaps one directory at a time?
I'm unsure it's wor
I have no idea what the cabal ones are. They report
+ghc-stage2: panic! (the 'impossible' happened)
+ (GHC version 7.7 for x86_64-unknown-linux):
+ no package state yet: call GHC.setSessionDynFlags
I've fixed rnfail055, T4201 (my fault sorry).
haddock.base is ok for me.
Simon
| -Orig
not actually wrong.
Simon
| -Original Message-
| From: Simon Marlow [mailto:marlo...@gmail.com]
| Sent: 18 January 2013 15:09
| To: Simon Peyton-Jones
| Cc: ghc-devs@haskell.org
| Subject: Re: Today's validate failures
|
| On 18/01/13 14:50, Simon Peyton-Jones wrote:
| > I have n
| > In Packages we have a dflags with an error thunk in it for pkgState,
| and it's the strict evaluation of that pkgState that is changing the
| behaviour.
|
| Whereabouts are we evaluating it? Could we fix that instead?
That would be good. It's here;
applyPackageFlag dflags unusable pkgs fla
That's odd. It validated for me... maybe those tests aren't run. Anyway, there
was a missing paren, now fixed. Apologies
Simon
| -Original Message-
| From: Edward Z. Yang [mailto:ezy...@mit.edu]
| Sent: 18 January 2013 21:29
| To: Simon Peyton-Jones
| Cc: ghc-devs@haskell.org
Is abbott (darcs.haskell.org) down?
http://www.downforeveryoneorjustme.com/darcs.haskell.org
says it is, and I can't access it. Urk.
Simon
___
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs
Terrific thanks.
I hope someone can figure out why the Hackage Trac took down the entire server
(in effect).
Simon
| -Original Message-
| From: Ian Lynagh [mailto:i...@well-typed.com]
| Sent: 22 January 2013 13:21
| To: Simon Peyton-Jones; Paul Heinlein; ghc-devs@haskell.org; haskell
Ian, Paul
It seems that 'abbott' is down again. Two days in a row suggests something is
wrong. Is there anything either of you can do to help?
Simon
___
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs
T1133 and T1133A both work for me (Linux).
T7594 is a glitch; I failed to push.
Simon
| -Original Message-
| From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org]
| On Behalf Of Simon Marlow
| Sent: 24 January 2013 09:57
| To: ghc-devs@haskell.org
| Subject: Today's v
I'm all for such a renaming. The "T" naming convention is GREAT.
Simon
| -Original Message-
| From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org] On
| Behalf Of Ian Lynagh
| Sent: 24 January 2013 20:15
| To: ghc-devs@haskell.org
| Subject: Bug names
|
|
Morabbin, what's the semantics of "bump"? I don't know what you intend by it!
Simon
| -Original Message-
| From: ghc-tickets-boun...@haskell.org
[mailto:ghc-tickets-boun...@haskell.org]
| On Behalf Of GHC
| Sent: 26 January 2013 22:12
| Cc: ghc-tick...@haskell.org
| Subject: Re:
: Andrew Adams-Moran [mailto:morab...@gmail.com]
| Sent: 26 January 2013 23:42
| To: Simon Peyton-Jones
| Cc: ghc-devs@haskell.org
| Subject: Re: [GHC] #1614: Type checker does not use functional dependency to
| avoid ambiguity
|
|
| Hi Simon;
|
| "Bump"
| -Original Message-
| From: Andrew Adams-Moran [mailto:morab...@gmail.com]
| Sent: 27 January 2013 00:19
| To: Simon Peyton-Jones
| Cc: ghc-devs@haskell.org
| Subject: Re: [GHC] #1614: Type checker does not use functional dependency to
| avoid ambiguity
|
|
| Hi all!
|
| Thanks
| The discussion about replacing abbot seems to be achieving consensus.
| There's no urgency, but if it seems to taper out again then I'll try
| prodding the committee to put the plan into action.
What *is* the consensus? We should get on with this. It bit several times
recently, and we don't wa
I failed to push a testsuite patch, sorry..coming
S
| -Original Message-
| From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org]
| On Behalf Of Simon Marlow
| Sent: 29 January 2013 10:00
| To: ghc-devs@haskell.org
| Subject: rnfail055
|
| This test has been failing for
Thanks for doing a code review .. v helpful.
Simon
From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org] On
Behalf Of Alexander Kjeldaas
Sent: 31 January 2013 09:31
To: Edward Z. Yang; ghc-devs
Subject: Code review, new scheduler:
Hi Edward, thanks for your work on the new s
I think I'm implicated here though I believe I did push testsuite patches.
I'll check tomorrow. Except that I'm out all day. Argh. Anyway don't worry
about them. Sorry
Simon
| -Original Message-
| From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org] On
| Behal
yes, see earlier email on this. almost certainly my fault, will fix Monday
| -Original Message-
| From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org] On
| Behalf Of Simon Marlow
| Sent: 01 February 2013 08:57
| To: ghc-devs@haskell.org
| Subject: Validate failure
I'm +10. This is precisely the reason we have our supreme Performance Tsars,
to keep us honest. GHC leadership is become increasingly decentralised and I
am truly grateful to Bryan and Johan for picking up this particular challenge.
My guess is that regressions are accidental and readily fixed
I believe fibon/ was helpfully added by someone, but never integrated into the
nofib build system. Just needs doing, I think
Simon
From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org] On
Behalf Of Nicolas Frisby
Sent: 05 February 2013 09:24
To: Johan Tibell
Cc: ghc-devs@has
d Terei
Cc: Simon Peyton-Jones; Nicolas Frisby; ghc-devs@haskell.org
Subject: Re: nofib comparisons between 7.0.4, 7.4.2, 7.6.1, and 7.6.2
On Tue, Feb 5, 2013 at 3:19 AM, David Terei
mailto:davidte...@gmail.com>> wrote:
On 5 February 2013 02:13, Simon Peyton-Jones
mailto:simo...@microsoft.
Dear GHC users,
Carter: Will this RTS update make it into ghc 7.8 update thats coming up in the
next monthish?
Andreas: We are almost there - we are now trying to sort out a problem on mac
os x. It would be helpful to know if there is a cutoff date for getting things
into 7.8.
Simon, Ian, and
Would it be worth turning this into a Trac ticket?
Simon
From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org] On
Behalf Of Eyal Lotem
Sent: 07 February 2013 02:14
To: ghc-devs@haskell.org
Subject: Stable pointers and hash table performance
Hey,
Background
I
The ticket contains vastly less information than Eyal's post, though.
Simon
| -Original Message-
| From: Edward Z. Yang [mailto:ezy...@mit.edu]
| Sent: 07 February 2013 08:34
| To: Simon Peyton-Jones
| Cc: Eyal Lotem; "ghc-devs@haskell.org"
| Subject: RE: Stable pointers
I'm very sorry about this. I have been utterly flattened this week.
S
| -Original Message-
| From: Simon Marlow [mailto:marlo...@gmail.com]
| Sent: 07 February 2013 10:14
| To: Simon Peyton-Jones
| Cc: ghc-devs@haskell.org
| Subject: Re: Validate failures
|
| These are
in a different channel and pay the price of flat tires etc.
PS: absolutely right to use 7.6.2 for the next HP. Don’t even think about 7.8.
Simon
From: Mark Lentczner [mailto:mark.lentcz...@gmail.com]
Sent: 07 February 2013 17:43
To: Simon Peyton-Jones
Cc: andreas.voel...@gmail.com; Carter
fantastic thanks
From: Johan Tibell [mailto:johan.tib...@gmail.com]
Sent: 07 February 2013 17:56
To: Simon Peyton-Jones
Cc: ghc-devs@haskell.org
Subject: Re: GHC 7.8 release?
Hi Simon,
Starting with the 7.8 release cycle, I will try to run all of nofib and compare
the results to the previous
utoDeriveTypeable.
Thanks
Simon
From: josepedromagalh...@gmail.com [mailto:josepedromagalh...@gmail.com] On
Behalf Of José Pedro Magalhães
Sent: 08 February 2013 09:59
To: Simon Peyton-Jones
Cc: ghc-devs@haskell.org
Subject: Merging polykinded typeable
Hi Simon,
I think the polykinded stuff is
Should be fixed now, I think, except T5113 which really is a genuine old bug. I
have a fix coming
Simon
| -Original Message-
| From: Simon Marlow [mailto:marlo...@gmail.com]
| Sent: 07 February 2013 10:14
| To: Simon Peyton-Jones
| Cc: ghc-devs@haskell.org
| Subject: Re: Validate
evs@haskell.org; Andreas Voellmy; Simon Peyton-Jones;
Edsko de Vries; Mark Lentczner; Johan Tibell; parallel-haskell
Subject: Re: GHC 7.8 release?
+10^100 to Johan and Manuel. Breaking changes on pieces that aren't
experimental is the main compatibility / new version pain,
and I say this as some
13:41
To: Simon Peyton-Jones
Cc: Carter Schonwald; Manuel Chakravarty; parallel-haskell; Mark Lentczner; GHC
Users List; ghc-devs@haskell.org; Edsko de Vries
Subject: Re: GHC 7.8 release?
On Sat, Feb 9, 2013 at 6:27 AM, Simon Peyton-Jones
mailto:simo...@microsoft.com>> wrote:
In short,
Chakravarty; Johan Tibell; Simon Peyton-Jones;
Mark Lentczner; andreas.voel...@gmail.com; Carter Schonwald;
kosti...@gmail.com; Edsko de Vries; ghc-devs@haskell.org; glasgow-haskell-users
Subject: Re: GHC 7.8 release?
We seem to be circling ever closer to consensus here! Yay!
I think the distinction of
| > *From:*Mark Lentczner [mailto:mark.lentcz...@gmail.com]
| > *Sent:* 09 February 2013 17:48
| > *To:* Simon Marlow; Manuel M T Chakravarty; Johan Tibell; Simon
| > Peyton-Jones; Mark Lentczner; andreas.voel...@gmail.com; Carter
| > Schonwald; kosti...@gmail.com; Edsko de Vries; ghc-de
| > You may ask what use is a GHC release that doesn't cause a wave of updates?
| And hence that doesn't work with at least some libraries. Well, it's a very
useful
| forcing function to get new features actually out and tested.
|
| But the way you test new features is to write programs tha
lbery [mailto:allber...@gmail.com]
Sent: 11 February 2013 01:15
To: Simon Peyton-Jones
Cc: Simon Marlow; Mark Lentczner; Manuel M T Chakravarty; kosti...@gmail.com;
glasgow-haskell-users; ghc-devs@haskell.org; Edsko de Vries
Subject: Re: GHC 7.8 release?
On Sun, Feb 10, 2013 at 4:02 PM, Simon P
Thanks for fixing.
You removed lookupType_mod from TrieMap. It was defined and exported but not
called. How did validate spot that? I'm sure there are quite a few such
functions in GHC.
Simon
| -Original Message-
| From: ghc-commits-boun...@haskell.org [mailto:ghc-commits-
| boun...
Richard
Thanks. I'm content for you, Iavor, Stephanie, Conor, Adam, Pedro, Dimitrios
(etc) to figure out what to do here, and merge to HEAD.
Simon
| -Original Message-
| From: ghc-commits-boun...@haskell.org [mailto:ghc-commits-
| boun...@haskell.org] On Behalf Of Richard Eisenberg
|
- Currently, the internals of GHC assign types like "0" the kind
GHC.TypeLits.Nat, so Nat and Symbol *must* remain in the GHC.TypeLits module.
Unfortunately, the plumbing around GHC.TypeLits.Unsafe want Nat and Symbol to
be defined in GHC.TypeLits.Internals. So, I created a TypeLits.hs-boot file
Andreas, Kazu, Johan
That is a truly monumental sequence of patches! Thank you all for working so
hard on making GHC better.
Better together! Onward and upward.
Simon
From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org] On
Behalf Of Johan Tibell
Sent: 12 February 2013 07:
Hang on... vector has an upstream repo; see
http://hackage.haskell.org/trac/ghc/wiki/Repositories
and in particular the "Upstream repo?" bullet.
So we may need to do more than push to the mirror?
Simon
| -Original Message-
| From: ghc-commits-boun...@haskell.org [mailto:ghc-commits-
| bo
Pedro: did you miss something?
This is breaking my build.
I have your last patch 12ba4321d34d646cf9040ad12810c4257d26ade9
Simon
url = http://darcs.haskell.org/libraries/time.git/
libraries/time/Data/Time/Calendar/Days.hs:30:9:
`typeOf' is not a (visible) method of class `Typeabl
f Of José Pedro Magalhães
Sent: 12 February 2013 13:49
To: Simon Peyton-Jones
Cc: ghc-devs@haskell.org
Subject: Re: Missing change?
Hi Simon,
I pushed to the wrong branch, but that should be fixed now. Does a ./sync-all
pull solve it?
Cheers,
Pedro
On Tue, Feb 12, 2013 at 1:47 PM, Simon Peyton-Jon
2013 15:08
| To: Simon Peyton-Jones
| Cc: ghc-devs@haskell.org
| Subject: Re: [commit: ghc] master: Fix Trac #7681. (7b098b6)
|
| I was working in a ghc tree that I thought was clean (i.e. was a
| checkout of HEAD), but evidently was not.
|
| In my other work, I needed to update lookupType_mod, but
I've had a look. As you say, the changes are modest.
For (2), I'd like to see a
Note [Overriding the GHC.Prim interface]
with the field decl for sOverridePrimIface in DynFlags, with enough commentary
to explain what is going on.
In particular, this Dyn
.
Simon
From: Iavor Diatchki [mailto:iavor.diatc...@gmail.com]
Sent: 12 February 2013 22:49
To: Simon Peyton-Jones
Cc: Richard Eisenberg; José Pedro Magalhães; ghc-devs
Subject: Re: RFC: Singleton equality witnesses
Hi Richard,
Thanks for pushing on this! The summary of my comments is this: I think
I believe Geoff is working on adding AVX. I expect he’d be interested in your
patches.
Simon
From: ghc-devs-boun...@haskell.org [mailto:ghc-devs-boun...@haskell.org] On
Behalf Of Carter Schonwald
Sent: 13 February 2013 05:59
To: Michael Baikov
Cc: ghc-devs@haskell.org
Subject: Re: Vector primo
Thanks for fixing Pedro
Our usual test-case nomenclature would be to use "T7631" as the test name. Not
worth changing now.
Simon
| -Original Message-
| From: ghc-tickets-boun...@haskell.org
[mailto:ghc-tickets-boun...@haskell.org]
| On Behalf Of GHC
| Sent: 13 February 2013 10:44
I would like to see base split up, but I am reluctant to invest the effort to
do it. I'm not going to do it myself, and Ian's time is so precious on many
fronts.
My guess is that it'll need someone else to take the lead, with advice from HQ.
Simon
| -Original Message-
| From: ghc
701 - 800 of 1819 matches
Mail list logo
