RE: Committer list [was: Re: NOTICE: Gitolite migration is complete.]

2013-08-19 Thread Simon Peyton-Jones
Good idea! I've added mine, as a link from my name. Simon | -Original Message- | From: Richard Eisenberg [mailto:e...@cis.upenn.edu] | Sent: 18 August 2013 22:31 | To: Simon Peyton-Jones | Cc: Austin Seipp; ghc-devs@haskell.org | Subject: Re: Committer list [was: Re: NOTICE: Gitolite

Question about `compileToCoreModule`

2013-08-19 Thread Daniel F
Hi, everyone, I have a question about `compileToCoreModule` function from the GHC module. I noticed that the following code not just outputs the Core code, but also produces object files and a linked executable (in case when 'test.hs' is a program): --- module Main where

FW: Literal overflow test fails

2013-08-19 Thread Simon Peyton-Jones
Austin Could you act on this thread please? Currently I think the Windows build is broken because of it. I think Ian is right, namely that the way to get a particular bit-pattern with type 'Int' is to use fromIntegral. But it needs a comment to explain the idiom. eg try compiling this with

Re: FW: Literal overflow test fails

2013-08-19 Thread Austin Seipp
Yes, this slipped by my radar. I've got my win8 build machine up now, so I can push something shortly. On Mon, Aug 19, 2013 at 3:40 AM, Simon Peyton-Jones simo...@microsoft.com wrote: Austin Could you act on this thread please? Currently I think the Windows build is broken because of it.

Re: Non-parallel version of GC

2013-08-19 Thread Simon Marlow
On 13/08/13 14:15, Edward Z. Yang wrote: But perhaps there's another way to achieve your goals - what are the interesting features you want to add? Yeah. The key thing I need to change is how the GC decides where live objects are evacuated to, to support a more efficient implementation of

Re: lambda mining

2013-08-19 Thread José Pedro Magalhães
Hi, Here are the complete dependencies: Build-depends: base = 4 5, array = 0.4, mtl = 2.0.0.0, ansi-terminal, containers, old-time = 1.1, directory = 1.1, filepath = 1.3,

can't build head: parser file name / module name conflict

2013-08-19 Thread Carter Schonwald
hey all, i'm trying to build head to test out some stuff, and i'm hitting the following error message (http://ghc.haskell.org/trac/ghc/ticket/8143 ) compiler/stage1/build/Parser.hs:1:1: File name does not match module name: Saw: `Main' Expected: `Parser' make[1]: ***

RE: Instantiating a type with fresh, flexi type variables

2013-08-19 Thread Simon Peyton-Jones
I'm a bit puzzled that you don't have a *quantified* type, something like forall abc. ty1 - ... - tyn - ty to instantiate. I'm a bit suspicious about instantiating all the random free variables of a type (or types). We should talk now I'm back in circulation. What time zone are you

DNS entry for git.haskell.org active now!

2013-08-19 Thread Herbert Valerio Riedel
Hello GHC Devs, Hopefully, the new DNS entry for git.haskell.org should be visible for all of you by the time you read this. This mostly completes the migration part of the GitolitePlan[1]. With the new hostname, the URLs to use for `sync-all` to fetch via git://, http://, or ssh:// (ordered by

Re: DNS entry for git.haskell.org active now!

2013-08-19 Thread Austin Seipp
Thank you Herbert! On Monday, August 19, 2013, Herbert Valerio Riedel wrote: Hello GHC Devs, Hopefully, the new DNS entry for git.haskell.org should be visible for all of you by the time you read this. This mostly completes the migration part of the GitolitePlan[1]. With the new hostname,

RE: Instantiating a type with fresh, flexi type variables

2013-08-19 Thread Dr . ÉRDI Gergő
Hi Simon, Here's what I wrote earlier about this to someone who contacted me in private (name withheld because I don't know why he contacted me off-list): So the code in question is this: https://github.com/gergoerdi/ghc/commit/f874f8#L5R749 and the part that feels fishy to me is tcInstTypes,