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

schemify: fix boolean-or-fixnum?

Browse Source 
Also, add null? to equal-implies-eq?
This commit is contained in:
Gustavo Massaccesi 2018-04-10 12:14:11 -03:00
parent a5d0d38ae0
commit 8d08264b41
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
racket/src/schemify/equal.rkt
View File

@ -15,18 +15,19 @@
(let ([val (unwrap val)])
(or (symbol? val)
(keyword? val)
(null? val)
(boolean-or-fixnum? val)))]
[`,val
(let ([val (unwrap val)])
;; Booleans and numbers don't have to be quuted
;; Booleans and numbers don't have to be quoted
(boolean-or-fixnum? val))]))
(define (boolean-or-fixnum? val)
(boolean? val)
(and (integer? val)
(exact? val)
;; Always fixnum? Conversatively...
(<= (- (expt 2 16)) val (expt 2 16))))
(or (boolean? val)
(and (integer? val)
(exact? val)
;; Always fixnum? conservatively...
(<= (- (expt 2 24)) val (- (expt 2 24) 1)))))
(define (equal-implies-eqv? e)
(match e