From bd608c21a192d4c12d472ba232ca0f5edb4f5027 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 25 May 2014 23:32:43 -0400 Subject: [PATCH] Remove unused function --- minimart/gestalt.rkt | 7 ------- 1 file changed, 7 deletions(-) diff --git a/minimart/gestalt.rkt b/minimart/gestalt.rkt index c9b17ca..5ee9056 100644 --- a/minimart/gestalt.rkt +++ b/minimart/gestalt.rkt @@ -147,13 +147,6 @@ (cons (matcher-combiner (car sa1) (car sa2)) (matcher-combiner (cdr sa1) (cdr sa2)))))) -(define (gestalt-combine-crossed g1 g2 imbalance-handler matcher-combiner) - (gestalt-combine g1 g2 - imbalance-handler - (lambda (sa1 sa2) - (cons (matcher-combiner (car sa1) (cdr sa2)) - (matcher-combiner (car sa2) (cdr sa1)))))) - (define (gestalt-union . gs) (if (null? gs) (gestalt-empty)