[nightly] 16-May-2006 build of STABLE on x86_64-unknown-linux
(cam-03-unx.europe.corp.microsoft.com)
GHC Build Reports
ghcbuild at microsoft.com
Tue May 16 20:58:10 EDT 2006
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 Tue May 16 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 `tderr/1.1.2.2///Tghc-6-4-branch' from cvs server
cvs checkout: warning: unrecognized response `u=rw,g=rw,o=rw' from cvs server
cvs checkout: warning: unrecognized response `228' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `lazypat.hs:7:2:' from cvs server
cvs checkout: warning: unrecognized response ` A lazy (~) pattern connot bind existential type variables' from cvs server
cvs checkout: warning: unrecognized response ` `a' is bound by the pattern for `T' at lazypat.hs:7:4-8' from cvs server
cvs checkout: warning: unrecognized response ` When checking the pattern: ~(T x f)' from cvs server
cvs checkout: warning: unrecognized response ` In the definition of `f': f ~(T x f) = f x' from cvs server
cvs checkout: warning: unrecognized response `///Tghc-6-4-branch' from cvs server
cvs checkout: warning: unrecognized response `u=rw,g=rw,o=rw' from cvs server
cvs checkout: warning: unrecognized response `6' from cvs server
cvs checkout: warning: unrecognized response `(3,4)' from cvs server
cvs checkout: warning: unrecognized response `Proof :: Equal a a' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `match :: TypeR a -> TypeR b -> Maybe (Equal a b)' from cvs server
cvs checkout: warning: unrecognized response `match IntR IntR = succeed EqProof' from cvs server
cvs checkout: warning: unrecognized response `match BoolR BoolR = succeed EqProof' from cvs server
cvs checkout: warning: unrecognized response `match (PairR a b) (PairR c d) =' from cvs server
cvs checkout: warning: unrecognized response ` do { EqProof <- match a c' from cvs server
cvs checkout: warning: unrecognized response ` ; EqProof <- match b d' from cvs server
cvs checkout: warning: unrecognized response ` ; succeed EqProof }' from cvs server
cvs checkout: warning: unrecognized response `match _ _ = fail "match fails" ' 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 `-- checking Variables are consistent' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `checkV :: Int -> TypeR t -> TypeR s -> Maybe(V s t)' from cvs server
cvs checkout: warning: unrecognized response `checkV 0 t1 (PairR t2 p) =' from cvs server
cvs checkout: warning: unrecognized response ` do { EqProof <- match t1 t2' from cvs server
cvs checkout: warning: unrecognized response ` ; return Z }' from cvs server
cvs checkout: warning: unrecognized response `checkV n t1 (PairR ty p) = ' from cvs server
cvs checkout: warning: unrecognized response ` do { v <- checkV (n-1) t1 p; return(S v)}' from cvs server
cvs checkout: warning: unrecognized response `checkV n t1 sr = 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 `-----------------------------------------------------' from cvs server
cvs checkout: warning: unrecognized response `data ExpAst ' from cvs server
cvs checkout: warning: unrecognized response ` = IntCA Int' from cvs server
cvs checkout: warning: unrecognized response ` | BoolCA Bool' from cvs server
cvs checkout: warning: unrecognized response ` | PlusA ExpAst ExpAst' from cvs server
cvs checkout: warning: unrecognized response ` | LteqA ExpAst ExpAst' from cvs server
cvs checkout: warning: unrecognized response ` | VarA Int TyAst' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- Judgments for Expressions' from cvs server
cvs checkout: warning: unrecognized response `data EJudgment s = forall t . EJ (TypeR t) (Exp s t) ' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `checkE :: ExpAst -> TypeR s -> Maybe (EJudgment s)' from cvs server
cvs checkout: warning: unrecognized response `checkE (IntCA n) sr = succeed(EJ IntR (IntC n))' from cvs server
cvs checkout: warning: unrecognized response `checkE (BoolCA b) sr = succeed(EJ BoolR (BoolC b))' from cvs server
cvs checkout: warning: unrecognized response `checkE (PlusA x y) sr =' from cvs server
cvs checkout: warning: unrecognized response ` do { EJ t1 e1 <- checkE x sr' from cvs server
cvs checkout: warning: unrecognized response ` ; EqProof <- match t1 IntR' from cvs server
cvs checkout: warning: unrecognized response ` ; EJ t2 e2 <- checkE y sr' from cvs server
cvs checkout: warning: unrecognized response ` ; EqProof <- match t2 IntR' from cvs server
cvs checkout: warning: unrecognized response ` ; succeed(EJ IntR (Plus e1 e2))}' from cvs server
cvs checkout: warning: unrecognized response `checkE (VarA n ty) sr = ' from cvs server
cvs checkout: warning: unrecognized response ` do { TJ t <- succeed(checkT ty)' from cvs server
cvs checkout: warning: unrecognized response ` ; v <- checkV n t sr ' from cvs server
cvs checkout: warning: unrecognized response ` ; return(EJ t (Var v)) }' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-----------------------------------------------------' from cvs server
cvs checkout: warning: unrecognized response `data ComAst ' from cvs server
cvs checkout: warning: unrecognized response ` = SetA Int TyAst ExpAst' from cvs server
cvs checkout: warning: unrecognized response ` | SeqA ComAst ComAst' from cvs server
cvs checkout: warning: unrecognized response ` | IfA ExpAst ComAst ComAst' from cvs server
cvs checkout: warning: unrecognized response ` | WhileA ExpAst ComAst' from cvs server
cvs checkout: warning: unrecognized response ` | DeclareA TyAst ExpAst ComAst' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `data CJudgment s = EC (Com s)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `checkC :: ComAst -> TypeR s -> Maybe(CJudgment s)' from cvs server
cvs checkout: warning: unrecognized response `checkC (SetA n ty e) sr =' from cvs server
cvs checkout: warning: unrecognized response ` do { TJ t1 <- succeed(checkT ty)' from cvs server
cvs checkout: warning: unrecognized response ` ; v <- checkV n t1 sr' from cvs server
cvs checkout: warning: unrecognized response ` ; EJ t2 e1 <- checkE e sr' from cvs server
cvs checkout: warning: unrecognized response ` ; EqProof <- match t1 t2' from cvs server
cvs checkout: warning: unrecognized response ` ; return(EC (Set v e1))}' from cvs server
cvs checkout: warning: unrecognized response `checkC (SeqA x y) sr = ' from cvs server
cvs checkout: warning: unrecognized response ` do { EC c1 <- checkC x sr' from cvs server
cvs checkout: warning: unrecognized response ` ; EC c2 <- checkC y sr' from cvs server
cvs checkout: warning: unrecognized response ` ; return(EC (Seq c1 c2)) }' from cvs server
cvs checkout: warning: unrecognized response `checkC (IfA e x y) sr = ' from cvs server
cvs checkout: warning: unrecognized response ` do { EJ t1 e1 <- checkE e sr' from cvs server
cvs checkout: warning: unrecognized response ` ; EqProof <- match t1 BoolR' from cvs server
cvs checkout: warning: unrecognized response ` ; EC c1 <- checkC x sr' from cvs server
cvs checkout: warning: unrecognized response ` ; EC c2 <- checkC y sr' from cvs server
cvs checkout: warning: unrecognized response ` ; return(EC(If e1 c1 c2)) }' from cvs server
cvs checkout: warning: unrecognized response `checkC (WhileA e x) sr = ' from cvs server
cvs checkout: warning: unrecognized response ` do { EJ t1 e1 <- checkE e sr' from cvs server
cvs checkout: warning: unrecognized response ` ; EqProof <- match t1 BoolR' from cvs server
cvs checkout: warning: unrecognized response ` ; EC c1 <- checkC x sr' from cvs server
cvs checkout: warning: unrecognized response ` ; return(EC(While e1 c1)) }' from cvs server
cvs checkout: warning: unrecognized response `checkC (DeclareA ty e c) sr = ' from cvs server
cvs checkout: warning: unrecognized response ` do { TJ t1 <- succeed(checkT ty)' from cvs server
cvs checkout: warning: unrecognized response ` ; EJ t2 e2 <- checkE e sr' from cvs server
cvs checkout: warning: unrecognized response ` ; EqProof <- match t1 t2' from cvs server
cvs checkout: warning: unrecognized response ` ; EC c2 <- checkC c (PairR t1 sr)' from cvs server
cvs checkout: warning: unrecognized response ` ; return(EC(Declare e2 c2)) }' 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 `e1 = Lteq (Plus (Var sum_var)(Var x)) (Plus (Var x) (IntC 1))' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `{-' from cvs server
cvs checkout: warning: unrecognized response `data Store s ' from cvs server
cvs checkout: warning: unrecognized response ` = M (Code s)' from cvs server
cvs checkout: warning: unrecognized response ` | forall a b . N (Code a) (Store b) where s = (a,b)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `eval2 :: Exp s t -> Store s -> Code t' from cvs server
cvs checkout: warning: unrecognized response `eval2 (IntC n) s = lift n' from cvs server
cvs checkout: warning: unrecognized response `eval2 (BoolC b) s = lift b' from cvs server
cvs checkout: warning: unrecognized response `eval2 (Plus x y) s = [| $(eval2 x s) + $(eval2 y s) |]' from cvs server
cvs checkout: warning: unrecognized response `eval2 (Lteq x y) s = [| $(eval2 x s) <= $(eval2 y s) |]' from cvs server
cvs checkout: warning: unrecognized response `eval2 (Var Z) (N a b) = a' from cvs server
cvs checkout: warning: unrecognized response `eval2 (Var (S v)) (N a b) = eval2 (Var v) b' from cvs server
cvs checkout: warning: unrecognized response `eval2 (Var Z) (M x) = [| fst $x |]' from cvs server
cvs checkout: warning: unrecognized response `eval2 (Var (S v)) (M x) = eval2 (Var v) (M [| snd $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 `test e = [| \ (x,(y,z)) -> $(eval2 e (N [|x|] (N [|y|] (M [|z|])))) |]' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- test e1 ---> [| \ (x,(y,z)) -> x + y <= y + 1 |]' from cvs server
cvs checkout: warning: unrecognized response `-}Mod-time 27 Sep 2004 15:53:59 -0000' 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 Wed May 17 02:05:05 BST 2006
------------- GHC Test summary ---------------------
OVERALL SUMMARY for test run started at Tue May 16 23:10:40 BST 2006
1365 total tests, which gave rise to
6055 test cases, of which
0 caused framework failures
1032 were skipped
4949 expected passes
69 expected failures
0 unexpected passes
5 unexpected failures
Unexpected failures:
gadt5(normal)
gadt9(normal)
lazypat(normal)
nbe(normal)
while(normal)
----------------------------------------------------
Nightly run ended at Wed May 17 02:05:05 BST 2006
More information about the Cvs-ghc
mailing list