test47-pp-code.saty

@require: stdjareport
@import: pp-code-0
@import: pp-code-1

document (|
  title  = {Preprocess for Displaying Code};
  author = {gfn};
|) '<
  +p{
    \pp-code@~(`
      let @Var@ = @Expr1@ in @Expr2@
    `);
  }
  +p{
    \pp-code@~(`
      let-inline \@Macro@@@ @Params@ = @Expr1@ in @Expr2@
    `);
  }
>