;;; -*- Mode:Lisp; Readtable:T; Package:USER; Base:10; Patch-File:T -*-
;;; Patch file for VERIFY version 1.2
;;; Reason:
;;;  late-model-data-p hack
;;; Written 6-May-85 14:16:41 by rg,
;;; while running on Lambda Nine from band 0
;;; with Experimental System 104.6, Experimental VERIFY 1.1, microcode 1143, 104 Volatile.



; From file DIGEST.LISP#> L.VERIFY; DJ: (32)
#10R VERIFICATION-INTERNALS#:
(COMPILER-LET ((*PACKAGE* (PKG-FIND-PACKAGE "VERIFICATION-INTERNALS")))
  (COMPILER#:PATCH-SOURCE-FILE "SYS: VERIFY; DIGEST  "

(defun late-model-data-p (sym &aux ind num)
  ;; as of 3/14/85 21:18:15 i have added the looping <n> feature to
  ;; the results parser, but not enabled that as the way the looping
  ;; is actually done.
  (let ((s (get-pname sym)))
    (and (string-equal "*S" s :start1 0 :end1 2 :start2 0 :end2 2)
	 (or (and (> (setq num (parse-number s 2 (setq ind (string-search "-" s)))) 98.)
		  (< num 104.))
	     (and (= num 98.)
		  (>= (parse-number s (+ 2 ind) (string-search "-" s (1+ ind))) 726.))))))

))