(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