- ghc-devs - Haskell.org

RE: [commit: ghc] master: Add T7220a.stderr (6265f1c)
by Simon Peyton Jones 21 Nov '14

21 Nov '14

Thanks Joachim. Simon | -----Original Message----- | From: ghc-commits [mailto:ghc-commits-bounces@haskell.org] On Behalf Of | git(a)git.haskell.org | Sent: 21 November 2014 20:56 | To: ghc-commits(a)haskell.org | Subject: [commit: ghc] master: Add T7220a.stderr (6265f1c) | | Repository : ssh://git@git.haskell.org/ghc | | On branch : master | Link : | http://ghc.haskell.org/trac/ghc/changeset/6265f1c3162a192220ec03d888e1c1e | f686b2732/ghc | | >--------------------------------------------------------------- | | commit 6265f1c3162a192220ec03d888e1c1ef686b2732 | Author: Joachim Breitner <mail(a)joachim-breitner.de> | Date: Fri Nov 21 21:55:37 2014 +0100 | | Add T7220a.stderr | | which presumably was just forgotten when creating the testcase in | commit 7b1a856. | | | >--------------------------------------------------------------- | | 6265f1c3162a192220ec03d888e1c1ef686b2732 | testsuite/tests/typecheck/should_compile/T7220a.stderr | 14 | ++++++++++++++ | 1 file changed, 14 insertions(+) | | diff --git a/testsuite/tests/typecheck/should_compile/T7220a.stderr | b/testsuite/tests/typecheck/should_compile/T7220a.stderr | new file mode 100644 | index 0000000..4be503d | --- /dev/null | +++ b/testsuite/tests/typecheck/should_compile/T7220a.stderr | @@ -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 | | _______________________________________________ | ghc-commits mailing list | ghc-commits(a)haskell.org | http://www.haskell.org/mailman/listinfo/ghc-commits

1 0

Re: [commit: ghc] master: Be consistent with placement of Safe Haskell mode at top of file (2a523eb)
by Herbert Valerio Riedel 21 Nov '14

21 Nov '14

Hello David, On 2014-11-21 at 22:03:23 +0100, git-4Dsf34iY/NkouOHNgZ69ag(a)public.gmane.org wrote: [...] > commit 2a523ebf091478aea39deef28073320bed628434 > Author: David Terei <code-A0igW9AEfH2M2ScGVVA7yQ(a)public.gmane.org> > Date: Wed Nov 19 18:29:51 2014 -0800 > > Be consistent with placement of Safe Haskell mode at top of file Why is that necessary? Fwiw, I'm afraid that's gonna be hard to retain; it's more obvious/easier to keep all LANGUAGE pragmas in alphabetic order (I've probably done that a couple of times in `base` deliberately myself) than to introduce such an artificial ordering on the language pragmas. The reason is, you can instruct an editor to select the first paragraph which comprises the block of one-per-line language-pragmas is, and have it sorted it alphabetically. That's just a few keystrokes. But it's rather difficult to teach the editor to use an ordering relation other than the usual alphabetic/lexicographic ordering. Cheers, hvr

2 1

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