1: #line 1651 "./lpsrc/flx_regress.pak" 2: //Check types:nested 3: #import <flx.flxh> 4: 5: fun f(x:int)= { 6: union x_t = | X of int; 7: fun pr(a:x_t): int = { 8: return 9: match a with 10: | X ?i => i 11: | _ => 0 12: endmatch 13: ; 14: } 15: val a = X x; 16: return a,the pr; 17: } 18: 19: val v,d = f 1; 20: 21: print$ d v; endl;
1: 1