2.1.3. Macro variables in requirements

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: macro val 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]