From f282b966b72335e72556c9c5b6806ef78059666f Mon Sep 17 00:00:00 2001 From: Stewart Stewart Date: Tue, 11 Aug 2015 20:38:19 -0700 Subject: fixed bug in test for step by step reduction --- src/test/scala/Tests.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/scala/Tests.scala b/src/test/scala/Tests.scala index 2b7e465..171c0e9 100644 --- a/src/test/scala/Tests.scala +++ b/src/test/scala/Tests.scala @@ -102,7 +102,7 @@ object Tests extends TestSuite { "step by step reduction"-{ /*assert( - evalHead(S * (K * S) * K * p * q * r) == (S * (K * S) * K * p * q * r), + evalHead(S * (K * S) * K * p * q * r) == (K * S * p * (K * p) * q * r), evalHead(K * S * p * (K * p) * q * r) == (S * (K * p) * q * r), evalHead(S * (K * p) * q * r) == (K * p * r * (q * r)), evalHead(K * p * r * (q * r)) == (p * (q * r)) -- cgit v1.2.3