SATySFi icon indicating copy to clipboard operation
SATySFi copied to clipboard

let-{inline,block} in arguments

Open nekketsuuu opened this issue 5 years ago • 0 comments

In function arguments, we can use let, let-rec, and let-math. However, we cannot use let-inline or let-block (syntax error at parser). Is this a design choice of SATySFi, or a bug?

Example

This is allowed:

+math (
  let-math \foo = ${foo} in
  ${ \foo }
);

but this is disallowed:

+p (
  let-inline \bar = {bar} in  % Syntax Error in this line
  { \bar; }
);

Environment

  • Ubuntu 18.04
  • OCaml 4.06.1
  • SATySFi >=0.03 (current head ccbe6824cbc687227729c8a744196fbbc6efbcb8)

nekketsuuu avatar Nov 05 '18 00:11 nekketsuuu