Validating with Haddock

2013-12-28 Thread Mateusz Kowalczyk 
Greetings,

I'm trying to validate HEAD and I care that Haddock is built alongside
it (so --no-haddock is not an option). I get the following errors listed
at the bottom of this e-mail. How can I validate so that it all builds?

From what I understand, to validate I should:
* Have a stable compiler in my PATH (7.6.3)
* go to top level directory
* run ‘sh validate’

Am I missing steps?

== Start post-build package check
Timestamp 2013-12-28 05:00:55 UTC for
/home/shana/.ghc/i386-linux-7.7.20131227/package.conf.d/package.cache
Timestamp 2013-12-28 05:00:55 UTC for
/home/shana/.ghc/i386-linux-7.7.20131227/package.conf.d (same as cache)
using cache:
/home/shana/.ghc/i386-linux-7.7.20131227/package.conf.d/package.cache
Timestamp 2013-12-28 05:22:27 UTC for
/home/shana/programming/ghc/inplace/lib/package.conf.d/package.cache
Timestamp 2013-12-28 05:22:27 UTC for
/home/shana/programming/ghc/inplace/lib/package.conf.d (same as cache)
using cache:
/home/shana/programming/ghc/inplace/lib/package.conf.d/package.cache
There are problems in package xhtml-3000.2.1:
  dependency base-4.7.0.0-578628bf142f9304d05ce5581b5f8d76 doesn't exist
There are problems in package ghc-paths-0.1.0.9:
  dependency base-4.7.0.0-578628bf142f9304d05ce5581b5f8d76 doesn't exist

The following packages are broken, either because they have a problem
listed above, or because they depend on a broken package.
xhtml-3000.2.1
ghc-paths-0.1.0.9

-- 
Mateusz K.
___
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs

Re: Preparing for a review of pattern synonyms

2013-12-28 Thread Dr. ERDI Gergo 

On Mon, 9 Dec 2013, Simon Marlow wrote:


I think pattern synonyms are great!  A couple of questions:

* what will Haddock show for a pattern export?


I eventually ended up implementing the following syntax for Haddock 
output (code is at https://github.com/gergoerdi/ghc-haddock):


pattern (Prov b) = P a b :: (Req a) = T a

e.g.
pattern a : (Seq a) :: Seq a
for
pattern x : xs - (Seq.viewl - x Seq.: xs)

or
pattern Zero :: (Num a, Eq a) = a
for
pattern Zero = 0

Bye,
Gergo
___
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs