Re: [Haskell] ANNOUNCE: GHC version 7.6.1

And there was this c-vs-c comment from (IIRC) axman on the #ghc IRC channel:

> class Category (c :: k -> k -> *) where
>   type Ob c :: k -> Constraint
>   id :: Ob c a => c a a
>   (.) :: (Ob c a, Ob c b, Ob c c) => c b c -> c a b -> c a c

This is pretty confusing for anybody whose brain does not yet
instantly 'autocorrect' these kinds of mistakes.

Cheers,

    Gabor

On 9/7/12, Simon Peyton-Jones <[email protected]> wrote:
> Yes, it should be 'z', as you say. Paolo, could you fix this typo please?
>
> Thanks
>
> Simon
>
> |  -----Original Message-----
> |  From: [email protected] [mailto:[email protected]]
> On
> |  Behalf Of Bas van Dijk
> |  Sent: 07 September 2012 10:01
> |  To: [email protected]; [email protected]
> |  Subject: Re: [Haskell] ANNOUNCE: GHC version 7.6.1
> |
> |  On 6 September 2012 18:05, Ian Lynagh <[email protected]> wrote:
> |  > The GHC Team is pleased to announce a new major release of GHC, 7.6.1.
> |
> |  Great!
> |
> |  >   * It is now possible to defer type errors until runtime using the
> |  >     -fdefer-type-errors flag.
> |
> |  In section 7.13.1 it says:
> |
> |  ...given the following code:
> |
> |  x :: Int
> |  x = 0
> |
> |  y :: Char
> |  y = x
> |
> |  z :: Int
> |  z = y
> |
> |  evaluating x will result in a runtime type error.
> |
> |  Shouldn't this be:
> |
> |  evaluating z will result in a runtime type error.
> |
> |  Cheers,
> |
> |  Bas
> |
> |  _______________________________________________
> |  Haskell mailing list
> |  [email protected]
> |  http://www.haskell.org/mailman/listinfo/haskell
>
>
>
> _______________________________________________
> Cvs-ghc mailing list
> [email protected]
> http://www.haskell.org/mailman/listinfo/cvs-ghc
>