Named requirements in requirements clauses are
macro expanded as expressions: they must be qualified
names though.
Start felix section to tut/macros/mac-2.01.03-0.flx[1
/1
]
1: #line 298 "./lpsrc/flx_tut_macro.pak"
2: #import <flx.flxh> 3: header fred ="inline int f(int x){return x;}"; 4: macroval joe = fred; 5: fun f: int -> int ="f($1)"requires joe; 6: 7: print$ f 2; endl;
End felix section to tut/macros/mac-2.01.03-0.flx[1]
Start data section to tut/macros/mac-2.01.03-0.expect[1
/1
]
1: 2
End data section to tut/macros/mac-2.01.03-0.expect[1]