SeqTest: CEDAR PROGRAM = BEGIN GrodyToTheMax: CARDINAL = LAST[INTEGER]; RT1: TYPE = REF ST1; ST1: TYPE = RECORD [SEQUENCE len: NAT OF INT]; RT2: TYPE = REF ST2; ST2: TYPE = RECORD [pos: NAT, elems: SEQUENCE len: NAT OF INT]; RT3: TYPE = REF ST3; ST3: TYPE = RECORD [SEQUENCE len: [1..GrodyToTheMax] OF INT]; RT4: TYPE = REF ST4; ST4: TYPE = RECORD [pos: NAT, elems: SEQUENCE len: [1..GrodyToTheMax] OF INT]; RT5: TYPE = REF ST5; ST5: TYPE = RECORD [pos: NAT, elems: PACKED SEQUENCE len: [1..GrodyToTheMax] OF [1..4]]; PT0: TYPE = LONG POINTER TO CST0; CST0: TYPE = RECORD [SEQUENCE COMPUTED NAT OF INT]; PT1: TYPE = LONG POINTER TO CST1; CST1: TYPE = RECORD [pos: NAT, elems: SEQUENCE COMPUTED NAT OF INT]; PT2: TYPE = LONG POINTER TO CST2; CST2: TYPE = RECORD [pos: NAT, max: NAT, elems: SEQUENCE COMPUTED NAT OF INT]; TestSignal: SIGNAL = CODE; Test: PROC = TRUSTED { rt1: RT1 _ NEW[ST1[4]]; rt2: RT2 _ NEW[ST2[4]]; rt3: RT3 _ NEW[ST3[4]]; rt4: RT4 _ NEW[ST4[4]]; rt5: RT5 _ NEW[ST5[4]]; pt01: PT0 _ LOOPHOLE[@rt1[0]]; pt02: PT0 _ LOOPHOLE[@rt2[0]]; pt1: PT1 _ LOOPHOLE[rt1]; pt2: PT2 _ LOOPHOLE[rt2]; rt1[0] _ 100; rt1[1] _ 101; rt1[2] _ 102; rt1[3] _ 103; rt2[0] _ 200; rt2[1] _ 201; rt2[2] _ 202; rt2[3] _ 203; rt3[1] _ 300; rt3[2] _ 301; rt3[3] _ 302; rt3[4] _ 303; rt4[1] _ 400; rt4[2] _ 401; rt4[3] _ 402; rt4[4] _ 403; rt5[1] _ 1; rt5[2] _ 2; rt5[3] _ 3; rt5[4] _ 4; SIGNAL TestSignal; }; END. :SeqTest.mesa Russ Atkinson, April 28, 1983 11:13 am ʹ˜Jšœ ™ Jšœ&™&J˜Jšœ Ïkœœ˜˜Jšœœœœ˜(J˜Jšœœœ˜Jš œœœœœœœ˜.J˜Jšœœœ˜Jšœœœœ œœœœ˜?J˜Jšœœœ˜Jš œœœœœœ˜=J˜Jšœœœ˜Jš œœœœ œœœ˜NJ˜Jšœœœ˜Jš œœœœ œœ ˜XJ˜Jš œœœœœ˜!Jšœœœœœœœœ˜3J˜Jš œœœœœ˜!Jšœœœœ œœœœœ˜DJ˜Jš œœœœœ˜!Jšœœœœœ œœœœœ˜NJ˜Jšœ œœ˜J˜šÏnœœœ˜Jšœ œ ˜Jšœ œ ˜Jšœ œ ˜Jšœ œ ˜Jšœ œ ˜Jšœ œ ˜Jšœ œ ˜Jšœ œ˜Jšœ œ˜J˜7J˜7J˜7J˜7J˜/Jšœ ˜J˜—Jšœ˜J˜——…—Š}