suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

adjust the hole structs a little bit to get better printing at the REPL

Browse Source
This commit is contained in:
Robby Findler 2013-06-25 18:37:35 -05:00
parent 983a811c96
commit 1384d2d277
1 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
pkgs/redex/private/lang-struct.rkt
View File

@ -14,9 +14,16 @@
(define-struct rhs (pattern) #:transparent) (define-struct rhs (pattern) #:transparent)
(define-values (the-hole the-not-hole hole?) (define-values (the-hole the-not-hole hole?)
(let () (let ()
(define-struct hole (id) (define-struct hole ()
#:property prop:equal+hash (list (λ (x y recur) #t) (λ (v recur) 255) (λ (v recur) 65535)) #:property prop:equal+hash (list (λ (x y recur) #t) (λ (v recur) 255) (λ (v recur) 65535))
#:inspector #f) #:inspector #f)
(define the-hole (make-hole 'the-hole)) (define-struct not-hole ()
(define the-not-hole (make-hole 'the-not-hole)) #:property prop:equal+hash (list (λ (x y recur) #t) (λ (v recur) 254) (λ (v recur) 65534))
(values the-hole the-not-hole hole?))) #:inspector #f)
(define the-hole (make-hole))
(define the-not-hole (make-not-hole))
(define -hole?
(let ([hole?
(λ (x) (or (hole? x) (not-hole? x)))])
hole?))
(values the-hole the-not-hole -hole?)))