Thu Jan 5 06:22:42 EST 2012 Ben Lippmeier <[email protected]>
* ddc-core: start on effect crusher
A ./test/ddci-core/50-Defib/Ackermann/Local/
./test/ddci-core/50-Defib/Ackermann/Local.dcx ->
./test/ddci-core/50-Defib/Ackermann/Local/Test.dcx
A ./test/ddci-core/50-Defib/Ackermann/Simple/
./test/ddci-core/50-Defib/Ackermann/Simple.dcx ->
./test/ddci-core/50-Defib/Ackermann/Simple/Test.dcx
A ./test/ddci-core/50-Defib/Ackermann/Split/
./test/ddci-core/50-Defib/Ackermann/Split.dcx ->
./test/ddci-core/50-Defib/Ackermann/Split/Test.dcx
M ./packages/ddc-core/DDC/Core/Check/CheckExp.hs -4 +9
M ./packages/ddc-core/DDC/Type/Check/CheckCon.hs +1
M ./packages/ddc-core/DDC/Type/Compounds.hs -1 +2
M ./packages/ddc-core/DDC/Type/Exp.hs +3
M ./packages/ddc-core/DDC/Type/Parser/Lexer.hs +1
M ./packages/ddc-core/DDC/Type/Pretty.hs +1
A ./packages/ddc-core/DDC/Type/Transform/Crush.hs
M ./test/ddci-core/20-Typing/60-Case/Test.dcx -1 +8
M ./test/ddci-core/20-Typing/60-Case/Test.stdout.check -1 +2
A ./test/ddci-core/50-Defib/Ackermann/Local/Test.stdout.check
A ./test/ddci-core/50-Defib/Ackermann/Simple/Test.stdout.check
A ./test/ddci-core/50-Defib/Ackermann/Split/Test.stdout.check
A ./test/ddci-core/50-Defib/Factorial/Test.stdout.check
M ./test/ddci-core/50-Defib/Reverse/Test.dcx -3 +3
A ./test/ddci-core/50-Defib/Reverse/Test.stdout.check
--
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe
