1.3.5. List::fold_left

Start felix section to test/stdlib/slrt-1.02.05-0.flx[1 /1 ]
     1: #line 358 "./lpsrc/flx_stdlib_regress.pak"
     2: //Check lists
     3: #import <flx.flxh>
     4: open List;
     5: val f = fun (x:int) (y:int) => x - y;
     6: print$ fold_left f 3$ list[int](); endl;
     7: print$ fold_left f 3$ list(4); endl;
     8: print$ fold_left f 3$ list(4, 5); endl;
     9: print$ fold_left f 3$ list(4, 5, 6); endl;
    10: print$ fold_left f 3$ list(4, 5, 6, 7); endl;
End felix section to test/stdlib/slrt-1.02.05-0.flx[1]
Start data section to test/stdlib/slrt-1.02.05-0.expect[1 /1 ]
     1: 3
     2: -1
     3: -6
     4: -12
     5: -19
End data section to test/stdlib/slrt-1.02.05-0.expect[1]