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

ffi/com: fix unsigned-int test

Browse Source 
Closes #1633
This commit is contained in:
Matthew Flatt 2017-03-22 12:08:17 -06:00
parent e08328c68c
commit 424906af0a
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
racket/collects/ffi/unsafe/com.rkt
View File

@ -1485,7 +1485,7 @@
(define (unsigned-int? v n) (define (unsigned-int? v n)
(and (exact-integer? v) (and (exact-integer? v)
(positive? v) (not (negative? v))
(zero? (arithmetic-shift v (- n))))) (zero? (arithmetic-shift v (- n)))))
(define (signed-int? v n) (define (signed-int? v n)
@ -2334,3 +2334,19 @@
(unless inited? (unless inited?
(CoInitialize) (CoInitialize)
(set! inited? #t))) (set! inited? #t)))
;; ----------------------------------------
;; Basic tests
(module+ test
(define-syntax-rule (check-true e)
(unless e
(error "test failed" 'e)))
(check-true (unsigned-int? 0 32))
(check-true (not (unsigned-int? -1 32)))
(check-true (unsigned-int? (sub1 (expt 2 32)) 32))
(check-true (not (unsigned-int? (expt 2 32) 32)))
(check-true (not (unsigned-int? (sub1 (expt 2 33)) 32)))
(check-true (signed-int? 0 32))
(check-true (signed-int? -1 32))
(check-true (not (signed-int? (sub1 (expt 2 32)) 32))))