Build description = STABLE on x86_64-unknown-linux
(cam-03-unx.europe.corp.microsoft.com)
Build location = /64playpen/simonmar/nightly/STABLE-cam-03-unx
Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-03-unx
Nightly build started on cam-03-unx at Mon Apr 24 20:30:01 BST 2006.
**** checking out new source tree ... cvs checkout: warning:
cannot open /cvs/CVSROOT/val-tags read/write: Read-only file system
cvs checkout: warning: cannot open /cvs/CVSROOT/val-tags read/write: Read-only
file system
cvs checkout: warning: cannot open /cvs/CVSROOT/val-tags read/write: Read-only
file system
cvs checkout: cannot open directory /cvs/fptools/nofib/PRIVATE: Permission
denied
cvs checkout: skipping directory nofib/PRIVATE
cvs checkout: warning: cannot open /cvs/CVSROOT/val-tags read/write: Read-only
file system
cvs checkout: warning: unrecognized response `ble = True}' from cvs server
cvs checkout: warning: unrecognized response `Permissions {readable = True,
writable = True, executable = True, searchable = False}' from cvs server
cvs checkout: warning: unrecognized response `Permissions {readable = True,
writable = True, executable = True, searchable = False}' from cvs server
cvs checkout: warning: unrecognized response `
testsuite/tests/ghc-regress/lib/Directory/' from cvs server
cvs checkout: warning: unrecognized response
`/cvs/fptools/testsuite/tests/ghc-regress/lib/Directory/getPermissions001.stdout-i386-unknown-mingw32'
from cvs server
cvs checkout: warning: unrecognized response
`/getPermissions001.stdout-i386-unkn x = ReadT (\y -> Just (y,x))' from cvs
server
cvs checkout: warning: unrecognized response ` c >>= f = ReadT (\x -> case
unReadT c x of' from cvs server
cvs checkout: warning: unrecognized response `
Nothing -> Nothing' from cvs server
cvs checkout: warning: unrecognized response ` Just
(x', a) -> unReadT (f a) x'' from cvs server
cvs checkout: warning: unrecognized response ` )' from cvs
server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- ReadT also accommodates mzero
and mplus!' from cvs server
cvs checkout: warning: unrecognized response `instance MonadPlus ReadT where'
from cvs server
cvs checkout: warning: unrecognized response ` mzero = ReadT (const Nothing)'
from cvs server
cvs checkout: warning: unrecognized response ` f `mplus` g = ReadT (\x -> case
unReadT f x of' from cvs server
cvs checkout: warning: unrecognized response `
Nothing -> unReadT g x' from cvs server
cvs checkout: warning: unrecognized response ` y
-> y' from cvs server
cvs checkout: warning: unrecognized response ` )' from cvs
server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response
`---------------------------------------------------------------------------'
from cvs server
cvs checkout: warning: unrecognized response `-- A helper type to appeal to
predicative type system.' from cvs server
cvs checkout: warning: unrecognized response
`---------------------------------------------------------------------------'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `newtype GenM = GenM { unGenM ::
forall a. Data a => a -> ReadT a }' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response
`---------------------------------------------------------------------------'
from cvs server
cvs checkout: warning: unrecognized response `-- The function that reads and
copes with all permutations.' from cvs server
cvs checkout: warning: unrecognized response
`---------------------------------------------------------------------------'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `buildT :: forall a. Data a =>
ReadT a' from cvs server
cvs checkout: warning: unrecognized response `buildT = result' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` result = do str <- readT' from
cvs server
cvs checkout: warning: unrecognized response ` con <-
string2constr str' from cvs server
cvs checkout: warning: unrecognized response ` ske <- return $
fromConstr con' from cvs server
cvs checkout: warning: unrecognized response ` fs <- return $
gmapQ buildT' ske' from cvs server
cvs checkout: warning: unrecognized response ` perm [] fs ske'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` -- Determine type of data to be
constructed' from cvs server
cvs checkout: warning: unrecognized response ` myType = myTypeOf result' from
cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` myTypeOf :: forall a. ReadT
a -> a' from cvs server
cvs checkout: warning: unrecognized response ` myTypeOf = undefined' from
cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` -- Turn string into
constructor' from cvs server
cvs checkout: warning: unrecognized response ` string2constr str = maybe
mzero' from cvs server
cvs checkout: warning: unrecognized response `
return' from cvs server
cvs checkout: warning: unrecognized response `
(readConstr (dataTypeOf myType) str)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` -- Specialise buildT per kid
type' from cvs server
cvs checkout: warning: unrecognized response ` buildT' :: forall a. Data a =>
a -> GenM' from cvs server
cvs checkout: warning: unrecognized response ` buildT' (_::a) = GenM (const
mzero `extM` const (buildT::ReadT a))' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` -- The permutation exploration
function' from cvs server
cvs checkout: warning: unrecognized response ` perm :: forall a. Data a =>
[GenM] -> [GenM] -> a -> ReadT a' from cvs server
cvs checkout: warning: unrecognized response ` perm [] [] a = return a' from
cvs server
cvs checkout: warning: unrecognized response ` perm fs [] a = perm [] fs a'
from cvs server
cvs checkout: warning: unrecognized response ` perm fs (f:fs') a = (' from cvs
server
cvs checkout: warning: unrecognized response ` do a' <-
gmapMo (unGenM f) a' from cvs server
cvs checkout: warning: unrecognized response ` perm
fs fs' a'' from cvs server
cvs checkout: warning: unrecognized response ` )' from cvs
server
cvs checkout: warning: unrecognized response ` `mplus`'
from cvs server
cvs checkout: warning: unrecognized response ` (' from cvs
server
cvs checkout: warning: unrecognized response ` do guard
(not (null fs'))' from cvs server
cvs checkout: warning: unrecognized response ` perm
(f:fs) fs' a' from cvs server
cvs checkout: warning: unrecognized response ` )' from cvs
server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response
`---------------------------------------------------------------------------'
from cvs server
cvs checkout: warning: unrecognized response `-- The main function for testing'
from cvs server
cvs checkout: warning: unrecognized response
`---------------------------------------------------------------------------'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `main = print' from cvs server
cvs checkout: warning: unrecognized response ` ( runReadT buildT ["T1"] ::
Maybe T1 -- should parse fine' from cvs server
cvs checkout: warning: unrecognized response ` , ( runReadT buildT ["T2"] ::
Maybe T2 -- should parse fine' from cvs server
cvs checkout: warning: unrecognized response ` , ( runReadT buildT
["T3","T1","T2"] :: Maybe T3 -- should parse fine' from cvs server
cvs checkout: warning: unrecognized response ` , ( runReadT buildT
["T3","T2","T1"] :: Maybe T3 -- should parse fine' from cvs server
cvs checkout: warning: unrecognized response ` , ( runReadT buildT
["T3","T2","T2"] :: Maybe T3 -- should fail' from cvs server
cvs checkout: warning: unrecognized response ` )))))' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `gApplyQ :: Data a => [GQ r] -> a
-> [r]' from cvs server
cvs checkout: warning: unrecognized response `gApplyQ qs t = reverse (snd
(gfoldlQ k z t))' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` k :: ([GQ r], [r]) ->
GenericQ ([GQ r], [r])' from cvs server
cvs checkout: warning: unrecognized response ` k (GQ q : qs, rs) child =
(qs, q child : rs)' from cvs server
cvs checkout: warning: unrecognized response ` z = (qs, [])' from cvs
server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `newtype R r x = R { unR :: r }'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `gfoldlQ :: (r -> GenericQ r)'
from cvs server
cvs checkout: warning: unrecognized response ` -> r ' from cvs server
cvs checkout: warning: unrecognized response ` -> GenericQ r' from cvs
server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `gfoldlQ k z t = unR (gfoldl k' z'
t)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` z' _ = R z' from cvs server
cvs checkout: warning: unrecognized response ` k' (R r) c = R (k r c)'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response
`-----------------------------------------------------------------------------'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- A dependently polymorphic geq'
from cvs server
cvs checkout: warning: unrecognized response `geq'' :: Data a => a -> a ->
Bool' from cvs server
cvs checkout: warning: unrecognized response `geq'' x y = toConstr x ==
toConstr y' from cvs server
cvs checkout: warning: unrecognized response ` && and (gzipWithQ'
geq'' x y)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- A helper type for
existentially quantified queries' from cvs server
cvs checkout: warning: unrecognized response `data XQ r = forall a. Data a =>
XQ (a -> r)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- A dependently polymorphic
gzipWithQ' from cvs server
cvs checkout: warning: unrecognized response `gzipWithQ' :: (forall a. Data a
=> a -> a -> r)' from cvs server
cvs checkout: warning: unrecognized response ` -> (forall a. Data a
=> a -> a -> [r])' from cvs server
cvs checkout: warning: unrecognized response `gzipWithQ' f t1 t2' from cvs
server
cvs checkout: warning: unrecognized response ` = gApplyQ' (gmapQ (\x -> XQ
(f x)) t1) t2' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- Apply existentially quantified
queries' from cvs server
cvs checkout: warning: unrecognized response `-- Insist on equal types!' from
cvs server
cvs checkout: warning: unrecognized response `--' from cvs server
cvs checkout: warning: unrecognized response `gApplyQ' :: Data a => [XQ r] -> a
-> [r]' from cvs server
cvs checkout: warning: unrecognized response `gApplyQ' qs t = reverse (snd
(gfoldlQ k z t))' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` z = (qs, [])' from cvs
server
cvs checkout: warning: unrecognized response ` k :: ([XQ r], [r]) ->
GenericQ ([XQ r], [r])' from cvs server
cvs checkout: warning: unrecognized response ` k (XQ q : qs, rs) child =
(qs, q' child : rs)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` q' = error "Twin
mismatch" `extQ` q' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response
`-----------------------------------------------------------------------------'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `main = print $ ( geq
[True,True] [True,True]' from cvs server
cvs checkout: warning: unrecognized response ` , geq
[True,True] [True,False]' from cvs server
cvs checkout: warning: unrecognized response ` , geq''
[True,True] [True,True]' from cvs server
cvs checkout: warning: unrecognized response ` , geq''
[True,True] [True,False]' from cvs server
cvs checkout: warning: unrecognized response ` )' from cvs server
cvs checkout: warning: unrecognized response `of twin traversal.' from cvs
server
cvs checkout: warning: unrecognized response `So the full general, stepwise
story is in Data.Generics.Twin,' from cvs server
cvs checkout: warning: unrecognized response `but the short version from the
paper is turned into a test' from cvs server
cvs checkout: warning: unrecognized response `case below. ' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `See the paper for an
explanation.' from cvs server
cvs checkout: warning: unrecognized response ` ' from cvs server
cvs checkout: warning: unrecognized response `-}' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `module Main where' from cvs server
cvs checkout: warning: unrecognized response `import Data.Generics hiding
(GQ,gzipWithQ,geq)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `geq' :: GenericQ (GenericQ Bool)'
from cvs server
cvs checkout: warning: unrecognized response `geq' x y = toConstr x ==
toConstr y' from cvs server
cvs checkout: warning: unrecognized response ` && and (gzipWithQ geq' x
y)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `geq :: Data a => a -> a -> Bool'
from cvs server
cvs checkout: warning: unrecognized response `geq = geq'' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `newtype GQ r = GQ (GenericQ r)'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `gzipWithQ :: GenericQ (GenericQ
r)' from cvs server
cvs checkout: warning: unrecognized response ` -> GenericQ (Gen. For
example, "mkM stepfail" should' from cvs server
cvs checkout: warning: unrecognized response ` not be passed to "everywhereM"
as it will fail for all but one term ' from cvs server
cvs checkout: warning: unrecognized response ` pattern; see "recovered" for a
way to massage "stepfail" accordingly.' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `c) somewhere' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` Descends into term in a
top-down manner, and stops in a given' from cvs server
cvs checkout: warning: unrecognized response ` branch when the argument
succeeds for the subterm at hand. To this' from cvs server
cvs checkout: warning: unrecognized response ` end, it takes an argument that
is perfectly intended to fail for' from cvs server
cvs checkout: warning: unrecognized response ` certain term patterns. Thanks
to the employment of gmapF, the' from cvs server
cvs checkout: warning: unrecognized response ` traversal scheme recovers from
failure when mapping over the immediate' from cvs server
cvs checkout: warning: unrecognized response ` subterms while insisting
success for at least one subterm (say, branch).' from cvs server
cvs checkout: warning: unrecognized response ` This scheme is appropriate if
you want to make sure that a given' from cvs server
cvs checkout: warning: unrecognized response ` rewrite step was actually used
in a traversal. So failure of the' from cvs server
cvs checkout: warning: unrecognized response ` traversal would mean that the
argument failed for all subterms.' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `Contributed by Ralf Laemmel,
[EMAIL PROTECTED]' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-}' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `module Main where' from cvs server
cvs checkout: warning: unrecognized response `import Data.Generics' from cvs
server
cvs checkout: warning: unrecognized response `import Control.Monad' from cvs
server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- Two mutually recursive
datatypes' from cvs server
cvs checkout: warning: unrecognized response `data T1 = T1a Int | T1b T2
deriving (Typeable, Data)' from cvs server
cvs checkout: warning: unrecognized response `data T2 = T2 T1
deriving (Typeable, Data)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- A rewrite step with identity
as catch-all case' from cvs server
cvs checkout: warning: unrecognized response `stepid (T1a 42) = T1a 88' from
cvs server
cvs checkout: warning: unrecognized response `stepid x = x' from cvs
server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- The same rewrite step but now
with failure as catch-all case' from cvs server
cvs checkout: warning: unrecognized response `stepfail (T1a 42) = Just (T1a
88)' from cvs server
cvs checkout: warning: unrecognized response `stepfail _ = Nothing' from
cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- We can let recover potentially
failing generic functions from failure;' from cvs server
cvs checkout: warning: unrecognized response `-- this is illustrated for a
generic made from stepfail via mkM.' from cvs server
cvs checkout: warning: unrecognized response `recovered x = mkM stepfail x
`mplus` Just x' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- A test term that comprehends a
redex' from cvs server
cvs checkout: warning: unrecognized response `term42 = T1b (T2 (T1a 42))' from
cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- A test term that does not
comprehend a redex' from cvs server
cvs checkout: warning: unrecognized response `term37 = T1b (T2 (T1a 37))' from
cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- A number of traversals' from
cvs server
cvs checkout: warning: unrecognized response `result1 = everywhere (mkT stepid)
term42 -- rewrites term accordingly' from cvs server
cvs checkout: warning: unrecognized response `result2 = everywhere (mkT stepid)
term37 -- preserves term without notice' from cvs server
cvs checkout: warning: unrecognized response `result3 = everywhereM (mkM
stepfail) term42 -- fails in a harsh manner' from cvs server
cvs checkout: warning: unrecognized response `result4 = everywhereM (mkM
stepfail) term37 -- fails rather early' from cvs server
cvs checkout: warning: unrecognized response `result5 = everywhereM recovered
term37 -- preserves term without notice' from cvs server
cvs checkout: warning: unrecognized response `result6 = somewhere (mkMp
stepfail) term42 -- rewrites term accordingly' from cvs server
cvs checkout: warning: unrecognized response `result7 = somewhere (mkMp
stepfail) term37 -- fails to notice lack of redex' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `main = print $ gshow ( result1,'
from cvs server
cvs checkout: warning: unrecognized response ` ( result2,'
from cvs server
cvs checkout: warning: unrecognized response ` ( result3,'
from cvs server
cvs checkout: warning: unrecognized response ` ( result4,'
from cvs server
cvs checkout: warning: unrecognized response ` ( result5,'
from cvs server
cvs checkout: warning: unrecognized response ` ( result6,'
from cvs server
cvs checkout: warning: unrecognized response ` ( result7
)))))))' from cvs server
ok. (GHC Version 6.4.2)
**** Building stage 1 compiler ... ok.
**** Building stage 2 compiler ... ok.
**** Building stage 3 compiler ... ok.
**** building source distribution ... ok.
**** building testsuite tools ... ok.
**** running tests ... ok (summary below).
**** building compiler binary distribution ... ok.
**** running nofib (-O) ... ok. (4 failures)
**** running nofib (-O -prof -auto-all) ... ok. (4 failures)
**** running nofib (-O -fasm) ... ok. (4 failures)
**** running nofib (-fasm) ... ok. (4 failures)
**** publishing distfiles ... ok.
**** publishing logs ... ok.
Logs are at http://www.haskell.org/ghc/dist/stable/logs
Dists are at http://www.haskell.org/ghc/dist/stable/dist
Docs are at http://www.haskell.org/ghc/dist/stable/docs
All done!
Nightly build finished successfully at Tue Apr 25 02:03:18 BST 2006
------------- GHC Test summary ---------------------
OVERALL SUMMARY for test run started at Mon Apr 24 23:10:16 BST 2006
1362 total tests, which gave rise to
6034 test cases, of which
1 caused framework failures
1032 were skipped
4900 expected passes
69 expected failures
0 unexpected passes
31 unexpected failures
Unexpected failures:
getDirContents001(normal,opt,optasm,prof,profasm,threaded)
getPermissions001(normal,opt,optasm,prof,profasm,threaded)
perm(normal,opt,optasm,prof,profasm)
twin(normal,opt,optasm,prof,profasm,ghci,threaded)
where(normal,opt,optasm,prof,profasm,ghci,threaded)
----------------------------------------------------
Nightly run ended at Tue Apr 25 02:03:18 BST 2006
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
