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
>
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
