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
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
