Re: Haddock for GHC 8.0

-- > tl;dr: Help needed to bring Haddock up-to-date for the GHC 8.0 release. > > > Hello everyone, > > As you likely know, the GHC 8.0 release cycle is quickly drawing to a > close. One of the tasks that remains outstanding is porting the patches > on Haddock's

Re: Haddock for GHC 8.0

Hi Gautier, Indeed the task has been done. Here is the current rebased branch - https://github.com/haskell/haddock/tree/ghc-head Matt On Sun, Dec 20, 2015 at 11:36 PM, Gautier DI FOLCO wrote: > >> >> tl;dr: Help needed to bring

Re: Haddock for GHC 8.0

Hello, Thanks for the quick answer, sorry for the inconvenience, I hope I'll be quicker next time. Regards. 2015-12-21 1:04 GMT+01:00 Matthew Pickering : > Hi Gautier, > > Indeed the task has been done. > > Here is the current rebased branch - >

Change from 7.10.3 to current master

I am in the process of updating ghc-exactprint for current GHC master. One of the tests has the following in it - {-# LANGUAGE TypeOperators #-} type family (r1 :++: r2); infixr 5 :++: type instance r :++: Nil = r type instance r1 :++: r2 :> a = (r1 :++: r2) :> a

Re: Kinds of type synonym arguments

I have another related question: What about allowing primitive types in newtypes? λ:4> newtype Blah1 = Blah1 Int λ:5> newtype Blah2 = Blah2 Int# :5:23: error: • Expecting a lifted type, but ‘Int#’ is unlifted • In the type ‘Int#’ In the definition of data

Re: Performance of pattern checker on OptCoercions

> I have a small question though: do we need the opposites too (I mean > `-fno-full-guard-reasoning` and ` -Wtoo-many-guards`)? I cannot think of > a scenario where we do or am I missing something? > A scenario where `-fno-full-guard-reasoning` could be useful: you add `-ffull-guard-reasoning` to