From 4ce0a9ba3574f6f12234c4a204964cb4d9e0af02 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Fri, 9 Oct 2015 12:04:09 -0400
Subject: [PATCH] Disable deterministic reduction check

This check is overly aggressive and giving mostly false positives.
---
 curnel/redex-core.rkt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/curnel/redex-core.rkt b/curnel/redex-core.rkt
index 96187be..93809d6 100644
--- a/curnel/redex-core.rkt
+++ b/curnel/redex-core.rkt
@@ -648,7 +648,9 @@
    (where (_ e_r)
      ,(let ([r (apply-reduction-relation* tt--> (term (Σ e)) #:cache-all? #t)])
         ;; Efficient check for (= (length r) 1)
-        (unless (null? (cdr r))
+        ;; NB: Check is overly aggressive and produces wrong error,
+        ;; because not reducing under lambda.
+        #;(unless (null? (cdr r))
           (error "Church-Rosser broken" r))
         (car r)))])