Re: Weak reference semantics - why does a dead weak ref keep its value alive?

2014-05-23 Thread Edward Z . Yang
Hello Luite, GHC's separation of weak references into keys and values is a generalization which can be useful to avoid space leaks; the motivation for the design is described in "Stretching the storage manager: weak pointers and stable names in Haskell". In particular, the variant of weak referen

Re: Weak reference semantics - why does a dead weak ref keep its value alive?

2014-05-26 Thread Edward Z . Yang
Excerpts from Luite Stegeman's message of 2014-05-23 17:11:30 -0700: > Actually it's not the same, since I think the finalizer should still be run > if the weak pointer object is unreachable (and it should run when the key > becomes unreachable). I think that's a legitimate point in the design spa

Re: Parallelizing the Weak Pointer Lock

2014-05-28 Thread Edward Z . Yang
Yes, this should be easy to fix, it just hasn't been done. Edward Excerpts from Carter Schonwald's message of 2014-05-28 11:21:30 -0700: > @Edwardk, ezyang has a ticket on this very topic! > https://ghc.haskell.org/trac/ghc/ticket/9075 > > (is that what you're thinking?) > > On Wed, May 28, 201

Re: segfault in RTS - can anyone help me tracking this bug down?

2014-05-28 Thread Edward Z . Yang
Hey Ömer, As a first guess, there were a few known segfaults fixed in the ghc-7.8 branch. Have you tried building GHCJS using this branch? Could be one of these three: https://ghc.haskell.org/trac/ghc/ticket/9001 https://ghc.haskell.org/trac/ghc/ticket/9045 https://ghc.haskell.org/t

Proposal: run GHC API tests on fast

2014-05-29 Thread Edward Z . Yang
Currently, most GHC API tests are not run on 'make fast', ostensibly because linking against the GHC API can take a while. I propose that change this, and run GHC API tests by default. Reasons: 1. The GHC API is closely tied a lot of internal structure of GHC, so it's very easy to make a change, t

Re: suspicious piece of code in RTS(Profiling.c) code

2014-06-02 Thread Edward Z . Yang
Hello Ömer, That does seem pretty suspicious. My interpretation is that ccs should just never be EMPTY_STACK. If we look at the calling codepaths, the only case that a NULL could be passed is if pushCostCentre is called with NULL ccs, but we only create these invocations in code generation and ne

Re: can a StgRhs have NoCCS when -prof is provided?

2014-06-05 Thread Edward Z . Yang
Yes, I think all NoCCS are removed in the SCCfinal pass. NoCCS is a convenient thing to fill in when STG is initially created. Edward Excerpts from Ömer Sinan Ağacan's message of 2014-06-05 09:59:36 -0700: > Hi all, > > Can a StgRhs have `NoCCS` as cost-centre stack when -prof is provided > whi

Re: Int-based lexer flag bitmask exhausted

2014-06-21 Thread Edward Z . Yang
As long as you check the performance impact on 32-bit, sounds good to me. Edward Excerpts from Herbert Valerio Riedel's message of 2014-06-21 11:09:44 +0100: > Hello Simon (et al.), > > While doing #9224[1] as a finger-exercise to extend the lexer to support > base-2 integer literals, I got stuc

Re: "No entry for "Haskell CPP command"" error with testsuite

2014-07-03 Thread Edward Z . Yang
I wonder if we should have some magic variable in the build system that induces a full rebuild, so if you push a patch which requires a rebuild you can bump the variable and let it know. Edward Excerpts from Carter Schonwald's message of 2014-07-03 17:20:44 +0100: > yay! :) > (i spent quite a bit

Re: a little phrustrated

2014-07-16 Thread Edward Z . Yang
Hello Richard, > 1) I had some untracked files in a submodule repo. I couldn't find a way to > get `arc diff` to ignore these, as they appeared to git to be a change in a > tracked file (that is, a change to a submodule, which is considered tracked). > `git stash` offered no help, so I had to d

Re: a little phrustrated

2014-07-18 Thread Edward Z . Yang
Excerpts from Jan Stolarek's message of 2014-07-17 08:35:19 +0100: > 1. Complaining about any untracked or uncommited changes in the source tree. > This is mostly > annoying. How can I tell arcanist to ignore such changes? Rant: I really > don't like tools that > try to be smarter than me and p

Re: Update Cabal submodule to HEAD (1.21)

2014-07-18 Thread Edward Z . Yang
The reason for this is that the builders do not have a sufficiently recent version of process, which Cabal has upgraded to depend on. Probably 'cabal update && cabal install process' should bring it up to date and make it working. Unfortunately, the build system bypasses Cabal for the bootstrap bu

Re: Update Cabal submodule to HEAD (1.21)

2014-07-20 Thread Edward Z . Yang
As long as we get Cabal to do a release before we cut a release, it should be fine, so all we need is for Cabal to take the patch. Edward Excerpts from Joachim Breitner's message of 2014-07-20 16:55:20 +0100: > Hi, > > Am Sonntag, den 20.07.2014, 16:58 +0200 schrieb Joachim Breitner: > > > > I s

Re: Fatal git error on .git/modules/libffi-tarballs

2014-07-20 Thread Edward Z . Yang
Hello Karel, You should blow away your copy (well, preserve the patches), upgrade your version of Git and then check out again. You've run into this bug: http://comments.gmane.org/gmane.comp.version-control.git/193492 Cheers, Edward Excerpts from Karel Gardas's message of 2014-07-20 18:55:

Re: Update Cabal submodule to HEAD (1.21)

2014-07-20 Thread Edward Z . Yang
Since this patch causes GHC HEAD to not bootstrap out of the box from GHC 7.6, I've reverted it for now. We'll have to cross this bridge sometime though. Edward Excerpts from Joachim Breitner's message of 2014-07-20 17:18:56 +0100: > Hi, > > Am Sonntag, den 20.07.2014, 17:08 +0100 schrieb Edwar

Multi-instance packages status report

2014-07-21 Thread Edward Z . Yang
Hello all, As you may have noticed, I've been knocking around GHC and Cabal the past few weeks. One of the tasks that has been on my list is essentially reimplementing Philipp Schuster's 2012 GSoC, with a few small but important architectural differences. Here is a status report of what is going

Re: Multi-instance packages status report

2014-07-22 Thread Edward Z . Yang
Excerpts from Joachim Breitner's message of 2014-07-22 08:23:22 +0100: > [Replying to the list, in case it was sent to me in private by accident] Oops, thanks. > thanks for the explanations, it makes it clear to me. > > Do the package key contain the flags used to compile dependencies? In > the

Re: Multi-instance packages status report

2014-07-22 Thread Edward Z . Yang
Excerpts from Simon Marlow's message of 2014-07-22 12:27:46 +0100: > (Replying to Edward) > > It's not clear to me why identical IPID would imply identical package > key. Can't two instances of a package compiled against different > dependencies still have identical ABIs? No, because the packa

Re: Update Cabal submodule to HEAD (1.21)

2014-07-24 Thread Edward Z . Yang
For the record, Cabal is now up-to-date, we're using a different patch which relaxes the version constraint on process so that 7.6 bootstraps. Cheers, Edward Excerpts from Joachim Breitner's message of 2014-07-21 08:22:32 +0100: > Hi, > > Am Sonntag, den 20.07.2014, 22:57 +0100 schrieb Edward Z.

Removing GHC's dependency on Cabal

2014-07-24 Thread Edward Z . Yang
Hello all, I know Duncan and SPJ have been keen on removing GHC's dependency on Cabal for some time now. Simon and I were chatting about the subject today, and we wanted to propose an alternative way of doing the remodularization. Here are diagrams of the proposals: http://web.mit.edu/~ezyang/Pu

Changing the -package dependency resolution algorithm

2014-07-24 Thread Edward Z . Yang
Right now, GHC has a very complex and hard to explain algorithm for picking packages from the package database when you give it a pile of -package/-package-id/-{hide,ignore,trust,distrust}-package flags. Roughly, it currently does something like this. 1. Concatenate all of the package databases in

Re: Changing the -package dependency resolution algorithm

2014-07-24 Thread Edward Z . Yang
Excerpts from Edward Z. Yang's message of 2014-07-24 15:57:05 +0100: > - It assumes *-hide-all-packages* at the beginning. This scheme > probably works less well without that: now we need some consistent > view of the database to start with. Actually, thinking about this, this dovetails nicel

Re: Changing the -package dependency resolution algorithm

2014-07-24 Thread Edward Z . Yang
available on all platforms ghc supports. > > John L. > > On Thu, Jul 24, 2014 at 11:12 PM, Edward Z. Yang wrote: > > > Excerpts from Edward Z. Yang's message of 2014-07-24 15:57:05 +0100: > > > - It assumes *-hide-all-packages* at the beginning. This scheme

Heads up: binary package db format changed (EOM)

2014-07-25 Thread Edward Z . Yang
___ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs

Re: phabricator issue with git submodules.

2014-07-26 Thread Edward Z . Yang
Hello Karel, When your submodules get updated, you need to add them to your commit (since the parent repository maintains pointers to the submodules). Then they will no longer show up as dirty and you can submit the Phabricator patch. Edward Excerpts from Karel Gardas's message of 2014-07-25 22:

Extending ghc-pkg to handle installed package IDs

2014-07-26 Thread Edward Z . Yang
Hello all, Since we're relaxing the constraint that a package ID correspond to exactly one installed package in the package database, it will now sometimes be necessary to query the package database using ghc-pkg for a specific installed package ID. At the moment, none of the commands support thi

Re: phabricator issue with git submodules.

2014-07-27 Thread Edward Z . Yang
hat D96 is > probably not includable in GHC HEAD since it points to currently > non-existing patches (in public libraries/unix + primitive). Am I right > that this works in this way? > > Thanks, > Karel > > On 07/26/14 09:39 PM, Edward Z. Yang wrote: > > Hello Kar

RE: [commit: ghc] master: Module reexports, fixing #8407. (7f5c1086)

2014-07-28 Thread Edward Z . Yang
Excerpts from Simon Peyton Jones's message of 2014-07-28 07:45:23 +0100: > Great stuff. Is this documented somewhere, notably in > http://www.haskell.org/ghc/docs/latest/html/users_guide/packages.html > for GHC, and somewhere in Cabal? You're right, I should add a line to the installed packa

RE: [commit: ghc] master: Module reexports, fixing #8407. (7f5c1086)

2014-07-28 Thread Edward Z . Yang
Excerpts from Edward Z. Yang's message of 2014-07-28 11:38:43 +0100: > You're right, I should add a line to the installed package > specification. We're already documented as far as Cabal is concerned. OK, this is done. ___ ghc-devs mailing list ghc-devs

Re: .gitignore of tests

2014-07-29 Thread Edward Z . Yang
My 2 cents: I don't really care what we do, as long as (1) it's obvious where to put new gitignore entries, and (2) the gitignore list is accurate. Perhaps the testsuite should learn about Git and offer to add the files it creates to gitignore? Cheers, Edward Excerpts from Herbert Valerio Riedel

Re: Interrupt interruptible foreign calls on HS exit

2014-07-30 Thread Edward Z . Yang
Recalling when I implemented this functionality, I think not interrupting threads in the exit sequence was just an oversight, and I think we could implement it. Seems reasonable to me. Edward Excerpts from Andreas Voellmy's message of 2014-07-30 23:49:24 +0100: > Hi GHCers, > > I've been lookin

Re: Changing the -package dependency resolution algorithm

2014-07-31 Thread Edward Z . Yang
> We need to rethink the shadowing behaviour. It is designed to handle > the case where we have the same PackageId (name + version) in two > different DBs (e.g. global and local). Shadowing takes the topmost one > of these (e.g. local, or rightmost -package-db flag). We can relax this > requ

Failing ASSERT in ghci044 and ghci047

2014-08-01 Thread Edward Z . Yang
CC'd Simon because you were touching these test-cases recently. You'll need to run with -DDEBUG, which is probably why validate didn't catch these. Maybe the ASSERT is out of date? => ghci044(ghci) 1719 of 4065 [0, 0, 0] [72/1822] cd ./ghci/sc

RE: [commit: ghc] master: Bump haddock.base max_bytes_used (8df7fea)

2014-08-04 Thread Edward Z . Yang
Yes, on my box, this test is now failing (because the stat is too good): Expectedhaddock.base(normal) max_bytes_used: 127954488 +/-10% Lower bound haddock.base(normal) max_bytes_used: 115159039 Upper bound haddock.base(normal) max_bytes_used: 140749937 Actual haddock.bas

Re: [commit: ghc] master: Bump haddock.base max_bytes_used (8df7fea)

2014-08-04 Thread Edward Z . Yang
Yes, plain validate. Cheers, Edward Excerpts from Joachim Breitner's message of 2014-08-04 12:08:31 +0100: > Hi, > > Am Montag, den 04.08.2014, 12:02 +0100 schrieb Edward Z.Yang: > > Yes, on my box, this test is now failing (because the stat is too good): > > > > Expectedhaddock.base(no

HEADS UP: linker symbols changed, need to recompile

2014-08-05 Thread Edward Z . Yang
I've just pushed a set of patches which change the linker symbols GHC chooses for object files; you'll need to make clean and rebuild your tree once you take these changes. Thanks, Edward ___ ghc-devs mailing list [email protected] http://www.haskell.

Re: Interrupt interruptible foreign calls on HS exit

2014-08-05 Thread Edward Z . Yang
hreaded(). Why are we using > > throwToSingleThreaded() in deleteThread() rather than throwTo()? Can I > > switch deleteThread() to use throwTo()? Or should I use throwTo() in > > deleteThread() only for the special case of BlockedOnCCall_Interruptible? > > Or should throwToSing

Re: linker_unload validate related issue (how to duplicate that?).

2014-08-06 Thread Edward Z . Yang
Austin and I chatted about it, and it's probably because the test is not creating ghcconfig.h early enough. I haven't looked further on how to fix it though. Edward Excerpts from Karel Gardas's message of 2014-08-06 10:16:20 +0100: > > Folks, > > I've noted that validate is failing on Linux re

Re: Improving the Int/Word story inside GHC

2014-08-07 Thread Edward Z . Yang
If it's strictly just in the codegen (and not affecting user code), seems fine to me. Edward Excerpts from Johan Tibell's message of 2014-08-07 12:10:37 +0100: > Inside GHC we mostly use Int instead of Word, even when we want to > represent non-negative values, such as sizes of things or indices

Re: Improving the Int/Word story inside GHC

2014-08-07 Thread Edward Z . Yang
t; Tibell > > *Sent:* 07 August 2014 12:21 > > *To:* Simon Marlow > > *Cc:* [email protected] > > *Subject:* Re: Improving the Int/Word story inside GHC > > > > > > > > Simon M, is the intention of ByteOff and WordOff that they should be able > &

New docs about tracking down regressions in GHC

2014-08-07 Thread Edward Z . Yang
I recently spent some time debugging a performance regression in Haddock, and came up with some useful tips and tricks for tracking these things down in GHC. I wrote them up here: https://ghc.haskell.org/trac/ghc/wiki/Debugging/ProfilingGhc Please take a look. Thanks, Edward ___

HEADS UP: Running cabal install with the latest GHC

2014-08-08 Thread Edward Z . Yang
Hey all, SPJ pointed out to me today that if you try to run: cabal install --with-ghc=/path/to/inplace/bin/ghc-stage2 with the latest GHC HEAD, this probably will not actually work, because your system installed version of Cabal is probably too old to deal with the new package key stuff in H

Re: HEADS UP: Running cabal install with the latest GHC

2014-08-08 Thread Edward Z . Yang
ime, > etc). Which are the patches in question. Can they easily be cherry-picked > onto the 1.20 branch? Are there any risk of breakages? > > On Fri, Aug 8, 2014 at 2:00 PM, Edward Z. Yang wrote: > > > Hey all, > > > > SPJ pointed out to me today that if

Re: Moving Haddock *development* out of GHC tree

2014-08-13 Thread Edward Z . Yang
In an ideal world, all GHC developers would also think about how to add Haddock support for the wonderful features they are adding, and code them up themselves. In practice, Haddock support has never stopped a feature from getting into GHC, but I think people who do add features should also be wil

Re: Unique as special boxing type & hidden constructors

2014-08-15 Thread Edward Z . Yang
The definition dates back to 1996, so it seems plausible that newtype is the way to go now. Edward Excerpts from p.k.f.holzenspies's message of 2014-08-15 11:52:47 +0100: > Dear all, > > > I'm working with Alan to instantiate everything for Data.Data, so that we can > do better SYB-traversals

Re: Partial recompilation of libraries

2014-08-19 Thread Edward Z . Yang
Probably, building an optimized stage1, skip building stage2 and get nofib to be compiled with the stage1 compiler. I'm not sure off the top of my head how to do the last step. Edward Excerpts from David Feuer's message of 2014-08-19 03:21:49 +0100: > I'd like to try out a bunch of little change

Re: Proposal: run GHC API tests on fast

2014-08-22 Thread Edward Z . Yang
OK, I've gone ahead and done this. Edward Excerpts from Edward Z. Yang's message of 2014-05-30 01:55:35 +0100: > Currently, most GHC API tests are not run on 'make fast', > ostensibly because linking against the GHC API can take a while. > I propose that change this, and run GHC API tests by defa

Re: Proposal: run GHC API tests on fast

2014-08-23 Thread Edward Z . Yang
I'll go ahead and try to reproduce. Sounds like a bug! Excerpts from Joachim Breitner's message of 2014-08-23 15:44:48 +0100: > Hi Edward, > > Am Freitag, den 22.08.2014, 18:01 +0100 schrieb Edward Z.Yang: > > OK, I've gone ahead and done this. > > I’m seeing errors like this on travis, with DEB

Re: Proposal: run GHC API tests on fast

2014-08-23 Thread Edward Z . Yang
I couldn't reproduce this error on x86_64 with BuildFlavour = devel2. Is perhaps parallelism involved? Edward Excerpts from Joachim Breitner's message of 2014-08-23 15:44:48 +0100: > Hi Edward, > > Am Freitag, den 22.08.2014, 18:01 +0100 schrieb Edward Z.Yang: > > OK, I've gone ahead and done th

Re: Does the 'stage=2' setting not work anymore in build.mk?

2014-08-29 Thread Edward Z . Yang
I don't see any relevant change in the last week. I'll give it a try and see if I can reproduce. Edward Excerpts from Dr. ERDI Gergo's message of 2014-08-29 12:44:07 +0100: > Hi, > > I tried setting 'stage=2' in my mk/build.mk file, but the stage 1 compiler > is still getting rebuilt (and of c

Re: Does the 'stage=2' setting not work anymore in build.mk?

2014-08-29 Thread Edward Z . Yang
OK, it's definitely worked for me in that time. Do you have mk/are-validating.mk in your tree? Also do try on a fresh working copy. Edward Excerpts from Dr. ERDI Gergo's message of 2014-08-29 13:01:44 +0100: > On Fri, 29 Aug 2014, Edward Z. Yang wrote: > > > I don't

Re: Does the 'stage=2' setting not work anymore in build.mk?

2014-08-29 Thread Edward Z . Yang
are-validating.mk flips GHC tree into "validating mode", which makes it ignore mk/build.mk. Remember to delete it when you are done validating. Edward Excerpts from Dr. ERDI Gergo's message of 2014-08-29 13:14:04 +0100: > On Fri, 29 Aug 2014, Edward Z. Yang wrote: > &g

Re: Moving Haddock *development* out of GHC tree

2014-08-29 Thread Edward Z . Yang
Hello Herbert, I think the pre-commit hook needs to be adjusted; I used to have push rights on master, but I cannot seem to push to ghc-head. Thanks, Edward Excerpts from Herbert Valerio Riedel's message of 2014-08-16 16:34:46 +0100: > On 2014-08-16 at 16:59:51 +0200, Mateusz Kowalczyk wrote: >

HEADS UP: full rebuild necessary

2014-08-29 Thread Edward Z . Yang
Duncan has landed his changes to remove GHC's dep on Cabal, so you'll need to do a clean and full rebuild once you pull from master. Cheers, Edward ___ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs

Re: HEADS UP: full rebuild necessary

2014-08-29 Thread Edward Z . Yang
Yes, this is a bug, it looks like the Windows code bitrotted. Could you go ahead and fix them (looks straightforward) and post your patch? Thanks, Edward Excerpts from Páli Gábor János's message of 2014-08-29 17:17:47 +0100: > Hi Edward, > > 2014-08-29 16:11 GMT+02:00

Re: build fixes

2014-08-29 Thread Edward Z . Yang
The ghc-api one is a known issue, I've been meaning to fix it but haven't gotten around to it (the ghc-api test doesn't like being run in parallel.) Edward Excerpts from Gabor Greif's message of 2014-08-29 19:40:58 +0100: > Phabricator complains about these two: > > Unexpected failures: >

Re: Proposal: run GHC API tests on fast

2014-09-02 Thread Edward Z . Yang
I pushed a fix for the tests in ghc-api. Edward Excerpts from Reid Barton's message of 2014-08-23 20:07:40 +0200: > I have seen this too just running "make THREADS=8". Looks like it's because > the other tests in this directory are cleaning too aggressively. From the > Makefile: > > ... > clean:

Re: Unique as special boxing type & hidden constructors

2014-09-04 Thread Edward Z . Yang
Newtype of Int, to be clear. Edward Excerpts from Simon Marlow's message of 2014-09-04 11:49:39 +0200: > FastInt = Int#, so newtype doesn't work here. > > Cheers, > Simon > > On 15/08/2014 14:01, Edward Z. Yang wrote: > > The definition dates back t

Re: AMP performance effect

2014-09-12 Thread Edward Z. Yang
Hello Joachim, You are probably seeing the effects of this bug for cryptarithm1: https://ghc.haskell.org/trac/ghc/ticket/9570#ticket Cheers, Edward Excerpts from Joachim Breitner's message of 2014-09-12 09:52:14 -0400: > Hi, > > nothing overly exciting, but since I am running this ghcspeed

Re: HEAD fails to bootstrap with HEAD?

2014-09-12 Thread Edward Z. Yang
Hello Karel, When this commit makes it in https://github.com/haskell/cabal/commit/8d59dc9fba584a9fdb810f4d84f7f3ccb089dd08 it will work; but updating Cabal to HEAD is blocking on https://ghc.haskell.org/trac/ghc/ticket/9583 Cheers, Edward Excerpts from Karel Gardas's message of 2014-09-08 03:21:

Re: Compiling on Windows

2014-09-15 Thread Edward Z. Yang
Austin Seipp has taken responsibility for this failure (it's AMP related); he's working on a fix. Edward Excerpts from Neil Mitchell's message of 2014-09-15 16:13:23 -0400: > Hi, > > At ICFP Simon Peyton Jones encouraged me to compile GHC on Windows. I > did so in the past about 5 years ago, and

Should we occasionally merge haddock master into ghc-head?

2014-09-18 Thread Edward Z. Yang
Hello Mateusz and all, With ghc-head and master being developed concurrently, I am wondering if GHC developers should be allowed to occasionally merge in changes from master. Seems like a good service which would help Mateusz out a bit when it comes time to update master for the next version GHC.

Re: Should we occasionally merge haddock master into ghc-head?

2014-09-18 Thread Edward Z. Yang
OK, thanks for the detailed response! Here's to hoping that the eventual cherry-picking is not too terrible. Cheers, Edward Excerpts from Mateusz Kowalczyk's message of 2014-09-18 21:21:59 -0700: > On 09/18/2014 10:30 PM, Edward Z. Yang wrote: > > Hello Mateusz and all, >

Re: How to build the user guide?

2014-09-25 Thread Edward Z. Yang
Maybe try BUILD_DOCBOOK_HTML=YES Edward Excerpts from Jan Stolarek's message of 2014-09-25 01:26:35 -0700: > Is there a way to build the user guide without having to build everything? > The wiki [1] suggests > > cd docs/users_guide > make html stage=0 FAST=YES > > but that doesn't seem to work

Re: Linux failures

2014-09-26 Thread Edward Z. Yang
The user001 is tracked by this bug: https://ghc.haskell.org/trac/ghc/ticket/1487 Edward Excerpts from Simon Peyton Jones's message of 2014-09-26 04:37:59 -0700: > I am getting one persistent failure on Linux: > > > => user001(normal) 5 of 29 [0, 0, 0] > > cd . && '/5playpen/simonpj/HEAD-2/

Re: HEADS UP: Running cabal install with the latest GHC

2014-09-27 Thread Edward Z. Yang
are no longer supported. So yes, you will need a new version of cabal-install for GHC HEAD. Cheers, Edward Excerpts from Reid Barton's message of 2014-09-27 09:26:08 -0700: > On Fri, Aug 8, 2014 at 8:00 AM, Edward Z. Yang wrote: > > > Hey all, > > > > SPJ pointed ou

Re: Feedback request for #9628 AST Annotations

2014-09-29 Thread Edward Z. Yang
Excerpts from Alan & Kim Zimmerman's message of 2014-09-29 13:38:45 -0700: > 1. Is this change too big, should I scale it back to just update the >HsSyn structures and then lock it down to Located SrcSpan for all >the rest? I don't claim to speak for the rest of the GHC developers, but I t

Re: Feedback request for #9628 AST Annotations

2014-09-29 Thread Edward Z. Yang
Excerpts from Richard Eisenberg's message of 2014-09-29 19:04:28 -0700: > What do other languages do? Do we know what, say, Agda does to get such tight > coupling with an editor? Does, say, Eclipse have such a chummy relationship > with a Java compiler to do its refactoring, or is that separately

Re: Build time regressions

2014-09-30 Thread Edward Z. Yang
sed by > > Update Cabal submodule & ghc-pkg to use new module re-export types > authorEdward Z. Yang > https://git.haskell.org/ghc.git/commit/4b648be19c75e6c6a8e6f9f93fa12c7a4176f0ae > > and only halfway mitigated by > > Update `binary` submodule in an attemp

Re: cabal directory structure under /libraries/ for a lib that uses Rts.h

2014-10-01 Thread Edward Z. Yang
Well, which library should it be part of? Add it to the exposed-modules list there and it should get compiled. Edward Excerpts from Ömer Sinan Ağacan's message of 2014-09-30 22:54:52 -0700: > Hi all, > > I'm trying to implement https://ghc.haskell.org/trac/ghc/ticket/5364 , > I did the coding pa

Re: Windows build broken (again)

2014-10-02 Thread Edward Z. Yang
Maybe it's the Python 3 patches. Excerpts from Brandon Allbery's message of 2014-10-02 14:00:26 -0700: > On Thu, Oct 2, 2014 at 4:39 PM, Simon Peyton Jones > wrote: > > > Presumably this is some kind of Windows escape-character problem. But it > > has worked fine for years, so what is going on?

Re: cabal directory structure under /libraries/ for a lib that uses Rts.h

2014-10-02 Thread Edward Z. Yang
Oh, in this case, it's likely because we're not actually exporting the symbol. Check Linker.c, esp the calls to SymI_HasProto. Edward Excerpts from Ömer Sinan Ağacan's message of 2014-10-02 02:34:35 -0700: > > Well, which library should it be part of? Add it to the exposed-modules > > list there

Re: GitHub pull requests

2014-10-06 Thread Edward Z. Yang
To be completely clear, arc does not FORCE you to squash commits. You can simply arc diff each commit in question seperately. Now, it is certainly true that arc does not make this easy to do. See: https://secure.phabricator.com/T5636 Edward Excerpts from Andreas Abel's message of 2014-10-06 03:2

Re: RFC: Source-markup language for GHC User's Guide

2014-10-07 Thread Edward Z. Yang
I personally don't have a problem writing Docbook, and one problem with moving to lightweight markup is it becomes a bit harder to keep your markup semantic. Edward Excerpts from Herbert Valerio Riedel's message of 2014-10-07 09:20:43 -0600: > Hello GHC Developers & GHC User's Guide writers, > >

Re: Tentative high-level plans for 7.10.1

2014-10-08 Thread Edward Z. Yang
Excerpts from Herbert Valerio Riedel's message of 2014-10-08 00:59:40 -0600: > However, should GHC 7.8.x turn out to become a LTS-ishly maintained > branch, we may want to consider converting it to a similiar Git > structure as GHC HEAD currently is, to avoid having to keep two > different sets of

Re: Problems adding a custom section to a Windows binary

2014-10-12 Thread Edward Z. Yang
My suggestion is to have GHC spit some assembler that it is already generating, and see if custom sections are used at any point. Edward Excerpts from Gintautas Miliauskas's message of 2014-10-12 15:28:40 -0700: > This is slightly offtopic, but maybe some of the Windows folks know an > answer to

Re: Merging a branch

2014-10-16 Thread Edward Z. Yang
You might try and run 'git rebase' (you can run 'git rebase --abort' if things get too hairy), which will remove the merge patches and put your patchset on HEAD. Unfortunately, if you've done nontrivial work resolving merge conflicts, rebase doesn't really know how to take advantage of that, so yo

A simpler remove HEAP_ALLOCED check

2014-10-19 Thread Edward Z. Yang
Hey Simon, I was chatting with Sergio Benitez about GHC's HEAP_ALLOCED woes and he suggested an alternate fix which I'm not sure we have considered. The idea is simple: pre-assign some portion of the virtual address space for the dynamic heap, and then have HEAP_ALLOCED check if it's inside this

Re: Making GHCi awesomer?

2014-10-20 Thread Edward Z. Yang
Excerpts from Eric Seidel's message of 2014-10-20 09:32:41 -0700: > I read recently that Rust has some sort of symbol-mangling in place to allow > multiple versions of the same library to co-exist within a single build. > > How feasible would it be to add this feature to GHC? At a first glance it

Re: `arc` changes my commit messages

2014-10-21 Thread Edward Z. Yang
For a while, I tried working around this using a "branch summary patch", which is just an empty commit I kept on top of the patchset which then Phabricator would hit. It was really annoying and Git kept swallowing up. So I eventually gave up and just arc diff'd each patch in the set individually.

Re: [commit: ghc] master: Implementation of hsig (module signatures), per #9252 (aa47995)

2014-10-27 Thread Edward Z. Yang
[email protected]: > > >--- > > > > commit aa4799534225e3fc6bbde0d5e5eeab8868cc3111 > > Author: Edward Z. Yang > > Date: Thu Aug 7 18:32:12 2014 +0100 > > > > Implementation of hsig (module signatures), per #9252 > > > t

Re: emailing to Trac?

2014-10-29 Thread Edward Z. Yang
I guess maybe we could install this plugin: https://oss.trac.surfsara.nl/email2trac Edward Excerpts from Richard Eisenberg's message of 2014-10-29 08:52:01 -0700: > Hi devs, > > There's a feature I've wanted for some time, and I don't see a good reason > not to ask: Is it possible to email

Re: How to treat testsuite timeout as success?

2014-11-01 Thread Edward Z. Yang
Probably the easiest thing to do is write a little stub program which calls the actual test with a timeout. Edward Excerpts from Merijn Verstraaten's message of 2014-11-01 16:01:35 -0700: > Ola! > > I was trying to re-re-fix https://ghc.haskell.org/trac/ghc/ticket/8089 and > add a test-case for

Re: package hashes

2014-11-03 Thread Edward Z. Yang
So, there seem to be two things going on here: 1. For some reason, your checkout thinks that the package key is unambiguous, whereas all the checkouts I've run it on think it is ambiguous, and thus must be qualified. I actually can't reproduce your version of the error, but it seems harmless. I t

Re: Major commit to the constraint solver

2014-11-03 Thread Edward Z. Yang
Excerpts from Simon Peyton Jones's message of 2014-11-03 09:28:49 -0800: > * I get an odd wibble in safePk01, see this > thread > with Edward Hello Simon, Here's what you should do for the safePkg01 wibble: 1. Ap

RE: Can't install packages with my inplace compiler

2014-11-04 Thread Edward Z. Yang
Yeah, that's too old; and there's not been a release of a Cabal which is new enough to do what you want. Try: git clone https://github.com/haskell/cabal cd cabal/Cabal cabal install cd ../cabal-install cabal install Edward Excerpts from Simon Peyton Jones's message of 2014-1

Re: Building head with head

2014-11-05 Thread Edward Z. Yang
Hello Moritz, I tried to do this relatively recently and recorded the problems here: https://ghc.haskell.org/trac/ghc/ticket/9652 I didn't finish diagnosing the further error. Edward Excerpts from Moritz Angermann's message of 2014-11-04 10:28:18 -0800: > Hi, > > today I tried to build head

loadInterfaceForModule

2014-11-05 Thread Edward Z. Yang
Hello Gergely, I was cleaning up LoadIface and I noticed in commit 69fa2e558d56178d33950df815c3233606b0d44e Author: Austin Seipp Date: Fri Nov 1 22:15:53 2013 -0500 Add support for module reification (#1480) Authored-by: Gergely Risko Signed-off-by: Aust

Re: 7.10 STABLE freeze date

2014-11-07 Thread Edward Z. Yang
Hey Austin, Simon and I have been talking about fixing #8427 (https://ghc.haskell.org/trac/ghc/ticket/8427), but our current plan of action will involve interface file changes at least and maybe some invasive changes. A heads up! Edward Excerpts from Austin Seipp's message of 2014-11-07 13:35:38

Re: Question about `validate` workflow

2014-11-08 Thread Edward Z. Yang
It does work, and it's very useful. Edward Excerpts from Thomas Miedema's message of 2014-11-08 14:35:27 -0800: > > > > I was wondering how do other devs `validate` their tree? In particular, I > > just merged a whole bunch of stuff and am validating things. However, > > every time something go

Partial type signatures validate failures

2014-11-28 Thread Edward Z. Yang
I get these fails: TEST="overloadedlistsfail03 overloadedlistsfail05 sigof02dt sigof02dmt annfail07 FD3 T5689 T7696 T5978 FDsFromGivens tcfail178 tcfail014 T8603 tcfail143 tcfail200 T9612 tcfail159 T7368 T5570 T6069 T5691 T7368a T8262 T7851 T8392a T5246 tcfail123 tcfail122 tcfail090 mc24 mc25 m

Can we rename completion to autocomplete

2014-12-05 Thread Edward Z. Yang
I keep typing 'comp' and expecting it to autocomplete to compiler, and this is stopped working. Can we rename the 'completion' directory to something? How about 'autocomplete'? Thanks, Edward ___ ghc-devs mailing list [email protected] http://www.hask

Re: Linker problem with HPC and TemplateHaskell

2014-12-19 Thread Edward Z. Yang
Sounds like a bug. File a ticket? If you can see if you can repro on GHC HEAD that would also be helpful. Edward Excerpts from David Turner's message of 2014-12-19 16:24:25 -0500: > Hi, > > I'm getting the following error message when compiling a Yesod > application (which uses Template Haskell

Re: ANNOUNCE: GHC 7.10.1 Release Candidate 1

2014-12-27 Thread Edward Z. Yang
Hello lonetiger, I don't think any relevant logic changed in 7.10; however, this commit may be relevant: commit 8fb03bfd768ea0d5c666bbe07a50cb05214bbe92 Author: Ian Lynagh Sun Mar 18 11:42:31 2012 Committer: Ian Lynagh Sun Mar 18 11:42:31 2012 Original File: compiler

Re: Compiling nofib-analyse

2014-12-30 Thread Edward Z. Yang
Pretty sure it's the aptly named 'html'. https://hackage.haskell.org/package/html I can't remember the last time I used the HTML reporting capability, so I'd be happy about removing it. Edward Excerpts from Simon Peyton Jones's message of 2014-12-30 07:03:17 -0500: > When building nofib-analyse

Re: ANNOUNCE: GHC 7.10.1 Release Candidate 1 - problem with latest cabal-install

2015-01-01 Thread Edward Z. Yang
If you still have your old GHC around, it will be much better to compile the newest cabal-install using the *old GHC*, and then use that copy to bootstrap a copy of the newest cabal-install. Edward Excerpts from George Colpitts's message of 2015-01-01 12:08:44 -0500: > ​$ ​ > cabal update > Downl

Re: ANNOUNCE: GHC 7.10.1 Release Candidate 1 - problem with latest cabal-install

2015-01-01 Thread Edward Z. Yang
tion index > /Users/gcolpitts/Library/Haskell/share/doc/index.html > > On Thu, Jan 1, 2015 at 2:54 PM, Edward Z. Yang wrote: > > > If you still have your old GHC around, it will be much better to > > compile the newest cabal-install using the *old GHC*, and then > > us

Re: Compiling nofib-analyse

2015-01-02 Thread Edward Z. Yang
Attached is a patch which axes HTML support in nofib-analyse. I would Phab it but I don't know how to do that for submodules. Maybe we should drop the LaTeX support too! Edward Excerpts from Edward Z. Yang's message of 2014-12-30 19:10:56 -0500: > Pretty sure it's the aptly named 'html'. > https

Re: GHC 7.4.2 on Ubuntu Trusty

2015-01-04 Thread Edward Z. Yang
ernative into the GHC sources. Edward Excerpts from Herbert Valerio Riedel's message of 2015-01-04 00:22:28 -0800: > Hello Edward, > > On 2015-01-04 at 08:54:58 +0100, Edward Z. Yang wrote: > > [...] > > > There are also some changes to hoopl, transformers and hpc

RE: Compiling nofib-analyse

2015-01-05 Thread Edward Z. Yang
Simon > > | -Original Message- > | From: Edward Z. Yang [mailto:[email protected]] > | Sent: 02 January 2015 21:58 > | To: Simon Peyton Jones; [email protected] > | Subject: Re: Compiling nofib-analyse > | > | Attached is a patch which axes HTML support in nofib-a

  1   2   3   4   >