"Structure hackers for the compiler (analyzers)" ) (LN ) TEM (WHO ()) (TY BOOLEAN) (WHON >> > <==? .COD ,MT-CODE>>> .NOD>)) #DECL ((NOD) NODE (LN COD) FIX (K) (WHO) (WHON) >) ) (ELSE .NOD> STRUCTURED >>> > ) (ELSE >)>)> )>)> ) (FLG <1 .L>)) #DECL ((L) SYMTAB> (SYM) SYMTAB) ']> .TRUTH .FLG >> .UNTRUTH .FLG >> T> .WHO>) (ELSE )> ,LENGTH>

) (ELSE .TY)> .RTYP>> )> ,SET-CODE> >> NODE> >) (ELSE >)>>> > > )> ) TEM (WHO ()) (WHON > .NOD>)) #DECL ((NOD) NODE (K) (WHON) (WHO) ) ) (ELSE 2 LENGTH? .NOD> STRUCTURED LENGTH?>> > FIX LENGTH?> > ,QUOTE-CODE> ;"Constant 2d arg?" ) (FLG <1 .L>)) #DECL ((L) (SYM) SYMTAB) > ANY]> .TRUTH .FLG >>> .WHO>)> > ) (ELSE >)>)> )> > ,QUOTE-CODE> ) (ELSE ,PLUSINF)>)> FALSE> .RTYP>)>> )> ) (LN ) TEM) #DECL ((NOD) NODE (K) ) ) (ELSE STRUCTURED >> )>> )> ) "AUX" (K ) (LN ) TS VAL TPS (RV INTH>>) (SVWHO ()) AMT PT (NM )>) XX (OWHON > .NOD>) NUMB) #DECL ((COD NUMB LN) FIX (NOD WHON PRED) NODE (K) (WHO SVWHO) LIST) )) #DECL ((WHON) (WHO) ) ) (ELSE )>>) (ELSE .NOD>)> ' .NM>>> STRUCTURED .NM>>) (ELSE STRUCTURED .NM>> > ' .NM>>>)> > ,QUOTE-CODE> >> <==? OFFSET>> >> > ,RESULT-TYPE .TS>)> >>) (ELSE ANY] .RTYP>>>)>) (> >>) (ELSE [.AMT ANY]>>>)>) ( >>)>) (<==? .COD ,NTH-CODE> >>) (> >>)> ,RESULT-TYPE .TS> > > ,QUOTE-CODE>> )> > ,QUOTE-CODE> <==? > 1>> FIX> OFFSET> <==? > ,QUOTE-CODE>> > ,QUOTE-CODE>>>>> ) (ELSE > )> )> > ,QUOTE-CODE> OFFSET> >>) (ELSE >)>>) (ELSE ALL)> <==? ,REST>> .RTYP>)>>> ) (FL <1 .L>) T1 T2) #DECL ((L) (SYM) SYMTAB) )> >> )> > > >>> > >)>> .SVWHO> > ,LVAL-CODE> <==? > ,SET-CODE>> <2 .K> <==? ,REST>>> ) ( <==? .COD ,REST-CODE> <==? > ,PUTR-CODE> <==? > ,QUOTE-CODE> <==? .NUMB 1>> )> .VAL> (N MN N1) NODE (TT) (K) ) ,LVAL-CODE> ) (<==? ,SET-CODE> >>) (ELSE )>> > <==? > ,-> <==? >> 2> <==? > ,QUOTE-CODE> <==? > 1> >> > >> > ,LVAL-CODE .S >> .S> >> (L SS) LIST) > )> ,SET-CODE> .S>> >)> >>>> )) #DECL ((N) NODE) .SYM> )>> .L>> > > )> ) "AUX" (K ) (LN ) (TS ANY) TV (TPS <>) VAL (SVWHO ()) WHICH NS TVO TEM (P ()) TFF NUMB (RV IPUT>>) AMT (NM )>)) #DECL ((NOD) NODE (K) (LN NUMB) FIX (WHO P SVWHO) LIST) )) #DECL ((WHO) (WHON) >) ) (ELSE .NOD> > ' PUT>>>> STRUCTURED>> >) (ELSE STRUCTURED>> > ' PUT>>>>)> ANY>> > ,QUOTE-CODE> >> <==? OFFSET>> >>>> > ,RESULT-TYPE .TS>)> FIX> OFFSET> <==? > ,QUOTE-CODE>>> <==? ,PUT>> >> > (ANY)) (ELSE ([<- .WHICH 1> ANY] ANY))>>) (ELSE ')>> > > > OR> <==? 1>> 1>>>> >) (ELSE T)>> >) (ELSE 1>> 1>>>)>> .TV>) (ELSE > .TV>)>)> >> ) (ND )) #DECL ((L) (S) SYMTAB) >> >> )> !>> .ND>>> .WHO>> >>) (> )> ,RESULT-TYPE .TS>>>> > .TV>>)> > ,QUOTE-CODE>> )> )>)> > FIX> <==? OFFSET>>> > ,QUOTE-CODE> > )>) (ELSE ,PUT>> )> )>)> > .RTYP>>> ,PUT-CODE> )) #DECL ((L) (SYM) SYMTAB) .TS > .WHICH 0>>> .SVWHO>)> ,PUT-CODE> > > >) (ELSE T)>> .K> > ,HACK-NODES> <==? >> FIX> >>>> > ,/> > ,-> 2> <==? > 1>>>>>> )) ,NTH-CODE> <1 >> <2 >>> > > )> )> <>> .TEM>> ,KIDS .TEM> )> .VAL> ) .TS) (> <==? <2 .L> REST>> .WHICH> <> .TS .WHICH 0>>) (<==? <2 .L> REST> .WHICH <1 .L>>) (ELSE .EX> <> .EX>> .TS .WHICH 0>>)>> .L) (ELSE (!> <1 .L>))>> )> > ,SNODES> <==? >) (ELSE ) (ELSE >)>> >)>)>> ) (LN <- 1>)) #DECL ((TUP) TUPLE (LN) FIX) ) (ELSE > <==? REST>>>)> >>> )> NTH> -1>>> ()) (<1? .NUM> (ANY)) (ELSE ([.NUM ANY]))> .NX>> >) (.FIRST >>) (ELSE >>)> >>> ) T1 T2) #DECL ((NOD) NODE (K) ) ,REST> ) ( )> .RTYP>) (ELSE 2 PUTREST .NOD> ' PUTREST>> ' PUTREST>> > ,QUOTE-CODE> )> )> )>> )> ) TYP VTYP STYP ETY) #DECL ((N) NODE (K) ) ) (ELSE 2 MEMQ .N> ANY MEMQ>> STRUCTURED MEMQ>> >>> )> > > ) (ELSE )> )> > .ETY [REST .ETY]>) (.STYP ) (')>> .R>)>> )) #DECL ((N) NODE (K) ) ) (ELSE 1 TOP .N> STRUCTURED TOP>> > <==? .TYP LIST>> )> .R>)>> )) #DECL ((N) NODE (K) ) ) (ELSE '(1 2) BACK .N> STRUCTURED TOP>> > <==? .TYP LIST>> )> >> FIX BACK>)> .R>)>> )> )> )>