Re: How do I build GHC 7.6 from source?

2012-09-18 Thread Iavor Diatchki
Hello, On Tue, Sep 18, 2012 at 1:25 PM, Ian Lynagh wrote: > > Why do you want to build 7.6 but not 7.6.1, OOI? > > I was trying to build a different branch which is a fork of 7.6---I wanted to play around with the profiling suite described in the "Core Diving" talk from the Haskell Implementors

Re: How do I build GHC 7.6 from source?

2012-09-18 Thread Ian Lynagh
On Tue, Sep 18, 2012 at 12:48:13PM -0700, Iavor Diatchki wrote: > Hello, > > I was just trying to build the GHC-7.6 branch from source and the build > failed with type-errors, because the libraries used by GHC have moved on > since the release, and "sync all" just gets the most recent version. Us

How do I build GHC 7.6 from source?

2012-09-18 Thread Iavor Diatchki
Hello, I was just trying to build the GHC-7.6 branch from source and the build failed with type-errors, because the libraries used by GHC have moved on since the release, and "sync all" just gets the most recent version. Is there a "fingerprint" somewhere so that I can checkout the libraries in a

Re: PolyKind issue in GHC 7.6.1rc1: How to make a kind a functional dependency?

2012-09-18 Thread Iavor Diatchki
Hello, On Tue, Sep 18, 2012 at 12:10 AM, Simon Peyton-Jones wrote: > > The technically-straightforward thing to do is to add kind application, > but that's a bit complicated notationally. > http://hackage.haskell.org/trac/ghc/wiki/ExplicitTypeApplication Does > anyone have any other ideas? > >

Re: ANNOUNCE: GHC version 7.6.1

2012-09-18 Thread Jens Petersen
> Thanks! I have done a full test build for Fedora 18 Development on x86_64 > which you can install from my new testing repo: > > > > It seems to work fine on Fedora 17 too for me. There is now a working cabal-install-0.15.1 build there too (pat

RE: PolyKind issue in GHC 7.6.1rc1: How to make a kind a functional dependency?

2012-09-18 Thread Simon Peyton-Jones
I think I was a little hasty below, and need a little help. Making 'Any' an type family, even an injective one, does not work for the use that Richard and Iavor make of it, eg in TypeLits. Here's an example from TypeLits: instance SingE (Any :: Nat) Integer where where SingE :: forall

RE: PolyKind issue in GHC 7.6.1rc1: How to make a kind a functional dependency?

2012-09-18 Thread Simon Peyton-Jones
| Will unsafeCoercing to and from Any still work with this plan? (If not | then I can just use data Anything = forall a. Anything a, so it's not a | big deal.) Yes I think it'll be fine, but thanks for highlighting this other use of Any. Simon ___ Gla