optional.saty

% -*- coding: utf-8 -*-
@require: stdja

%let-inline ctx \hoge ?:x y =
%    match x with
%    | Some x -> read-inline ctx x
%    | None -> read-inline ctx (embed-string `none`) in

let-inline ctx \piyo ?:x =
    match x with
    | Some x -> read-inline ctx x
    | None -> read-inline ctx (embed-string `none`) in

document (|
    title = {Sample};
    author = {autotaker};
    show-title=false;
    show-toc=false;
|)'<
     %+p{\hoge{}}
     +p{\piyo;}
>

output

 ---- ---- ---- ----
  target file: 'sample.pdf'
  dump file: 'sample.satysfi-aux' (already exists)
  parsing 'sample.saty' ...
  parsing 'stdja.satyh' ...
  parsing 'pervasives.satyh' ...
  parsing 'gr.satyh' ...
  parsing 'geom.satyh' ...
  parsing 'list.satyg' ...
  parsing 'math.satyh' ...
  parsing 'color.satyh' ...
 ---- ---- ---- ----
  reading 'color.satyh' ...
  type check passed.
 ---- ---- ---- ----
  reading 'list.satyg' ...
  type check passed.
 ---- ---- ---- ----
  reading 'pervasives.satyh' ...
  type check passed.
 ---- ---- ---- ----
  reading 'geom.satyh' ...
  type check passed.
 ---- ---- ---- ----
  reading 'gr.satyh' ...
  type check passed.
 ---- ---- ---- ----
  reading 'math.satyh' ...
  type check passed.
 ---- ---- ---- ----
  reading 'stdja.satyh' ...
  type check passed.
 ---- ---- ---- ----
  reading 'sample.saty' ...
! [Type Error] at "sample.saty", line 10, characters 10-11:
    undefined variable 'x'.