boot2

Playing with the boostrap
git clone https://git.ryansepassi.com/git/boot2.git
Log | Files | Refs | README

151-exact-boundaries.scm (662B)


      1 ; Boot2's tagged exact range is [-2^60, 2^60-1].
      2 (define max #xfffffffffffffff)
      3 (define min #x-1000000000000000)
      4 (if (= max 1152921504606846975) 0 (sys-exit 1))
      5 (if (= min -1152921504606846976) 0 (sys-exit 2))
      6 (if (= min (string->number "-1152921504606846976")) 0 (sys-exit 3))
      7 (if (= max (string->number "1152921504606846975")) 0 (sys-exit 4))
      8 (if (string=? "-1152921504606846976" (number->string min)) 0 (sys-exit 5))
      9 (if (string=? "-1000000000000000" (number->string min 16)) 0 (sys-exit 6))
     10 (if (= 0 (remainder min -1)) 0 (sys-exit 7))
     11 (if (= min (* #x-400000000000000 4)) 0 (sys-exit 8))
     12 (if (= -1 (arithmetic-shift min -1000)) 0 (sys-exit 9))
     13 (sys-exit 0)