Build description = STABLE on i386-unknown-linux
(cam-02-unx.europe.corp.microsoft.com)
Build location = /playpen/ghc/nightly/STABLE-cam-02-unx
Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-02-unx
Nightly build started on cam-02-unx at Wed Jul 26 19: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 `,o=rw' from cvs server
cvs checkout: warning: unrecognized response `17' from cvs server
cvs checkout: warning: unrecognized response `module P.Q where' from cvs server
cvs checkout: warning: server is not creating directories one at a time
cvs checkout: warning: unrecognized response `test('driver022', normal,
run_command_ignore_output, ['$MAKE test022'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver023', normal,
run_command_ignore_output, ['$MAKE test023'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver024', normal,
run_command_ignore_output, ['$MAKE test024'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver024a', normal,
run_command_ignore_output, ['$MAKE test024a'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver025', normal,
run_command_ignore_output, ['$MAKE test025'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver026', normal,
run_command_ignore_output, ['$MAKE test026'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver027', normal,
run_command_ignore_output, ['$MAKE test027'])' from cvs server
cvs checkout: warning: unrecognized response `# test('driver028', normal,
run_command_ignore_output, ['$MAKE test028'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver031', normal,
run_command_ignore_output, ['$MAKE test031'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver032', normal,
run_command_ignore_output, ['$MAKE test032'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver033', normal,
run_command_ignore_output, ['$MAKE test033'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver034', normal,
run_command_ignore_output, ['$MAKE test034'])' from cvs server
cvs checkout: warning: unrecognized response `# test('driver035', normal,
run_command_ignore_output, ['$MAKE test035'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver041', normal,
run_command_ignore_output, ['$MAKE test041'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver042', normal,
run_command_ignore_output, ['$MAKE test042'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver043', normal,
run_command_ignore_output, ['$MAKE test043'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver044', normal,
run_command_ignore_output, ['$MAKE test044'])' from cvs server
cvs checkout: warning: unrecognized response `# test('driver045', normal,
run_command_ignore_output, ['$MAKE test045'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver051', normal,
run_command_ignore_output, ['$MAKE test051'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver052', normal,
run_command_ignore_output, ['$MAKE test052'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver053', normal,
run_command_ignore_output, ['$MAKE test053'])' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `test('driver060', normal,
run_command_ignore_output, ['$MAKE test060'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver061', normal,
run_command_ignore_output, ['$MAKE test061'])' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `test('driver062.1', normal,
run_command_ignore_output, ['$MAKE test062.1'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver062.2', normal,
run_command_ignore_output, ['$MAKE test062.2'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver062.3', normal,
run_command_ignore_output, ['$MAKE test062.3'])' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `test('driver063', normal,
run_command, ['$MAKE -s --no-print-directory test063'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver064', normal,
run_command_ignore_output, ['$MAKE test064'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver065', normal,
run_command_ignore_output, ['$MAKE test065'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver066', normal,
run_command_ignore_output, ['$MAKE test066'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver067', normal,
run_command_ignore_output, ['$MAKE test067'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver068', normal,
run_command_ignore_output, ['$MAKE test068'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver069', normal,
run_command_ignore_output, ['$MAKE test069'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver070', normal,
run_command_ignore_output, ['$MAKE test070'])' from cvs server
cvs checkout: warning: unrecognized response `test('driver071', normal,
run_command_ignore_output, ['$MAKE test071'])' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `test('driver080', normal,
run_command_ignore_output, ['$MAKE test080'])' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `test('driver200', normal,
run_command_ignore_output, ['$MAKE test200'])' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `clean(['B/C.hi', 'B/C.o',
'B/C.ooo', 'B/C.xhi',' from cvs server
cvs checkout: warning: unrecognized response ` 'd1/P/Q.o', 'd2/R/S.o',
'd1/P/Q.hi', 'd2/R/S.hi',' from cvs server
cvs checkout: warning: unrecognized response ` 'A.ooo', 'A.xhi',
r/recomp001/' from cvs server
cvs checkout: warning: unrecognized response `Tghc-6-4-branch' from cvs server
cvs checkout: warning: unrecognized response ` updated at each event.' from cvs
server
cvs checkout: warning: unrecognized response `--' from cvs server
cvs checkout: warning: unrecognized response `-- So maybe one could use the
SAME constructor, just different' from cvs server
cvs checkout: warning: unrecognized response `-- transition functions? It
really depends on what assumptions' from cvs server
cvs checkout: warning: unrecognized response `-- one need to make when
optimizing.' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- Motivation for
event-processing function type' from cvs server
cvs checkout: warning: unrecognized response `-- (alternative would be function
of type a->b plus ensuring that it' from cvs server
cvs checkout: warning: unrecognized response `-- only ever gets invoked on
events):' from cvs server
cvs checkout: warning: unrecognized response `-- * Now we need to be consistent
with other kinds of arrows.' from cvs server
cvs checkout: warning: unrecognized response `-- * We still want to be able to
get hold of the original function.' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `data FunDesc a b where' from cvs
server
cvs checkout: warning: unrecognized response ` FDI :: FunDesc a a
-- Identity function' from cvs server
cvs checkout: warning: unrecognized response ` FDC :: b -> FunDesc a b
-- Constant function' from cvs server
cvs checkout: warning: unrecognized response ` FDE :: (Event a -> b) -> b ->
FunDesc (Event a) b -- Event-processing fun' from cvs server
cvs checkout: warning: unrecognized response ` FDG :: (a -> b) -> FunDesc a
b -- General function' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `fdFun :: FunDesc a b -> (a -> b)'
from cvs server
cvs checkout: warning: unrecognized response `fdFun FDI = id' from cvs
server
cvs checkout: warning: unrecognized response `fdFun (FDC b) = const b' from
cvs server
cvs checkout: warning: unrecognized response `fdFun (FDE f _) = f' from cvs
server
cvs checkout: warning: unrecognized response `fdFun (FDG f) = f' from cvs
server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `fdComp :: FunDesc a b -> FunDesc
b c -> FunDesc a c' from cvs server
cvs checkout: warning: unrecognized response `fdComp FDI fd2 =
fd2' from cvs server
cvs checkout: warning: unrecognized response `fdComp fd1 FDI =
fd1' from cvs server
cvs checkout: warning: unrecognized response `fdComp (FDC b) fd2 =
FDC ((fdFun fd2) b)' from cvs server
cvs checkout: warning: unrecognized response `fdComp _ (FDC c) =
FDC c' from cvs server
cvs checkout: warning: unrecognized response `fdComp (FDE f1 f1ne) fd2 = FDE
(f2 . f1) (f2 f1ne)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` f2 = fdFun fd2' from cvs
server
cvs checkout: warning: unrecognized response `fdComp (FDG f1) (FDE f2 f2ne) =
FDG f' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` f a = case f1 a of' from
cvs server
cvs checkout: warning: unrecognized response ` NoEvent ->
f2ne' from cvs server
cvs checkout: warning: unrecognized response ` f1a -> f2
f1a' from cvs server
cvs checkout: warning: unrecognized response `fdComp (FDG f1) fd2 = FDG (fdFun
fd2 . f1)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- Verifies that the first
argument is NoEvent. Returns the value of the' from cvs server
cvs checkout: warning: unrecognized response `-- second argument that is the
case. Raises an error otherwise.' from cvs server
cvs checkout: warning: unrecognized response `-- Used to check that functions
on events do not map NoEvent to Event' from cvs server
cvs checkout: warning: unrecognized response `-- wherever that assumption is
exploited.' from cvs server
cvs checkout: warning: unrecognized response `vfyNoEv :: Event a -> b -> b'
from cvs server
cvs checkout: warning: unrecognized response `vfyNoEv NoEvent b = b' from cvs
server
cvs checkout: warning: unrecognized response `vfyNoEv _ _ = usrErr
"AFRP" "vfyNoEv"' from cvs server
cvs checkout: warning: unrecognized response `
"Assertion failed: Functions on events must not \' from cvs server
cvs checkout: warning: unrecognized response ` \map
NoEvent to Event."' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `compPrim :: SF a b -> SF b c ->
SF a c' from cvs server
cvs checkout: warning: unrecognized response `compPrim (SF {sfTF = tf10}) (SF
{sfTF = tf20}) = SF {sfTF = tf0}' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` tf0 a0 = (cpXX sf1 sf2, c0)'
from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` (sf1, b0) = tf10 a0'
from cvs server
cvs checkout: warning: unrecognized response ` (sf2, c0) = tf20 b0'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` -- Naming convention: cp<X><Y>
where <X> and <Y> is one of:' from cvs server
cvs checkout: warning: unrecognized response ` -- X - arbitrary signal
function' from cvs server
cvs checkout: warning: unrecognized response ` -- A - arbitrary pure
arrow' from cvs server
cvs checkout: warning: unrecognized response ` -- C - constant arrow'
from cvs server
cvs checkout: warning: unrecognized response ` -- E - event-processing
arrow' from cvs server
cvs checkout: warning: unrecognized response ` -- G - arrow known not to
be identity, constant (C) or' from cvs server
cvs checkout: warning: unrecognized response ` -- event-processing
(E).' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` cpXX :: SF' a b -> SF' b
c -> SF' a c' from cvs server
cvs checkout: warning: unrecognized response ` cpXX (SFArr _ fd1)
sf2 = cpAX fd1 sf2' from cvs server
cvs checkout: warning: unrecognized response ` cpXX sf1
(SFArr _ fd2) = cpXA sf1 fd2' from cvs server
cvs checkout: warning: unrecognized response ` cpXX (SFAcc _ f1 s1 bne)
(SFAcc _ f2 s2 cne) =' from cvs server
cvs checkout: warning: unrecognized response ` sfAcc f (s1, s2)
(vfyNoEv bne cne)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` f (s1, s2) a =' from
cvs server
cvs checkout: warning: unrecognized response ` case f1 s1 a of'
from cvs server
cvs checkout: warning: unrecognized response ` (s1', NoEvent)
-> ((s1', s2), cne)' from cvs server
cvs checkout: warning: unrecognized response ` (s1', Event b)
->' from cvs server
cvs checkout: warning: unrecognized response ` let (s2',
c) = f2 s2 b in ((s1', s2'), c)' from cvs server
cvs checkout: warning: unrecognized response ` cpXX (SFCpAXA _ fd11 sf12
fd13) (SFCpAXA _ fd21 sf22 fd23) =' from cvs server
cvs checkout: warning: unrecognized response ` cpAXA fd11 (cpXX
(cpXA sf12 (fdComp fd13 fd21)) sf22) fd23' from cvs server
cvs checkout: warning: unrecognized response ` cpXX sf1 sf2 = SF' tf' from cvs
server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` tf dt a = (cpXX sf1'
sf2', c)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs
server
cvs checkout: warning: unrecognized response ` (sf1', b) =
(sfTF' sf1) dt a' from cvs server
cvs checkout: warning: unrecognized response ` (sf2', c) =
(sfTF' sf2) dt b' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` cpAXA :: FunDesc a b ->
SF' b c -> FunDesc c d -> SF' a d' from cvs server
cvs checkout: warning: unrecognized response ` cpAXA FDI sf2 fd3
= cpXA sf2 fd3' from cvs server
cvs checkout: warning: unrecognized response ` cpAXA fd1 sf2 FDI
= cpAX fd1 sf2' from cvs server
cvs checkout: warning: unrecognized response ` cpAXA (FDC b) sf2 fd3
= cpCXA b sf2 fd3' from cvs server
cvs checkout: warning: unrecognized response ` cpAXA fd1 sf2 (FDC d)
= sfConst d ' from cvs server
cvs checkout: warning: unrecognized response ` cpAXA fd1 (SFArr _ fd2)
fd3 = sfArr (fdComp (fdComp fd1 fd2) fd3)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` cpAX :: FunDesc a b -> SF' b c
-> SF' a c' from cvs server
cvs checkout: warning: unrecognized response ` cpAX FDI sf2 =
sf2' from cvs server
cvs checkout: warning: unrecognized response ` cpAX (FDC b) sf2 =
cpCX b sf2' from cvs server
cvs checkout: warning: unrecognized response ` cpAX (FDE f1 f1ne) sf2 =
cpEX f1 f1ne sf2' from cvs server
cvs checkout: warning: unrecognized response ` cpAX (FDG f1) sf2 =
cpGX f1 sf2' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` cpXA :: SF' a b -> FunDesc b c
-> SF' a c' from cvs server
cvs checkout: warning: unrecognized response ` cpXA sf1 FDI =
sf1' from cvs server
cvs checkout: warning: unrecognized response ` cpXA sf1 (FDC c) =
sfConst c' from cvs server
cvs checkout: warning: unrecognized response ` cpXA sf1 (FDE f2 f2ne) =
cpXE sf1 f2 f2ne' from cvs server
cvs checkout: warning: unrecognized response ` cpXA sf1 (FDG f2) =
cpXG sf1 f2' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` cpCX :: b -> SF' b c ->
SF' a c' from cvs server
cvs checkout: warning: unrecognized response ` cpCX b (SFArr _ fd2)
= sfConst ((fdFun fd2) b)' from cvs server
cvs checkout: warning: unrecognized response ` cpCX b (SFAcc _ _ _ cne)
= sfConst (vfyNoEv b cne)' from cvs server
cvs checkout: warning: unrecognized response ` cpCX b (SFCpAXA _ fd21
sf22 fd23) =' from cvs server
cvs checkout: warning: unrecognized response ` cpCXA ((fdFun fd21)
b) sf22 fd23' from cvs server
cvs checkout: warning: unrecognized response ` cpCX b sf2 = SFCpAXA tf (FDC b)
sf2 FDI' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` tf dt _ = (cpCX b sf2',
c)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs
server
cvs checkout: warning: unrecognized response ` (sf2', c) =
(sfTF' sf2) dt b' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- For SPJ: The following version
did not work. ' from cvs server
cvs checkout: warning: unrecognized response `-- The commented out one below
did work, by lambda-lifting cpCXAux' from cvs server
cvs checkout: warning: unrecognized response ` cpCXA :: b -> SF' b c ->
FunDesc c d -> SF' a d' from cvs server
cvs checkout: warning: unrecognized response ` cpCXA b sf2 FDI =
cpCX b sf2' from cvs server
cvs checkout: warning: unrecognized response ` cpCXA _ _ (FDC c) =
sfConst c' from cvs server
cvs checkout: warning: unrecognized response ` cpCXA b (sf2 :: SF' b c)
(fd3 :: FunDesc c d) = cpCXAAux sf2' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` f3 = fdFun fd3'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` cpCXAAux :: SF' b c ->
SF' a d' from cvs server
cvs checkout: warning: unrecognized response ` cpCXAAux (SFArr _
fd2) = sfConst (f3 ((fdFun fd2) b))' from cvs server
cvs checkout: warning: unrecognized response ` cpCXAAux (SFAcc _
_ _ cne) = sfConst (vfyNoEv b (f3 cne))' from cvs server
cvs checkout: warning: unrecognized response ` cpCXAAux (SFCpAXA
_ fd21 sf22 fd23) = cpCXA ((fdFun fd21) b) sf22 (fdComp fd23 fd3)' from cvs
server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `{- -- For SPJ: This version
works' from cvs server
cvs checkout: warning: unrecognized response ` cpCXA :: b -> SF' b c ->
FunDesc c d -> SF' a d' from cvs server
cvs checkout: warning: unrecognized response ` cpCXA b sf2 FDI =
cpCX b sf2' from cvs server
cvs checkout: warning: unrecognized response ` cpCXA _ _ (FDC c) =
sfConst c' from cvs server
cvs checkout: warning: unrecognized response ` cpCXA b sf2 fd3 =
cpCXAAux b fd3 (fdFun fd3) sf2' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` -- f3 = fdFun
fd3' from cvs server
cvs checkout: warning: unrecognized response ` -- Really something
like: cpCXAAux :: SF' b c -> SF' a d' from cvs server
cvs checkout: warning: unrecognized response ` cpCXAAux :: b ->
FunDesc c d -> (c -> d) -> SF' b c -> SF' a d' from cvs server
cvs checkout: warning: unrecognized response ` cpCXAAux b fd3 f3
(SFArr _ fd2) = sfConst (f3 ((fdFun fd2) b))' from cvs server
cvs checkout: warning: unrecognized response ` cpCXAAux b fd3 f3
(SFAcc _ _ _ cne) = sfConst (vfyNoEv b (f3 cne))' from cvs server
cvs checkout: warning: unrecognized response ` cpCXAAux b fd3 f3
(SFCpAXA _ fd21 sf22 fd23) = cpCXA ((fdFun fd21) b) sf22 (fdComp fd23 fd3)'
from cvs server
cvs checkout: warning: unrecognized response `-}' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` cpGX :: (a -> b) -> SF' b
c -> SF' a c' from cvs server
cvs checkout: warning: unrecognized response ` cpGX f1 (SFArr _ fd2) = sfArr
(fdComp (FDG f1) fd2)' from cvs server
cvs checkout: warning: unrecognized response ` cpGX f1 (SFCpAXA _ fd21
sf22 fd23) =' from cvs server
cvs checkout: warning: unrecognized response ` cpAXA (fdComp (FDG
f1) fd21) sf22 fd23' from cvs server
cvs checkout: warning: unrecognized response ` cpGX f1 sf2 = SFCpAXA tf (FDG
f1) sf2 FDI' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` tf dt a = (cpGX f1
sf2', c)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs
server
cvs checkout: warning: unrecognized response ` (sf2', c) =
(sfTF' sf2) dt (f1 a)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` cpXG :: SF' a b -> (b ->
c) -> SF' a c' from cvs server
cvs checkout: warning: unrecognized response ` cpXG (SFArr _ fd1) f2 = sfArr
(fdComp fd1 (FDG f2))' from cvs server
cvs checkout: warning: unrecognized response ` cpXG (SFAcc _ f1 s bne)
f2 = sfAcc f s (f2 bne)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` f s a = let (s',
b) = f1 s a in (s', f2 b)' from cvs server
cvs checkout: warning: unrecognized response ` cpXG (SFCpAXA _ fd11 sf12 fd22)
f2 =' from cvs server
cvs checkout: warning: unrecognized response ` cpAXA fd11 sf12
(fdComp fd22 (FDG f2))' from cvs server
cvs checkout: warning: unrecognized response ` cpXG sf1 f2 = SFCpAXA tf FDI
sf1 (FDG f2)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` tf dt a = (cpXG sf1'
f2, f2 b)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs
server
cvs checkout: warning: unrecognized response ` (sf1', b) =
(sfTF' sf1) dt a' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` cpEX :: (Event a -> b) ->
b -> SF' b c -> SF' (Event a) c' from cvs server
cvs checkout: warning: unrecognized response ` cpEX f1 f1ne (SFArr _ fd2) =
sfArr (fdComp (FDE f1 f1ne) fd2)' from cvs server
cvs checkout: warning: unrecognized response ` cpEX f1 f1ne (SFAcc _ f2 s cne)
= sfAcc f s (vfyNoEv f1ne cne)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` f s a = f2 s
(fromEvent (f1 (Event a)))' from cvs server
cvs checkout: warning: unrecognized response ` cpEX f1 f1ne (SFCpAXA _ fd21
sf22 fd23) =' from cvs server
cvs checkout: warning: unrecognized response ` cpAXA (fdComp (FDE f1
f1ne) fd21) sf22 fd23' from cvs server
cvs checkout: warning: unrecognized response ` cpEX f1 f1ne sf2 = SFCpAXA tf
(FDE f1 f1ne) sf2 FDI' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` tf dt ea = (cpEX f1
f1ne sf2', c)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs
server
cvs checkout: warning: unrecognized response ` (sf2', c)
= case ea of' from cvs server
cvs checkout: warning: unrecognized response `
NoEvent -> (sfTF' sf2) dt f1ne' from cvs server
cvs checkout: warning: unrecognized response `
_ -> (sfTF' sf2) dt (f1 ea)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` cpXE :: SF' a (Event b) ->
(Event b -> c) -> c -> SF' a c' from cvs server
cvs checkout: warning: unrecognized response ` cpXE (SFArr _ fd1) f2
f2ne = sfArr (fdComp fd1 (FDE f2 f2ne))' from cvs server
cvs checkout: warning: unrecognized response ` cpXE (SFAcc _ f1 s bne)
f2 f2ne = sfAcc f s (vfyNoEv bne f2ne)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` f s a = let (s',
eb) = f1 s a' from cvs server
cvs checkout: warning: unrecognized response ` in' from
cvs server
cvs checkout: warning: unrecognized response ` case
eb of NoEvent -> (s', f2ne); _ -> (s', f2 eb)' from cvs server
cvs checkout: warning: unrecognized response ` cpXE (SFCpAXA _ fd11 sf12
fd13) f2 f2ne =' from cvs server
cvs checkout: warning: unrecognized response ` cpAXA fd11 sf12
(fdComp fd13 (FDE f2 f2ne))' from cvs server
cvs checkout: warning: unrecognized response ` cpXE sf1 f2 f2ne = SFCpAXA tf
FDI sf1 (FDE f2 f2ne)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` tf dt a = (cpXE sf1' f2
f2ne,' from cvs server
cvs checkout: warning: unrecognized response ` case
eb of NoEvent -> f2ne; _ -> f2 eb)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs
server
cvs checkout: warning: unrecognized response ` (sf1',
eb) = (sfTF' sf1) dt a' from cvs server
cvs checkout: warning: unrecognized response `ccessible branch' from cvs server
cvs checkout: warning: unrecognized response `test = baz (E) ' from cvs server
cvs checkout: warning: unrecognized response `nOpt (First f) = first (runOpt
f)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `instance Arrow arr => Arrow (Opt
arr) where' from cvs server
cvs checkout: warning: unrecognized response ` arr = Lift . arr' from cvs
server
cvs checkout: warning: unrecognized response ` ' from cvs server
cvs checkout: warning: unrecognized response ` First f >>> First g = First (f
>>> g)' from cvs server
cvs checkout: warning: unrecognized response ` f >>> g = Lift (runOpt f >>>
runOpt g)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response ` first = First' from cvs server
cvs checkout: warning: unrecognized response
`-----------------------------------' from cvs server
cvs checkout: warning: unrecognized response `data TyEnv g where' from cvs
server
cvs checkout: warning: unrecognized response ` Nil :: TyEnv g' from cvs server
cvs checkout: warning: unrecognized response ` Cons :: Ty t -> TyEnv h ->
TyEnv (h,t)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `infer :: TyEnv g -> Exp g t -> Ty
t' from cvs server
cvs checkout: warning: unrecognized response `infer g (Var x) =
inferVar g x' from cvs server
cvs checkout: warning: unrecognized response `infer g (Lam t e) = Arr t (infer
(Cons t g) e)' from cvs server
cvs checkout: warning: unrecognized response `infer g (App e e') = case
infer g e of Arr _ t -> t' from cvs server
cvs checkout: warning: unrecognized response `infer g (ETrue) = Bool'
from cvs server
cvs checkout: warning: unrecognized response `infer g (EFalse) = Bool' from
cvs server
cvs checkout: warning: unrecognized response `infer g (If _ e _) = infer
g e' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `inferVar :: TyEnv g -> Var g t ->
Ty t' from cvs server
cvs checkout: warning: unrecognized response `inferVar (Cons t h) (SVar x) =
inferVar h x' from cvs server
cvs checkout: warning: unrecognized response `inferVar (Cons t h) (ZVar) = t'
from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- tree monad
------------------------------------------------------------------' from cvs
server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `data Tree a = Val a | Choice
(Tree a) (Tree a)' from cvs server
cvs checkout: warning: unrecognized response `-- doesn't yet force trees to be
fully balanced:' from cvs server
cvs checkout: warning: unrecognized response `-- Val :: a -> Tree a Z'
from cvs server
cvs checkout: warning: unrecognized response `-- Choice :: Tree a n ->
Tree a n -> Tree a (S n)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `instance Monad Tree where' from
cvs server
cvs checkout: warning: unrecognized response ` return x = Val x' from cvs
server
cvs checkout: warning: unrecognized response ` (Val a) >>= f = f a' from cvs
server
cvs checkout: warning: unrecognized response ` (Choice l r) >>= f = Choice (l
>>= f) (r >>= f)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `tmap :: Monad m => (a->b) -> m a
-> m b' from cvs server
cvs checkout: warning: unrecognized response `tmap f x = do { a <- x; return (f
a) }' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `flatten t = flatten_ t []' from
cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` flatten_ (Val a) k = a:k'
from cvs server
cvs checkout: warning: unrecognized response ` flatten_ (Choice l r) k =
flatten_ l (flatten_ r k)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- quote & friends
-------------------------------------------------------------' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- for values
--------------------------' from cvs server
cvs checkout: warning: unrecognized response `enumV :: Ty t -> Tree
t' from cvs server
cvs checkout: warning: unrecognized response `questionsV :: Ty t -> [t
-> Bool]' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `enumV Bool = Choice (Val
True) (Val False)' from cvs server
cvs checkout: warning: unrecognized response `enumV (Arr s t) = mkEnum
(questionsV s) (enumV t)' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` mkEnum [] t = tmap const t'
from cvs server
cvs checkout: warning: unrecognized response ` mkEnum (q:qs) es = do' from
cvs server
cvs checkout: warning: unrecognized response ` f1 <- mkEnum
qs es' from cvs server
cvs checkout: warning: unrecognized response ` f2 <- mkEnum qs es'
from cvs server
cvs checkout: warning: unrecognized response ` return (\d -> if q d
then f1 d else f2 d)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `questionsV Bool =
return (\x -> x)' from cvs server
cvs checkout: warning: unrecognized response `questionsV (Arr s t) = do'
from cvs server
cvs checkout: warning: unrecognized response ` d <- flatten
(enumV s)' from cvs server
cvs checkout: warning: unrecognized response ` q <-
questionsV t' from cvs server
cvs checkout: warning: unrecognized response ` return (\f ->
q (f d))' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- for expressions
---------------------' from cvs server
cvs checkout: warning: unrecognized response `enumE :: Ty t -> Tree
(Exp g t)' from cvs server
cvs checkout: warning: unrecognized response `questionsE :: Ty t -> [Exp
g t -> Exp g Bool]' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `enumE Bool = Choice (Val
ETrue) (Val EFalse)' from cvs server
cvs checkout: warning: unrecognized response `enumE (Arr s t) = tmap (lamE s)
(mkEnumE (questionsE s) (enumE t))' from cvs server
cvs checkout: warning: unrecognized response ` where' from cvs server
cvs checkout: warning: unrecognized response ` mkEnumE [] t = tmap const t'
from cvs server
cvs checkout: warning: unrecognized response ` mkEnumE (q:qs) es = do' from
cvs server
cvs checkout: warning: unrecognized response ` f1 <-
mkEnumE qs es' from cvs server
cvs checkout: warning: unrecognized response ` f2 <- mkEnumE
qs es' from cvs server
cvs checkout: warning: unrecognized response ` return (\d ->
ifE (q d) (f1 d) (f2 d))' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `questionsE Bool =
return (\x -> x)' from cvs server
cvs checkout: warning: unrecognized response `questionsE (Arr s t) = do'
from cvs server
cvs checkout: warning: unrecognized response ` d <- flatten
(enumE s)' from cvs server
cvs checkout: warning: unrecognized response ` q <-
questionsE t' from cvs server
cvs checkout: warning: unrecognized response ` return (\f ->
q (App f d))' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- should be ' from cvs server
cvs checkout: warning: unrecognized response `-- find (List (Exp g Bool)
n) -> Tree (Exp g a) n -> Exp g a' from cvs server
cvs checkout: warning: unrecognized response `find :: [Exp g Bool] -> Tree (Exp
g a) -> Exp g a' from cvs server
cvs checkout: warning: unrecognized response `find [] (Val a)
= a' from cvs server
cvs checkout: warning: unrecognized response `find (b:bs) (Choice l r)
= ifE b (find bs l) (find bs r)' from cvs server
cvs checkout: warning: unrecognized response `find _ _
= error "bad arguments to find"' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `quote :: Ty t -> t -> Exp g t'
from cvs server
cvs checkout: warning: unrecognized response `quote Bool t = case t of
True -> ETrue; False -> EFalse' from cvs server
cvs checkout: warning: unrecognized response `quote (Arr s t) f = lamE s (\e ->
find (do q <- questionsE s; return (q e))' from cvs server
cvs checkout: warning: unrecognized response `
(tmap (quote t . f) (enumV s)))' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- normalization (by evaluation)
----------------------------------EXVAL c x
' from cvs server
cvs checkout: warning: unrecognized response `
' from cvs server
cvs checkout: warning: unrecognized response `-- -- the first cool theorem!
' from cvs server
cvs checkout: warning: unrecognized response `-- fromTEnvToEnv :: IN g (x,ty)
-> WFEnv x c g -> INEXVAL c x
' from cvs server
cvs checkout: warning: unrecognized response `-- fromTEnvToEnv INOne (WFOne isv
_) = INEXVAL INOne isv
' from cvs server
cvs checkout: warning: unrecognized response `-- fromTEnvToEnv (INShift ind1)
(WFShift ind2) =
' from cvs server
cvs checkout: warning: unrecognized response `-- case (fromTEnvToEnv
ind1 ind2) of
' from cvs server
cvs checkout: warning: unrecognized response `-- INEXVAL i isv ->
INEXVAL (INShift i) isv
' 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 ISLAMBDA v where ISLAMBDA ::
ISLAMBDA (Abs (Var x) e)
' from cvs server
cvs checkout: warning: unrecognized response `data ISLIT v where ISLIT :: ISLIT
Lit
' from cvs server
cvs checkout: warning: unrecognized response `
' from cvs server
cvs checkout: warning: unrecognized response `data EXISTAbs where
' from cvs server
cvs checkout: warning: unrecognized response ` EXISTSAbs :: (Abs (Var x) e) ->
EXISTAbs
' from cvs server
cvs checkout: warning: unrecognized response `
' from cvs server
cvs checkout: warning: unrecognized response `bot = bot
' from cvs server
cvs checkout: warning: unrecognized response `
' from cvs server
cvs checkout: warning: unrecognized response `canFormsLam :: ISVAL v -> DER g v
(TyArr ty1 ty2) -> ISLAMBDA v
' from cvs server
cvs checkout: warning: unrecognized response `canFormsLam ISVALAbs _ = ISLAMBDA
' from cvs server
cvs checkout: warning: unrecognized response `-- canFormsLam ISVALLit _ = bot
<== unfortunately I cannot catch this ... requires some exhaustiveness
check :-(
' from cvs server
cvs checkout: warning: unrecognized response `
' from cvs server
cvs checkout: warning: unrecognized response `canFormsLit :: ISVAL v -> DER g v
TyBase -> ISLIT v
' from cvs server
cvs checkout: warning: unrecognized response `canFormsLit ISVALLit _ = ISLIT
' from cvs server
cvs checkout: warning: unrecognized response `
' from cvs server
cvs checkout: warning: unrecognized response `data NULL
' from cvs server
cvs checkout: warning: unrecognized response `
' from cvs server
cvs checkout: warning: unrecognized response `progress :: DER NULL e ty ->
Either (ISVAL e) (REDUCES e)
' from cvs server
cvs checkout: warning: unrecognized response `
' from cvs server
cvs checkout: warning: unrecognized response `progress (DAbs prem) = Left
ISVALAbs
' from cvs server
cvs checkout: warning: unrecognized response `progress (DLit) = Left
ISVALLit
' from cvs server
cvs checkout: warning: unrecognized response `-- progress (DVar iw) = bot
<== here is the cool trick! I cannot even wite this down!
' from cvs server
cvs checkout: warning: unrecognized response `progress (DApp e1 e2) =
' from cvs server
cvs checkout: warning: unrecognized response ` case (progress e1) of
' from cvs server
cvs checkout: warning: unrecognized response ` Right (REDUCES r1) ->
Right (REDUCES (EApp1 r1))
' from cvs server
cvs checkout: warning: unrecognized response ` Left isv1 ->
case (progress e2) of
' from cvs server
cvs checkout: warning: unrecognized response `
Right (REDUCES r2) -> Right (REDUCES (EApp2 isv1 r2))
' from cvs server
cvs checkout: warning: unrecognized response `
Left isv2 -> case (canFormsLam isv1 e1) of
' from cvs server
cvs checkout: warning: unrecognized response `
ISLAMBDA -> Right (REDUCES (EAppAbs isv2 SUBSTReact))
' from cvs server
cvs checkout: warning: unrecognized response `
' from cvs server
cvs checkout: warning: unrecognized response `
' from cvs server
cvs checkout: warning: unrecognized response `-- case fromTEnvToEnv iw (f
iw) of
' from cvs server
cvs checkout: warning: unrecognized response `-- INEXVAL i isv -> Right
(REDUCES (EVar i isv))
' from cvs server
cvs checkout: warning: unrecognized response `-- progress (WFENVWRAP f) (DApp
e1 e2) =
' from cvs server
cvs checkout: warning: unrecognized response `-- case (progress
(WFENVWRAP f) e1) of
' from cvs server
cvs checkout: warning: unrecognized response `-- Right (REDUCES r1) ->
Right (REDUCES (EApp1 r1))
' from cvs server
cvs checkout: warning: unrecognized response `-- Left isv1 ->
case (progress (WFENVWRAP f) e2) of
' from cvs server
cvs checkout: warning: unrecognized response `--
Right (REDUCES r2) -> Right (REDUCES (EApp2 isv1 r2))
' from cvs server
cvs checkout: warning: unrecognized response `--
Left isv2 -> case (canFormsLam isv1 e1) of
' from cvs server
cvs checkout: warning: unrecognized response `--
ISLAMBDA -> EAppAbs isv2 e1
' 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 ` s' from cvs server
cvs checkout: warning: unrecognized response `exec (Seq x y) s = exec y (exec x
s)' from cvs server
cvs checkout: warning: unrecognized response `exec (If test x1 x2) s =' from
cvs server
cvs checkout: warning: unrecognized response ` if (eval test s) then exec x1 s
else exec x2 s' from cvs server
cvs checkout: warning: unrecognized response `exec (While test body) s = loop
s' from cvs server
cvs checkout: warning: unrecognized response ` where loop s = if (eval test s)
' from cvs server
cvs checkout: warning: unrecognized response ` then loop
(exec body s) ' from cvs server
cvs checkout: warning: unrecognized response ` else s' from
cvs server
cvs checkout: warning: unrecognized response `exec (Declare e body) s = store'
from cvs server
cvs checkout: warning: unrecognized response ` where (_,store) = (exec body
(eval e s,s))' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `v0 = Z' from cvs server
cvs checkout: warning: unrecognized response `v1 = S Z' from cvs server
cvs checkout: warning: unrecognized response `v2 = S (S Z)' from cvs server
cvs checkout: warning: unrecognized response `v3 = S (S (S Z))' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `e2 = Lteq (Plus (Var v0)(Var v1))
(Plus (Var v0) (IntC 1))' from cvs server
cvs checkout: warning: unrecognized response ` ' from cvs server
cvs checkout: warning: unrecognized response `sum_var = Z' from cvs server
cvs checkout: warning: unrecognized response `x = S Z' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `prog :: Com (Int,(Int,a))' from
cvs server
cvs checkout: warning: unrecognized response `prog = ' from cvs server
cvs checkout: warning: unrecognized response ` Seq (Set sum_var (IntC 0))' from
cvs server
cvs checkout: warning: unrecognized response ` (Seq (Set x (IntC 1))' from
cvs server
cvs checkout: warning: unrecognized response ` (While (Lteq (Var x) (IntC
5))' from cvs server
cvs checkout: warning: unrecognized response ` (Seq (Set sum_var
(Plus (Var sum_var)(Var x)))' from cvs server
cvs checkout: warning: unrecognized response ` (Set x (Plus
(Var x) (IntC 1))))))' from cvs server
cvs checkout: warning: unrecognized response ` ' from cvs
server
cvs checkout: warning: unrecognized response `ans = exec prog (34,(12,1))
' from cvs server
cvs checkout: warning: unrecognized response `main = print ans' from cvs server
cvs checkout: warning: unrecognized response `{-' from cvs server
cvs checkout: warning: unrecognized response `{ sum = 0 ;' from cvs server
cvs checkout: warning: unrecognized response ` x = 1;' from cvs server
cvs checkout: warning: unrecognized response ` while (x <= 5)' from cvs server
cvs checkout: warning: unrecognized response ` { sum = sum + x;' from cvs
server
cvs checkout: warning: unrecognized response ` x = x + 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 `-}' 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 `-- Untyped Annotated AST' from
cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `data TyAst = I | B | P TyAst
TyAst' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `data TypeR t where' from cvs
server
cvs checkout: warning: unrecognized response ` IntR :: TypeR Int' from cvs
server
cvs checkout: warning: unrecognized response ` BoolR :: TypeR Bool' from cvs
server
cvs checkout: warning: unrecognized response ` PairR :: TypeR a -> TypeR b ->
TypeR (a,b) ' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `-- Judgments for Types' from cvs
server
cvs checkout: warning: unrecognized response `data TJudgment = forall t . TJ
(TypeR t) ' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response `checkT :: TyAst -> TJudgment'
from cvs server
cvs checkout: warning: unrecognized response `checkT I = TJ IntR' from cvs
server
cvs checkout: warning: unrecognized response `checkT B = TJ BoolR' from cvs
server
cvs checkout: warning: unrecognized response `checkT (P x y) = ' from cvs server
cvs checkout: warning: unrecognized response ` case (checkT x,checkT y) of'
from cvs server
cvs checkout: warning: unrecognized response ` (TJ a, TJ b) -> TJ(PairR a
b)' from cvs server
cvs checkout: warning: unrecognized response `' from cvs server
cvs checkout: warning: unrecognized response
`----------------------------------------------------' from cvs server
cvs checkout: warning: unrecognized response `-- Equality Proofs and Type
representations' from cvs server
cvs checkout: warning: unrecognized response `data Equal a b where' from cvs
server
cvs checkout: warning: unrecognized response ` EqProof :: 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.20060726)
**** 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.
**** running nofib (-O -prof -auto-all) ... ok.
**** running nofib (-O -fasm-x86) ... ok. (4 failures)
**** running nofib (-fasm-x86) ... ok. (4 failures)
**** publishing distfiles ... ok.
**** publishing logs ... ok.
**** publishing docs ... 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 Thu Jul 27 01:34:47 BST 2006
------------- GHC Test summary ---------------------
OVERALL SUMMARY for test run started at Wed Jul 26 22:10:41 BST 2006
1298 total tests, which gave rise to
5904 test cases, of which
0 caused framework failures
950 were skipped
4890 expected passes
63 expected failures
0 unexpected passes
1 unexpected failures
Unexpected failures:
rn.prog006(normal)
----------------------------------------------------
Nightly run ended at Thu Jul 27 01:34:47 BST 2006
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
