1  program test.alpha;
  2  
  3  function some_assignments:
  4      input r0 as boolean.public;
  5      input r1 as boolean.public;
  6      input r2 as boolean.public;
  7      ternary r0 10u32 1u32 into r3;
  8      ternary r0 20u32 2u32 into r4;
  9      ternary r0 3u32 30u32 into r5;
 10      ternary r1 100u32 r3 into r6;
 11      ternary r1 200u32 r4 into r7;
 12      ternary r2 1000u32 r6 into r8;
 13      ternary r2 2000u32 r7 into r9;
 14      cast r8 r9 into r10 as [u32; 2u32];
 15      cast r5 4u32 into r11 as [u32; 2u32];
 16      cast r10 r11 into r12 as [[u32; 2u32]; 2u32];
 17      output r12 as [[u32; 2u32]; 2u32].public;
 18  
 19  constructor:
 20      assert.eq edition 0u16;
 21  status: success
 22  output: [
 23    [
 24      1u32,
 25      2u32
 26    ],
 27    [
 28      30u32,
 29      4u32
 30    ]
 31  ]
 32  status: success
 33  output: [
 34    [
 35      1000u32,
 36      2000u32
 37    ],
 38    [
 39      30u32,
 40      4u32
 41    ]
 42  ]
 43  status: success
 44  output: [
 45    [
 46      100u32,
 47      200u32
 48    ],
 49    [
 50      30u32,
 51      4u32
 52    ]
 53  ]
 54  status: success
 55  output: [
 56    [
 57      1000u32,
 58      2000u32
 59    ],
 60    [
 61      30u32,
 62      4u32
 63    ]
 64  ]
 65  status: success
 66  output: [
 67    [
 68      10u32,
 69      20u32
 70    ],
 71    [
 72      3u32,
 73      4u32
 74    ]
 75  ]
 76  status: success
 77  output: [
 78    [
 79      1000u32,
 80      2000u32
 81    ],
 82    [
 83      3u32,
 84      4u32
 85    ]
 86  ]
 87  status: success
 88  output: [
 89    [
 90      100u32,
 91      200u32
 92    ],
 93    [
 94      3u32,
 95      4u32
 96    ]
 97  ]
 98  status: success
 99  output: [
100    [
101      1000u32,
102      2000u32
103    ],
104    [
105      3u32,
106      4u32
107    ]
108  ]