Re: haddock problem. Was: ANNOUNCE: GHC 6.12.1 Release Candidate 1

2009-10-28 Thread Jens Petersen
2009/10/23 Andrea Vezzosi sanzhi...@gmail.com: On Mon, Oct 12, 2009 at 6:43 PM, Christian Maeder I get the following internal Haddock or GHC error. I have no file /local/maeder/lib/ghc-6.12.0.20091010/html/haddock.css but a file /local/maeder/share/doc/ghc/html/html/haddock.css I've the

Re: Type checker's expected and inferred types (reformatted)

2009-10-28 Thread John Lato
From: Isaac Dupree m...@isaac.cedarswampstudios.org David Menendez wrote: On Sun, Oct 25, 2009 at 1:37 PM, Isaac Dupree m...@isaac.cedarswampstudios.org wrote: David Menendez wrote: The expected type is what the context wants (it's *ex*ternal). The inferred type is what the expression

Re: ghc search paths (like CPATH for gcc)

2009-10-28 Thread Misha Aizatulin
Simon Marlow wrote: On 19/10/2009 05:17, Misha Aizatulin wrote: Hello, is there a mechanism for ghc similar to setting the CPATH variable for gcc? I'd like ghc to look in the given list of paths every time it compiles something, without me having to retype the flags. For ghci there

Coinductive proofs of type class instances

2009-10-28 Thread Louis Wasserman
Hey all, There was a discussionhttp://www.nabble.com/Resolving-overloading-loops-for-circular-constraint-graph-td25365212.htmla while back about coinductive proofs of type class instances, discussing a problem I'd encountered independently, and worked out a rough solution to. I wanted to see if

Update on GHC 6.12.1

2009-10-28 Thread Simon Peyton-Jones
Folks This is an update on the status of GHC 6.12. FIRST, as you probably know, Hackage and the Haskell Platform is allowing GHC HQ to get out of the libraries business. So the plan is - We release GHC 6.12 with very few libraries - Bill Library Author downloads GHC 6.12 and tests his

Re: Update on GHC 6.12.1

2009-10-28 Thread kahl
Simon Peyton Jones wrote: Recursive do-notation. ~~ The change is this. Instead of writing mdo { a - getChar ; b - f c ; c - g b ; putChar c ; return b } you would write do { a - getChar ; rec { b - f c

ghc hung by FunctionalDependencies/UndecidableInstances

2009-10-28 Thread Roland Zumkeller
Hi, ghc seems to hang and eat memory when fed the following code: {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, UndecidableInstances #-} class C a b | a - b where f :: a - b newtype T a = T a instance (C a b, Eq b) = Eq (T a) where (==) = undefined g x = (undefined :: a - a - a -