kit

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

forward_record_pointer_tail_mismatch.toy (140B)

      1 record A;
      2 record B;
      3 
      4 fn g(): *B {
      5   return NULL as *B;
      6 }
      7 
      8 fn f(): *A {
      9   return tail g();
     10 }
     11 
     12 fn main(): i64 {
     13   return f() == NULL as *A;
     14 }