From dbd1cfaf1029539c9268a5101dfd9486a347dac6 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Fri, 26 Nov 2010 11:10:29 +0100 Subject: [PATCH] Don't use `teach-equal?' for `one-of' signature. I did this under the mistaken assumption `equal?' would not work for cycles, I think. --- collects/deinprogramm/signature/signature-syntax.rkt | 5 ++--- collects/lang/private/signature-syntax.rkt | 3 +-- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/collects/deinprogramm/signature/signature-syntax.rkt b/collects/deinprogramm/signature/signature-syntax.rkt index e8962846ec..5bf8b6e758 100644 --- a/collects/deinprogramm/signature/signature-syntax.rkt +++ b/collects/deinprogramm/signature/signature-syntax.rkt @@ -11,8 +11,7 @@ scheme/promise (for-syntax scheme/base) (for-syntax syntax/stx) - (for-syntax stepper/private/shared) - (only-in lang/private/teachprims teach-equal?)) + (for-syntax stepper/private/shared)) (define-for-syntax (phase-lift stx) (with-syntax ((?stx stx)) @@ -50,7 +49,7 @@ (syntax->list #'((?temp ?exp) ...))))) #'(let ((?temp ?exp) ...) ?check ... - (make-case-signature '?name (list ?temp ...) teach-equal? ?stx))))) + (make-case-signature '?name (list ?temp ...) equal? ?stx))))) ((predicate ?exp) (with-syntax ((?stx (phase-lift stx)) (?name name)) diff --git a/collects/lang/private/signature-syntax.rkt b/collects/lang/private/signature-syntax.rkt index 22a02dcc0e..6ec3ac1d95 100644 --- a/collects/lang/private/signature-syntax.rkt +++ b/collects/lang/private/signature-syntax.rkt @@ -11,7 +11,6 @@ (for-syntax scheme/base) (for-syntax syntax/stx) (for-syntax stepper/private/shared) - (only-in lang/private/teachprims teach-equal?) (for-syntax "firstorder.rkt")) (define-for-syntax (phase-lift stx) @@ -50,7 +49,7 @@ (syntax->list #'((?temp ?exp) ...))))) #'(let ((?temp ?exp) ...) ?check ... - (make-case-signature '?name (list ?temp ...) teach-equal? ?stx))))) + (make-case-signature '?name (list ?temp ...) equal? ?stx))))) ((predicate ?exp) (with-syntax ((?stx (phase-lift stx)) (?name name))