" 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." #WORD *33757734325* TAG10 (TYPE FALSE)> TAG15 BOOL23 + PHRASE29> (TYPE FALSE)> PHRASE29 PHRASE35 + PHRASE38> PHRASE38 PHRASE41 PHRASE31 PHRASE48 " Analyze N==? and ==? usage. Complain if types differ such that the args can never be ==?." #WORD *20206473764* (TYPE FALSE)> TAG15 BOOL13 - PHRASE22> PHRASE24 PHRASE38 PHRASE22 " Ananlyze TYPE? usage warn about any potential losers by using TYPE-OK?. " #WORD *23674654532* ) TEMP18 TEMP21 FLG78 TEMP83> (TYPE FALSE)> TAG17 BOOL15 'FIX TEMP18> + PHRASE23> > PHRASE23 PHRASE28 MAP32 (TYPE FALSE)> PHRASE48 - PHRASE51> PHRASE51 + BOOL54> BOOL54 MAPAP35 PHRASE60 = LN7> PHRASE61 - TAG62> TAG62 (TYPE FALSE)> TAG63 MAP67 BOOL86 PHRASE57 PHRASE94 + BOOL96> BOOL96 PHRASE95 (TYPE FORM)> PHRASE102 PHRASE103 PHRASE104 (TYPE FORM)> PHRASE105 PHRASE26 #WORD *14540564730* - PHRASE11> > PHRASE11 #WORD *7400517472* - PHRASE11> PHRASE15 PHRASE11 #WORD *2555464510* - PHRASE31> PHRASE21 BOOL25 PHRASE24 + PHRASE28> + PHRASE28> PHRASE28 PHRASE31 #WORD *21161013720* - PHRASE10> PHRASE10 #WORD *13713777251* - PHRASE30> BOOL16 PHRASE15 PHRASE18 PHRASE21 PHRASE24 BOOL34 - PHRASE32> BOOL33 PHRASE32 PHRASE38 (TYPE FORM)> PHRASE39 PHRASE40 PHRASE30 #WORD *15512442764* - PHRASE40> PHRASE15 PHRASE17 > - BOOL21> BOOL21 > TAG33 TAG32 TAG27 TAG30 _{TAG29 PHRASE20 PHRASE35 - PHRASE42> TAG44 TAG43 PHRASE42 + PHRASE48> PHRASE48 (TYPE FORM)> PHRASE54 PHRASE55 PHRASE40 #WORD *1530543267* - PHRASE28> PHRASE14 PHRASE16 > PHRASE19 PHRASE22 PHRASE31 PHRASE32 (TYPE FORM)> PHRASE33 PHRASE28 #WORD *3664455133* - PHRASE10> PHRASE10 #WORD *1131001456* - PHRASE12> PHRASE16 PHRASE22 + PHRASE29> PHRASE29 PHRASE31 TAG41 TAG40 TAG35 TAG38 TAG37 PHRASE25 - PHRASE43> TAG45 TAG44 PHRASE43 PHRASE12 > )>}