;; The first three lines of this file were inserted by DrScheme. They record metadata
;; about the language level of this file in a form that our tools can easily process.
#reader(lib "htdp-beginner-reader.ss" "lang")((modname 15.3.1) (read-case-sensitive #t) (teachpacks ((lib "testing.ss" "teachpack" "htdp"))) (htdp-settings #8(#t constructor repeating-decimal #f #t none #f ((lib "testing.ss" "teachpack" "htdp")))))
; Worked exercise 15.3.1
; right-of-100? : posn -> boolean
(define (right-of-100? where)
  ; where a posn
  ; (posn-x where) a number(x)
  ; 100 a fixed number we know we'll need
  (> (posn-x where) 100)
  )
(check-expect (right-of-100? (make-posn 75 123)) false)
(check-expect (right-of-100? (make-posn 100 123)) false)
(check-expect (right-of-100? (make-posn 102 123))  true)


(generate-report)