;;; -*- Mode:Lisp; Readtable:CL; Package:USER; Base:10; Patch-File:T -*-
;;; Patch file for System version 126.94
;;; Reason:
;;;  Defined SI:TYPE-SPECIFIER-P, which returns a canonicalized form of its
;;;  argument if it is a valid type specifier (otherwise, it returns NIL).
;;; Written 28-Sep-88 16:46:35 by saz (David M.J. Saslav) at site Gigamos Cambridge
;;; while running on Wolfgang Amadeus Mozart from band 1
;;; with Experimental System 126.92, Experimental ZWEI 126.13, Experimental ZMail 74.1, Experimental Local-File 76.0, Experimental File-Server 25.0, Experimental Unix-Interface 14.0, Experimental Tape 25.1, Experimental Lambda-Diag 18.0, microcode 1762, SDU Boot Tape 3.14, SDU ROM 8, Lambda/Falcon Development System.



; From modified file DJ: L.SYS; TYPES.LISP#108 at 28-Sep-88 16:46:36
#10R SYSTEM-INTERNALS#: 
(COMPILER-LET ((*PACKAGE* (PKG-FIND-PACKAGE "SYSTEM-INTERNALS")))
  (COMPILER::PATCH-SOURCE-FILE "SYS: SYS; TYPES  "

;;;Predicate for determining whether a form is a valid type specifier:
(defun type-specifier-p (typespec)
  "Returns a canonicalized form of TYPESPEC, if it is a valid
type specifier.  Otherwise, it returns NIL."
  (condition-case (condition)
      (type-canonicalize typespec nil nil)
    (invalid-type-specifier nil)))

))