SATySFi
SATySFi copied to clipboard
let-{inline,block} in arguments
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)