boot2

003-bv-fixnum.scm (1136B)

---

 ;; tests/cc-util/03-bv-fixnum.scm — bv->fixnum (values ok? val)
 ;; plumbing and fixnum->bv round-trip.
 ;; Assumes cc/util.scm is loaded.
 ;;
 ;; NOTE: scheme1's number->string and string->number currently ignore
 ;; the radix argument and emit/parse decimal only (see scheme1.P1pp
 ;; comment on prim_string_to_number_entry). util.scm correctly forwards
 ;; the radix per LISP.md; once the prim grows hex support these tests
 ;; will exercise it. For now we only check decimal.
 
 (let-values (((ok? n) (bv->fixnum "42" 10)))
   (if ok?         0 (sys-exit 1))
   (if (= n 42)    0 (sys-exit 2)))
 
 (let-values (((ok? n) (bv->fixnum "-7" 10)))
   (if ok?         0 (sys-exit 3))
   (if (= n -7)    0 (sys-exit 4)))
 
 ;; parse failure -> (values #f #f)
 (let-values (((ok? n) (bv->fixnum "nope" 10)))
   (if ok? (sys-exit 5) 0)
   (if n   (sys-exit 6) 0))
 
 ;; empty bv: parse failure
 (let-values (((ok? n) (bv->fixnum "" 10)))
   (if ok? (sys-exit 7) 0))
 
 ;; round trip via decimal
 (if (bv= (fixnum->bv 42 10)  "42")  0 (sys-exit 8))
 (if (bv= (fixnum->bv 0 10)   "0")   0 (sys-exit 9))
 (if (bv= (fixnum->bv -7 10)  "-7")  0 (sys-exit 10))
 
 (sys-exit 0)