X-Git-Url: https://jxself.org/git/?p=pdp10-muddle.git;a=blobdiff_plain;f=mim%2Fdevelopment%2Fmim%2Fmimc%2Fnnotana.mima;fp=mim%2Fdevelopment%2Fmim%2Fmimc%2Fnnotana.mima;h=1f3d2102dc1581a5aefcfe3ae5a2492562210bfa;hp=0000000000000000000000000000000000000000;hb=d73ace3f3292e320b461b8fcd2e9f5dc5d9684d7;hpb=d530283ea60fb0ddcc28e9c5bd072456afe06e07 diff --git a/mim/development/mim/mimc/nnotana.mima b/mim/development/mim/mimc/nnotana.mima new file mode 100644 index 0000000..1f3d210 --- /dev/null +++ b/mim/development/mim/mimc/nnotana.mima @@ -0,0 +1,1171 @@ + + + + + + + +" 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 + + + + > )> + + \ No newline at end of file