id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
148,DDC fails the man or boy test.,erikd,erikd,"The test was proposed by Donald Knuth:

   http://rosettacode.org/wiki/Man_or_boy_test

DDC currently fails. My disciple version of the program below:

{{{
a :: Int -> a -> a -> a -> a -> a -> Int
a k x1 x2 x3 x4 x5
 = do	b () = do { k := k - 1 ; a k b x1 x2 x3 x4 }
	if k <= 0 then x4 () + x5 () else b ()

fn n = \() -> n

main ()	-- Function 'a' should return -67
 = do	out = a 10 (fn 1) (fn -1) (fn -1) (fn 1) (fn 0)
 	if out /= -67
	 then println $ ""Output was "" % show out % "". Should have been -67.""
	 else println ""Passed!""
}}}
",defect,closed,blocker,0.1.3,Unknown,0.1.2,invalid,,