" This module contains analysis and generation functions for NOT, TYPE? and ==?. See SYMANA for more details about ANALYSIS and CODGEN for more detali abour code generation. " "Analyze NOT usage make sure arg can be FALSE." >) (STR .TRUTH) (SUNT .UNTRUTH)) #DECL ((NOD) NODE) ) (TRUTH ()) (UNTRUTH ())) #DECL ((PRED) (TRUTH UNTRUTH) ) > >) (ELSE >> > > ANY>> FALSE> ) ( .RTYP>) (ELSE )>> )>> )> .TEM> " Analyze N==? and ==? usage. Complain if types differ such that the args can never be ==?." ) (WHON > .NOD>) (WHO ()) (GLN .NOD) (GLE ())) #DECL ((NOD) NODE (K) (WHON GLN) (WHO GLE) ) ) (ELSE ==?> ANY> ANY> >> FIX> <==? >> FIX>> )> .RTYP>)>> " Ananlyze TYPE? usage warn about any potential losers by using TYPE-OK?. " ) (LN ) ITYP (ALLGOOD T) (WHO ()) (FTYP ()) (FNOK <>) (WHON > .NOD>) TTYP) #DECL ((NOD) NODE (K) (LN) FIX (ITYP) ANY (ALLGOOD) (WHON) > (WHO) (FTYP) LIST) ) (ELSE > ANY TYPE?>> ,QUOTE-CODE> >>> > > .ITYP> !.FTYP)>>>> > >> > <1 .FTYP>) (ELSE )>> .ITYP>>> ) (SYM <2 .L>)) #DECL ((L) SYMTAB> (SYM) SYMTAB) >> .UNTRUTH .FLG >>>> .WHO>) (.ALLGOOD ) (ELSE > )>)> ') ( FALSE) (.FNOK ATOM) (ELSE ')> .RTYP>>