aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStewart Stewart <stewinsalot@gmail.com>2015-08-11 20:38:19 -0700
committerStewart Stewart <stewinsalot@gmail.com>2015-08-11 20:38:19 -0700
commitf282b966b72335e72556c9c5b6806ef78059666f (patch)
treed4026ca6c80fcdccd289d54c65dbb9567d5c31fb
parent713299999fb163fb34d99cceb5fb4cf8e493f02a (diff)
downloadspn-combinatory-logic-f282b966b72335e72556c9c5b6806ef78059666f.tar.gz
spn-combinatory-logic-f282b966b72335e72556c9c5b6806ef78059666f.tar.bz2
spn-combinatory-logic-f282b966b72335e72556c9c5b6806ef78059666f.zip
fixed bug in test for step by step reduction
-rw-r--r--src/test/scala/Tests.scala2
1 files changed, 1 insertions, 1 deletions
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))