-- Hack.mesa-- Last Modified On December 16, 1983 11:22 am By Paul RovnerDIRECTORY  AMTypes USING[TypeClass, Class, Error],  IO USING[STREAM, int, char, PutRope, Put],  PrintTV USING[PrintType],  RTTypesBasicPrivate USING[GetLastTypeIndex, MapTiTd],  SafeStorage USING[GetCanonicalType, Type],  ViewerIO USING[CreateViewerStreams],  Set USING[Handle, New, In, Put, Nth, Cardinality];  Hack: PROGRAM  IMPORTS AMTypes, IO, PrintTV, RTTypesBasicPrivate, SafeStorage, Set, ViewerIO= {DoIt: PROC[showTypeNames: BOOL _ FALSE] ={ UCA: TYPE = ARRAY [1..10000] OF REF CARDINAL;  cTypeList: LIST OF Set.Handle _ NIL;  uniqueCardinals: REF UCA _ NEW[UCA];  out: IO.STREAM = ViewerIO.CreateViewerStreams["Hack Output"].out;  FOR i: CARDINAL IN [1..10000] DO uniqueCardinals[i] _ NEW[CARDINAL _ i] ENDLOOP;  FOR i: CARDINAL IN [7..RTTypesBasicPrivate.GetLastTypeIndex[]]  -- for each type    DO ct: REF CARDINAL = uniqueCardinals[SafeStorage.GetCanonicalType[LOOPHOLE[i]]];         set: Set.Handle;         found: BOOLEAN _ FALSE;                  FOR l: LIST OF Set.Handle _ cTypeList, l.rest UNTIL l = NIL            DO IF Set.In[l.first, ct]                 THEN {[] _ Set.Put[l.first, uniqueCardinals[i]];                          found _ TRUE;                          EXIT};           ENDLOOP;         IF NOT found          THEN-- here if canonical type has not been seen yet           {set _ Set.New[];            [] _ Set.Put[set, ct];            [] _ Set.Put[set, uniqueCardinals[i]];            cTypeList _ CONS[set, cTypeList]};   ENDLOOP;  out.PutRope["The set of Type equivalence classes: \n"];  FOR l: LIST OF Set.Handle _ cTypeList, l.rest UNTIL l = NIL    DO typeNotPrinted: BOOL _ TRUE;        finalized: BOOL _ FALSE;        cardinality: LONG CARDINAL _ l.first.Cardinality[];        inconsistentFinalization: BOOL _ FALSE;        nPackageRefs: NAT _ 0;        out.PutRope["{ "];        FOR i: LONG CARDINAL IN [1..cardinality]          DO type: SafeStorage.Type = [NARROW[Set.Nth[l.first, i], REF CARDINAL]^];              class: AMTypes.Class _ nil;              IF showTypeNames THEN class _ AMTypes.TypeClass[type ! ANY => CONTINUE];              IF RTTypesBasicPrivate.MapTiTd[type].numberPackageRefs > 0               THEN {IF finalized                          AND RTTypesBasicPrivate.MapTiTd[type].numberPackageRefs # nPackageRefs                         THEN inconsistentFinalization _ TRUE                         ELSE {finalized _ TRUE;                                 nPackageRefs _ RTTypesBasicPrivate.MapTiTd[type].numberPackageRefs}};              out.Put[IO.int[type], IO.char[' ]];              IF showTypeNames AND class = definition AND typeNotPrinted               THEN {typeNotPrinted _ FALSE;                        out.Put[IO.char['[]];                        PrintTV.PrintType[ [NARROW[Set.Nth[l.first, 1], REF CARDINAL]^], out                            ! AMTypes.Error => CONTINUE];                        out.Put[IO.char[']]];                        out.Put[IO.char[' ]];                       };         ENDLOOP;        IF inconsistentFinalization THEN out.PutRope[" INCONSISTENTFINALIZATION"];        IF finalized         THEN {out.PutRope[" FINALIZED ("];                  out.Put[IO.int[nPackageRefs], IO.char[')]]};        out.PutRope["}\n"];   ENDLOOP; };}.      Э╩  Ш JЪЄ╧cK╧k	ЬЮЬЮЬЮЬЮЬ&ЮЬ#ЮЬ+ЮЬ%ЮЬЮЬ3ЮЬЮЬ
ЮЬ?╧nЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬ
ЮЬЮЬ7ЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬ.ЭЬЮЬЮЬЮЬ0ЮЬ1ЮЬЮЬЮЬЮЬЮЬ ЮЬЮЬЮЬЮЬ&ЮЬOЮЬЮЬЮЬЮЬЮЬЮЭ0ЬЛЮЬЮЬ>ЮЬЮЬЮЬ ЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬ<ЮЬЮЬЮЬ)ЮЬЮЬЮЬЮЬЮЬЮЬЮЬ=ЮЬЮЬ"ЮЬЮЬЮЬHЮЬЮЬ%ЮЬ]ЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬЮЬ"ЮЬ8ЮЬЮЬЮЬ8ЮЬ#ЮЬ,ЮЬ/ЮЬ
ЮЬЮЬ3ЮЬЮЬ9ЮЬЮЬ,ЮЬ	ШлЧ ЕЧ    .  <  