Re: [ANNOUNCE] 7.10.3 release candidate 3

2015-11-18 Thread Gershom B
The link provided for rc3 (https://downloads.haskell.org/~ghc/7.10.3-rc3/) appears to be empty at the moment. However I have had success with a different link:  https://downloads.haskell.org/~ghc/ghc-7.10.3-rc3/ Cheers, Gershom ___ ghc-devs mailing lis

Re: [ANNOUNCE] 7.10.3 release candidate 3

2015-11-18 Thread Manuel M T Chakravarty
> Ben Gamari : > Lastly, I'd like to take a moment to acknowledge Futureice [2], who have > donated a brand new Mac Mini for use by GHC developers to help support > this platform. Their generosity is the reason we are able to offer OS X > builds to you today. > > Many thanks to Futureice for this

RE: Window build broken

2015-11-18 Thread lonetiger
➢  Perhaps it is. Should I blow it away and re-install? I’d hold on that this. I have just tried building myself and also hit it. Taking a closer look, it seems that the .o file being produces isn’t an object file but an image file. It contains the standard image headers and a PE signature.

HEADS UP: Phabricator will be moving to a new server soon.

2015-11-18 Thread Austin Seipp
Hi *, After talking with Ben today, I'll be moving the Phabricator server to a new host Real Soon. Our current load has outgrown the very basic server we've been using for the past year. It's worked fine, but occasionally it cuts into swap space, causing things like request timeouts or errors. Th

Re: Explanation of a core-lint warning (Bad getNth)

2015-11-18 Thread Richard Eisenberg
On Nov 18, 2015, at 12:19 PM, Jan Bracker wrote: > As far as I understand your explanation this should not lead to an error, > although it is not the most obvious coercion. Is that right? That's what it seems to be, in this particular case. But I'd be nervous with this result and would want f

Re: Explanation of a core-lint warning (Bad getNth)

2015-11-18 Thread Jan Bracker
As far as I understand your explanation this should not lead to an error, although it is not the most obvious coercion. Is that right? Do you or anybody else have a suggestion on how to resolve this issue? 2015-11-18 17:13 GMT+00:00 Richard Eisenberg : > Ah yes. I looked too quickly. Note that t

Re: Explanation of a core-lint warning (Bad getNth)

2015-11-18 Thread Richard Eisenberg
Ah yes. I looked too quickly. Note that there are two NthCo's listed. Its the outermost that's the problem, which is deconstructing the Union. But it's doing so to prove that '["thres" :-> Int] ~ '["thres" :-> Int] which is rather easy to prove without NthCo. I'm not sure why GHC is doing this.

Re: Explanation of a core-lint warning (Bad getNth)

2015-11-18 Thread Jan Bracker
Hi Richard, No "Split" is a class and is defined here: http://hackage.haskell.org/package/effect-monad-0.6.1/docs/Control-Effect-State.html#t:Split "Union" is a type function (synonym that refers to a type function call): http://hackage.haskell.org/package/effect-monad-0.6.1/docs/Control-Effect-Wr

Re: Explanation of a core-lint warning (Bad getNth)

2015-11-18 Thread Richard Eisenberg
I took just a quick look at this. Is Split a type family? The NthCo coercion form takes apart a composite equality into its pieces. For example, if we know (Maybe a ~ Maybe b), then NthCo:0 will tell us that (a ~ b). In your case, it looks like GHC is trying to deduce (Union '["thres" :-> Int] [

Explanation of a core-lint warning (Bad getNth)

2015-11-18 Thread Jan Bracker
Hi, I am using the type checker plugin interface and I am trying to produce some evidence for type class instances. During compilation of one of my examples I get this core-lint error: *** Core Lint errors : in result of Simplifier *** : Warning: [RHS of ds_a6bY :: (Set '["thres" :-> Int], Se

Re: Remote GHCi

2015-11-18 Thread Andrew Gibiansky
Simon, I'd like to hear how we can support what IHaskell does with remote GHCi. One core functionality that we use dynCompileExpr for (not quite dynCompileExpr, but similar) is getting the standard output of code that is being run. Any time code is run, we 1. Create a unix pipe. 2. Set stdout to

RE: [commit: ghc] master: Remove PatSynBuilderId (2208011)

2015-11-18 Thread Simon Peyton Jones
Done! | -Original Message- | From: Ben Gamari [mailto:b...@well-typed.com] | Sent: 17 November 2015 16:41 | To: Simon Peyton Jones; Matthew Pickering | Cc: ghc-devs@haskell.org | Subject: RE: [commit: ghc] master: Remove PatSynBuilderId (2208011) | | Simon Peyton Jones writes: |

Re: [ANNOUNCE] 7.10.3 release candidate 3

2015-11-18 Thread Ben Gamari
Hello everyone, We are pleased to announce the third release candidate of GHC 7.10.3: https://downloads.haskell.org/~ghc/7.10.3-rc3/ There have been a few changes since -rc2, * The newly-introduced readelf configure check has been disabled on non-ELF platforms * Some tracing outpu

Re: Feature status for GHC 8.0

2015-11-18 Thread Richard Eisenberg
On Nov 17, 2015, at 10:22 AM, Ben Gamari wrote: > * Kind equality Richard Eisenberg > Patches coming soon? Yes yes yes. Coming soon! I'll post an update to D808 presently if anyone wants to watch from home. Richard _

RE: Window build broken

2015-11-18 Thread Simon Peyton Jones
| Presumably Simon didn't change this. Maybe the msys2 install is broken? Perhaps it is. Should I blow it away and re-install? One other difficulty is that (before my machine change) I tried to follow the instructions on https://ghc.haskell.org/trac/ghc/wiki/Building/Preparation/Windows to in

Re: Feature status for GHC 8.0

2015-11-18 Thread Ben Gamari
"Edward Z. Yang" writes: > Excerpts from Ben Gamari's message of 2015-11-17 07:22:22 -0800: >> * Backpack workEdward Z. Yang >> How is this coming along? > > Had a chat with SPJ about this and we've decided that Backpack still > needs stabilizing, an

Re: Window build broken

2015-11-18 Thread Matej Borovec
I'm getting similar error on my 32-bit Windows 10: GHCi, version 7.11.20151114: http://www.haskell.org/ghc/ :? for help ghc.exe: C:\ghc-8.0_git\usr\local\lib\ghc-prim-0.5.0.0\HSghc-prim-0.5.0.0.o: Not x86 PEi386 ghc.exe: panic! (the 'impossible' happened) (GHC version 7.11.20151114 for i386-unkn

Re: Wildcard refactor

2015-11-18 Thread Alan & Kim Zimmerman
This is what I get locally unexpected results from: TEST="landmines listcomps T7861 T5837 T4896 T3064" OVERALL SUMMARY for test run started at Wed Nov 18 10:48:00 2015 UTC 0:27:16 spent to go through 4802 total tests, which gave rise to 18143 test cases, of which 13285 were skipped

RE: Wildcard refactor

2015-11-18 Thread Simon Peyton Jones
Oh sorry, no I think I’d been skipping it too. I’ll fix that! Meanwhile, skip! From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Simon Peyton Jones Sent: 18 November 2015 11:18 To: Alan & Kim Zimmerman Cc: ghc-devs@haskell.org Subject: RE: Wildcard refactor It does, yes. It’s o

RE: Wildcard refactor

2015-11-18 Thread Simon Peyton Jones
It does, yes. It’s on 0d157fe, which is the head of wip/spj-wildcard-refactor in the haddock repo Is that what get checked out by ‘git submodule update”? Simon From: Alan & Kim Zimmerman [mailto:alan.z...@gmail.com] Sent: 18 November 2015 10:57 To: Simon Peyton Jones Subject: Re: Wildcard refact

Re: Wildcard refactor

2015-11-18 Thread Alan & Kim Zimmerman
ok. I have been waiting to jump in and help. Alan On Wed, Nov 18, 2015 at 12:02 PM, Simon Peyton Jones wrote: > Alan > > I’m really close on wip/spj-wildcard-refactor, that I really want to get > into HEAD asap. > > Could you possibly checkout wip/spj-wildcard-refactor, and validate? I > get

Re: Feature status for GHC 8.0

2015-11-18 Thread Edward Z. Yang
Excerpts from Ben Gamari's message of 2015-11-17 07:22:22 -0800: > * Backpack workEdward Z. Yang > How is this coming along? Had a chat with SPJ about this and we've decided that Backpack still needs stabilizing, and there is not much gain to be had s

Wildcard refactor

2015-11-18 Thread Simon Peyton Jones
Alan I'm really close on wip/spj-wildcard-refactor, that I really want to get into HEAD asap. Could you possibly checkout wip/spj-wildcard-refactor, and validate? I get two failures I don't understand: ghc-api/annotations listcomps [bad stdout] (normal) ghc-api/landmineslandmi

Re: Remote GHCi

2015-11-18 Thread Simon Marlow
On 18/11/2015 01:41, Manuel M T Chakravarty wrote: Hi Simon, While this is an interesting proposal, Haskell for Mac strongly relies on running interpreted code in the same process. I’m using ’dynCompileExpr’ as well as ’hscStmtWithLocation’ and some other stuff. Let me say first of all that I'

Re: Remote GHCi

2015-11-18 Thread Simon Marlow
On 18/11/2015 00:53, Edward Z. Yang wrote: I like it. Let me make sure that I've understand this correctly: - While GHC doesn't need to be built with profiling if you want to use profiling in the interpeter, you will need multiple versions of the "server binary" for each way

Re: Remote GHCi

2015-11-18 Thread Simon Marlow
Ok, it seems that (1) is easy to support in a remote GHCi, (2) is not, and (3) I'm not sure about. GHCi itself does something very similar to (3): when we compile a statement it becomes a value of type IO [HValue], that we can evaluate and get back a list of the values that were bound to varia

RE: Window build broken

2015-11-18 Thread Tamar Christina
Hmm, Presumably Simon didn't change this. Maybe the msys2 install is broken? TamarFrom: David Macek Sent: ‎18/‎11/‎2015 09:35 To: Simon Peyton Jones; loneti...@gmail.com; ghc-devs@haskell.org Subject: Re: Window build broken On 18. 11. 2015 9:29, Simon Peyton Jones wrote: > It’s msys2. I don’t h

Re: Window build broken

2015-11-18 Thread David Macek
On 18. 11. 2015 9:29, Simon Peyton Jones wrote: > It’s msys2. I don’t have Cygwin on this machine. I have no idea where that > prompt comes from, but I agree it’s suspicious. Looks like your /etc/fstab is wrong. There should be a line like this one, that removes the `cygdrive` prefix from Win

RE: Window build broken

2015-11-18 Thread Simon Peyton Jones
I’m happy to do experiments to help narrow it down, but I haven’t the foggiest idea where to start, and am utterly stalled on GHC Thanks Simon From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of loneti...@gmail.com Sent: 17 November 2015 23:51 To: Ryan Scott; ghc-devs@haskell.org

RE: Window build broken

2015-11-18 Thread Simon Peyton Jones
It’s msys2. I don’t have Cygwin on this machine. I have no idea where that prompt comes from, but I agree it’s suspicious. Simon From: loneti...@gmail.com [mailto:loneti...@gmail.com] Sent: 17 November 2015 23:44 To: Simon Peyton Jones; David Macek; ghc-devs@haskell.org Subject: RE: Window bui