;;; array-prims.scm -- array primitives
 ;;;
 ;;; author :  John & Sandra
 ;;; date   :  14 May 1993
 
 
 ;;; Vector reference, returning unboxed value
 
 (define-syntax (prim.vector-sel vec i)
   `(vector-ref ,vec ,i))
 
 
 ;;; Destructive vector update.  All arguments are unboxed.
 
 (define-syntax (prim.vector-update vec i newval)
   `(setf (vector-ref ,vec ,i) ,newval))
 
 
 ;;; Make a vector whose elements are initialized to val (which is boxed).
 
 (define-syntax (prim.make-vector size val)
   `(make-vector ,size ,val))
 
 
 ;;; Copy an existing vector.
 
 (define-syntax (prim.copy-vector vec)
   `(vector-copy ,vec))
 
 
 ;;; Explicit force operation
 
 (define-syntax (prim.force x)
   `(force ,x))
 
 
 ;;; The first parameter is forced first since this prim is declared to
 ;;; be strict in the first arg.
 
 (define-syntax (prim.strict1 force-this leave-this)
   `(begin
      ;; Can't ignore the first argument entirely since doing so
      ;; might result in variable-bound-but-not-referenced errors.
      ;; Hopefully the Lisp compiler will be smart enough to get
      ;; rid of this when appropriate.
      ,force-this
      ;; Don't generate a stupid (force (delay x)) sequence here if
      ;; we don't need to.
      ,(if (and (pair? leave-this)
 	       (or (eq? (car leave-this) 'delay)
 		   (eq? (car leave-this) 'box)))
 	  (cadr leave-this)
 	  `(force ,leave-this))))