1: #line 381 "./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_right f (list[int]()) 4; endl; 7: print$ fold_right f (list(4)) 5; endl; 8: print$ fold_right f (list(4, 5)) 6; endl; 9: print$ fold_right f (list(4, 5, 6)) 7; endl; 10: print$ fold_right f (list(4, 5, 6, 7)) 8; endl;
1: 4 2: -1 3: 5 4: -2 5: 6