syndicate-lang
/
preserves
mirror of https://gitlab.com/preserves/preserves.git
1
0
Fork 1
Code Releases Activity

Remove old commented-out code

This commit is contained in:
Tony Garnock-Jones 2019-08-22 21:14:53 +01:00
parent 54b33f5f13
commit a7147fa123
1 changed files with 0 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
implementations/racket/preserves/main.rkt
View File

@ -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)