kit

kit
git clone https://git.ryansepassi.com/git/kit.git
Log | Files | Refs | README

116_many_global_record_fields.toy (496B)

      1 record ManyGlobal {
      2   f0: i64, f1: i64, f2: i64, f3: i64, f4: i64, f5: i64,
      3   f6: i64, f7: i64, f8: i64, f9: i64, f10: i64, f11: i64,
      4   f12: i64, f13: i64, f14: i64, f15: i64, f16: i64, f17: i64,
      5 }
      6 
      7 let global_many: ManyGlobal = ManyGlobal {
      8   f0: 1, f1: 2, f2: 3, f3: 4, f4: 5, f5: 6,
      9   f6: 7, f7: 8, f8: 9, f9: 10, f10: 11, f11: 12,
     10   f12: 13, f13: 14, f14: 15, f15: 16, f16: 17, f17: 18,
     11 };
     12 
     13 fn __user_main(): i64 {
     14   return global_many.f17;
     15 }
     16 
     17 fn main(): i32 { return __user_main() as i32; }