From a7147fa1235b39d5de7d7a8373f1c7b80ef7c983 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 22 Aug 2019 21:14:53 +0100 Subject: [PATCH] Remove old commented-out code --- implementations/racket/preserves/main.rkt | 25 ----------------------- 1 file changed, 25 deletions(-) diff --git a/implementations/racket/preserves/main.rkt b/implementations/racket/preserves/main.rkt index 400a044..c9534c8 100644 --- a/implementations/racket/preserves/main.rkt +++ b/implementations/racket/preserves/main.rkt @@ -856,31 +856,6 @@ (define (d-strip bs) (strip-annotations (d bs))) - ;; (define-syntax (cross-check stx) - ;; (syntax-case stx () - ;; ((_ text v (b ...)) - ;; #'(let ((val v)) (cross-check text v v (b ...)))) - ;; ((_ text forward back (b ...)) - ;; #`(let ((loc #,(source-location->string #'forward))) - ;; (check-equal? (string->preserve text) back loc) - ;; (check-equal? (d (encode forward)) back loc) - ;; (check-equal? (d (encode back)) back loc) - ;; (check-equal? (d (expected b ...)) back loc) - ;; (check-equal? (encode forward) (expected b ...) loc) - ;; )))) - - ;; (define-syntax (cross-check/nondeterministic stx) - ;; (syntax-case stx () - ;; ((_ text v (b ...)) - ;; #'(let ((val v)) (cross-check/nondeterministic text v v (b ...)))) - ;; ((_ text forward back (b ...)) - ;; #`(let ((loc #,(source-location->string #'forward))) - ;; (check-equal? (string->preserve text) back loc) - ;; (check-equal? (d (encode forward)) back loc) - ;; (check-equal? (d (encode back)) back loc) - ;; (check-equal? (d (expected b ...)) back loc) - ;; )))) - (struct discard () #:prefab) (struct capture (detail) #:prefab) (struct observe (specification) #:prefab)