1.2.13. test/regress/rt-1.01.13

generics inlining/call lifting tests
Start felix section to test/regress/rt-1.01.13-0.flx[1 /1 ]
     1: #line 565 "./lpsrc/flx_regress.pak"
     2: //Check polymorphism
     3: #import <flx.flxh>
     4: 
     5: proc f[k] (z:k, pr:k->void) {
     6:   fun diag[t] (x:t):t*t = { return x,x; }
     7:   fun prj1[t1,t2] (x:t1,y:t2):t1 = { return x; }
     8:   fun prj2[t1,t2] (x:t1,y:t2):t2 = { return y; }
     9:   pr (prj1(diag z)); endl;
    10: }
    11: 
    12: // eta expansion
    13: proc pr(x:int) { fprint (cout,x); }
    14: f[int] (1, the pr);
End felix section to test/regress/rt-1.01.13-0.flx[1]
Start data section to test/regress/rt-1.01.13-0.expect[1 /1 ]
     1: 1
End data section to test/regress/rt-1.01.13-0.expect[1]