- ghc-devs - Haskell.org

RE: Windows breakage
by Simon Peyton Jones 21 Nov '14

21 Nov '14

Hmm. When I got this libraries\hpc\Trace\Hpc\Mix.hs:3:14: Warning: 'Trace.Hpc.Mix' is marked as Trustworthy but has been inferred as safe! I changed "Trustworthy" to "Safe". But then I got libraries\hpc\Trace\Hpc\Mix.hs:24:1: Data.Time: Can't be safely imported! The module itself isn't safe. This seems unhelpful. After all it's been "inferred as safe". What should I do? Thanks. Simon From: Simon Peyton Jones Sent: 14 November 2014 16:51 To: ghc-devs(a)haskell.org Subject: Windows breakage This breakage didn't use to happen. Might someone fix it? Thanks. For now I'm going through changing a dozen "Trustworthy" to "Safe". Is that right? Simon librariesWin32SystemWin32Console.hsc:2:14: Warning: 'System.Win32.Console' is marked as Trustworthy but has been inferred as safe! <no location info>: Failing due to -Werror. libraries/Win32/ghc.mk:4: recipe for target 'libraries/Win32/dist-install/build/System/Win32/Console.o' failed

4 4

GHC filepath sync
by Neil Mitchell 21 Nov '14

21 Nov '14

Hi, As part of the forthcoming GHC release, I assume the filepath library will be sync'd to the latest version in the GitHub repo? When will that sync happen? Who will do the sync? When is the last time I can make changes that go into GHC 7.10? What should I be doing to help? As this is my first time, any details would be most appreciated. When the library is next sync'd, the filepath library will need to be removed from the GHC test suite. The reason is mostly pragmatic - I have good coverage of a library which is entirely pure list manipulations, and the GHC test infrastructure slowed down improving the tests, while gaining nothing. In particular, GHC has been testing the library for years, but the tests got turned off about 4 years ago, so there were (non-critical) test failures that went unspotted for years. Thanks, Neil

2 2

HEADS UP: haskell{98,2010} and old-{time,locale} deleted
by Austin Seipp 21 Nov '14

21 Nov '14

Hi all, When you update your trees, I'll have pushed D510 and D511, which remove the aforementioned libraries. After updating, you can just delete the repositories since git status will alert you about them now: $ rm -rf libraries/old-time libraries/old-locale libraries/haskell98 libraries/haskell2010 I'll be updating the users manual soon as I mentioned earlier this week. -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

3 4

T7220a failing
by Joachim Breitner 21 Nov '14

21 Nov '14

Hi, I observe --- /dev/null 2014-11-21 13:30:25.126538446 +0000 +++ ./typecheck/should_compile/T7220a.comp.stderr 2014-11-21 13:58:27.078240760 +0000 @@ -0,0 +1,14 @@ + +T7220a.hs:17:6: + Could not deduce (C a b) + from the context (C a0 b, TF b ~ Y) + bound by the type signature for f :: (C a0 b, TF b ~ Y) => b + at T7220a.hs:17:6-44 + Possible fix: + add (C a b) to the context of + the type signature for f :: (C a0 b, TF b ~ Y) => b + In the ambiguity check for the type signature for â€˜fâ€™: + f :: forall a. (forall b. (C a b, TF b ~ Y) => b) -> X + To defer the ambiguity check to use sites, enable AllowAmbiguousTypes + In the type signature for â€˜fâ€™: + f :: (forall b. (C a b, TF b ~ Y) => b) -> X *** unexpected failure for T7220a(normal) https://s3.amazonaws.com/archive.travis-ci.org/jobs/41712832/log.txt probably caused by one of the commits pushed by SPJ in the range b0dd34756613...c5a39389ea06 Greetings, Joachim -- Joachim “nomeata” Breitner mail(a)joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata(a)joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nomeata(a)debian.org

1 0

RE: [commit: ghc] master: Rejig builders for pattern synonyms, especially unlifted ones (e876208)
by Simon Peyton Jones 21 Nov '14

21 Nov '14

Heads up: this commit means you need to blow away all your .hi files. Simon | -----Original Message----- | From: ghc-commits [mailto:ghc-commits-bounces@haskell.org] On Behalf | Of git(a)git.haskell.org | Sent: 21 November 2014 13:03 | To: ghc-commits(a)haskell.org | Subject: [commit: ghc] master: Rejig builders for pattern synonyms, | especially unlifted ones (e876208) | | Repository : ssh://git@git.haskell.org/ghc | | On branch : master | Link : | http://ghc.haskell.org/trac/ghc/changeset/e876208117a34fb58f7f1e470de2 | f954b3ca303d/ghc | | >--------------------------------------------------------------- | | commit e876208117a34fb58f7f1e470de2f954b3ca303d | Author: Simon Peyton Jones <simonpj(a)microsoft.com> | Date: Fri Nov 21 10:04:09 2014 +0000 | | Rejig builders for pattern synonyms, especially unlifted ones | | When a pattern synonym is for an unlifted pattern, its "builder" | would | naturally be a top-level unlifted binding, which isn't allowed. | So we | give it an extra Void# argument. | | Our Plan A involved then making *two* Ids for these builders, with | some consequential fuss in the desugarer. This was more pain than | I | liked, so I've re-jigged it. | | * There is just one builder for a pattern synonym. | | * It may have an extra Void# arg, but this decision is signalled | by the Bool in the psBuilder field. | | I did the same for the psMatcher field. | | Both Bools are serialised into interface files, so there is | absolutely no doubt whether that extra Void# argument is | required. | | * I renamed "wrapper" to "builder". We have too may "wrappers" | | * In order to deal with typecchecking occurrences of P in | expressions, | I refactored the tcInferId code in TcExpr. | | All of this allowed me to revert 5fe872 | "Apply compulsory unfoldings during desugaring, except for | `seq` which is special." | which turned out to be a rather messy hack in DsBinds | | | >--------------------------------------------------------------- | | e876208117a34fb58f7f1e470de2f954b3ca303d | compiler/basicTypes/PatSyn.lhs | 207 +++++++++++++++----------- | ---- | compiler/deSugar/DsExpr.lhs | 22 +--- | compiler/deSugar/DsUtils.lhs | 10 +- | compiler/iface/BuildTyCl.lhs | 8 +- | compiler/iface/IfaceSyn.lhs | 12 +- | compiler/iface/MkIface.lhs | 9 +- | compiler/iface/TcIface.lhs | 65 ++-------- | compiler/typecheck/TcBinds.lhs | 14 +-- | compiler/typecheck/TcExpr.lhs | 162 ++++++++---------------- | compiler/typecheck/TcPatSyn.lhs | 237 +++++++++++++++++++++----- | --------- | compiler/typecheck/TcPatSyn.lhs-boot | 4 +- | compiler/typecheck/TcRnMonad.lhs | 5 + | 12 files changed, 338 insertions(+), 417 deletions(-) | | Diff suppressed because of size. To see it, use: | | git diff-tree --root --patch-with-stat --no-color --find-copies- | harder --ignore-space-at-eol --cc | e876208117a34fb58f7f1e470de2f954b3ca303d | _______________________________________________ | ghc-commits mailing list | ghc-commits(a)haskell.org | http://www.haskell.org/mailman/listinfo/ghc-commits

1 0

optllvm broken on master?
by Dr. ERDI Gergo 21 Nov '14

21 Nov '14

Hi, Tests fail on master when run the optllvm way, e.g.: /usr/bin/opt: /tmp/ghc16190_0/ghc16190_2.ll:611:25: error: expected 'global' or 'constant' @newCAF$alias = private alias i8* @newCAF I think it's the change in d87fa34: index 7307725..cdc407c 100644 --- a/compiler/llvmGen/Llvm/PpLlvm.hs +++ b/compiler/llvmGen/Llvm/PpLlvm.hs @@ -80,7 +80,7 @@ ppLlvmGlobal (LMGlobal var@(LMGlobalVar _ _ link x a c) dat) = const_link = case c of Global -> ppr link <+> text "global" Constant -> ppr link <+> text "constant" - Alias -> text "alias" <+> ppr link + Alias -> ppr link <+> text "alias" in ppAssignment var $ const_link <+> rhs <> sect <> align $+$ newLine -- .--= ULLA! =-----------------. \ http://gergo.erdi.hu \ `---= gergo(a)erdi.hu =-------' If it ain't broke, I can fix it.

3 4

HEADS UP: Interface file format change
by Jan Stolarek 20 Nov '14

20 Nov '14

I just pushed a large commit that changes format of interface files. This means doing a full rebuild once you pull it. Janek

1 0

Phab + submodules
by Jan Stolarek 20 Nov '14

20 Nov '14

I made changes to a submodule but `arc diff` did not pick these up. This means that: a) Harbormaster build fails b) revision cannot be landed using `arc land` Is there a way around these? Janek

1 0

Daily documentation build?
by Joachim Breitner 20 Nov '14

20 Nov '14

Hi, a while ago someone said that we have daily builds of the documentation. But... * it is slightly tricky to find it. Starting from https://ghc.haskell.org/trac/ghc/wiki/ I had to follow the “Guilde is also availble” link about daily builds, and then the link from the summary. Ok if one knows where to look, but hard to discover by itself. * it seems that they are not built any more. http://haskell.inf.elte.hu/docs/ lists Aug-18 as the latest. Having that would have made it easier for me to review the state of the docs on flags that Jan is writing about. Greetings, Joachim -- Joachim “nomeata” Breitner mail(a)joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata(a)joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nomeata(a)debian.org

6 11

GHC Weekly News - 2014/11/18
by Mikolaj Konarski 19 Nov '14

19 Nov '14

Austin got caught in a rescue operation (which seems to have succeeded, given that haskell.org is up again), so I'm posting his writeup for the GHC Weekly News, straight from the blog post: https://ghc.haskell.org/trac/ghc/blog/weekly20141118 ----------- Hello *, Once more we have the GHC Weekly news! This one is a bit late due to Austin being in limbo unexpectedly for a few days last week. (The next one will of course come again on Friday to keep things straight.) With that out of the way, let's see what exactly is going on: The STABLE freeze is happening at the end of this week! That means if you have something you want to get in, try to get people aware of it! Austin (yours truly) has a backed up review queue it would seem, but hopes to clear a bunch of it out before then. Simon and Gergo started a whole bunch of discussion about type signatures for pattern synonyms. There is a surprising amount of content to talk about here for something that might seem simple: https://www.haskell.org/pipermail/ghc-devs/2014-November/007066.html Herbert Valerio Riedel has finally landed integer-gmp2, AKA Phab:D86, which implements a complete overhaul of the integer-gmp library. This library will be switched on by default in GHC 7.10.1, which means the integer-gmp library version will have a super-major bump (version 1.0.0.0). This is the beginning of a longer-term vision for more flexible Integer support in GHC, as described by Herbert on the design page: https://ghc.haskell.org/trac/ghc/wiki/Design/IntegerGmp2 This implementation also fixes a long standing pain point where GHC would hook GMP allocations to exist on the GHC heap. Now GMP is just called to like any FFI library. Jan Stolarek made a heads up to help out GHC newcomers: if you see a ticket that should be easy, please tag it with the newcomer keyword! This will let us have a live search of bugs that new developers can take over. (Incidentally, Joachim mentions this is the same thing Debian is doing in their bug tracker): https://www.haskell.org/pipermail/ghc-devs/2014-November/007313.html Merijn Verstraaten has put forward a proposal for more flexible literate style Haskell file extensions. There doesn't seem to be any major opposition, just some questions about the actual specification and some other ramifications: https://www.haskell.org/pipermail/ghc-devs/2014-November/007319.html Facundo Domínguez posed a question about CAFs in the GC, which Jost Berthold was fairly quick to reply to: https://www.haskell.org/pipermail/ghc-devs/2014-November/007353.html Adam Gundry, Eric Seidel, and Iavor Diatchki have grouped together to get a new, unexpected feature into 7.10: type checking plugins. Now, GHC will be able to load a regular Haskell package as a plugin during the compilation process. Iavor has a work-in-progress plugin that solves constraints for type-level natural numbers using a SMT solver. The code review from everyone was published in Phab:D489. Austin opened up a discussion about the future of the Haskell98 and Haskell2010 packages, and the unfortunate conclusion is it looks like we're going to drop them for 7.10. Austin has some rationale, and there was some followup in the mailing list thread too: https://www.haskell.org/pipermail/ghc-devs/2014-November/007357.html Closed tickets this week include: #9785, #9053, #9513, #9073, #9077, #9683, #9662, #9646, #9787, #8672, #9791, #9781, #9621, #9594, #9066, #9527, #8100, #9064, #9204, #9788, #9794, #9608, #9442, #9428, #9763, #9664, #8750, #9796, #9341, #9330, #9323, #9322, #9749, #7381, #8701, #9286, #9802, #9800, #9302, #9174, #9171, #9141, #9100, #9134, #8798, #8756, #8716, #8688, #8680, #8664, #8647, #9804, #8620, #9801, #8559, #8559, #8545, #8528, #8544, #8558 -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

1 0