boot2

039-record-typename-unbound.scm (775B)

---

 ; In R7RS-small, the type name introduced by define-record-type is
 ; purely syntactic. After the form runs, only the constructor /
 ; predicate / accessors / mutators have runtime bindings; the type
 ; name itself (`point`) does not. A bare reference must abort with
 ; "scheme1: unbound variable".
 ;
 ; Today this test is green — the impl never bound the name. It exists
 ; to lock in that R7RS behavior against any future change that would
 ; expose the TD as a value (e.g. a generated <point-td> binding).
 (define-record-type point
   (make-point x y)
   point?
   (x point-x)
   (y point-y))
 
 ; Touch a generated binding to prove the form ran.
 (define p (make-point 1 2))
 (if (point? p) 0 (sys-exit 99))
 
 ; Bare reference to the type name -> unbound -> abort.
 point
 (sys-exit 0)