(FILECREATED "19-Aug-86 11:30:07" {QV}<NOTECARDS>1.3K>NEXT>RHTPATCH090.;1 922
changes to: (VARS RHTPATCH090COMS))
(* Copyright (c) 1986 by Xerox Corporation. All rights reserved.)
(PRETTYCOMPRINT RHTPATCH090COMS)
(RPAQQ RHTPATCH090COMS ((* * Change to NCPROGINT)
(FNS NCP.IsSubTypeOfP)))
(* * Change to NCPROGINT)
(DEFINEQ
(NCP.IsSubTypeOfP
(LAMBDA (SubTypeName SupposedSuperTypeName) (* rht: "19-Aug-86 11:28")
(* * Return non-nil if SubTypeName inherits somewhere up the hierarchy from SupposedSuperTypeName)
(* * rht 8/19/86: Fixed typo bug.)
(if (NCP.CardTypeP SubTypeName)
then (NC.IsSubTypeOfP SubTypeName SupposedSuperTypeName)
else (NCP.ReportError SubTypeName " is not a loaded notecard type."))))
)
(PUTPROPS RHTPATCH090 COPYRIGHT ("Xerox Corporation" 1986))
(DECLARE: DONTCOPY
(FILEMAP (NIL (351 840 (NCP.IsSubTypeOfP 361 . 838)))))
STOP