LoginSignup
3
1

More than 5 years have passed since last update.

SATySFiのモジュールのdirectで宣言したinline-cmdの名前が被ったときの対処法

Posted at
same.pdf
@require: stdja

module Japanese : sig
  direct \greeting : [] inline-cmd
end = struct
  let-inline ctx \greeting = read-inline ctx {こんにちは}
end

module English : sig
  direct \greeting : [] inline-cmd
end = struct
  let-inline ctx \greeting = read-inline ctx {Hi}
end

in

document (|
  title = {SATySFiのモジュールのdirectで宣言したinline-cmdの名前が被ったときの対処法};
  author = {Seiei MIYAGI};
  show-title = true;
  show-toc = false;
|) '<

  +p { 後勝ちだがモジュール名を含めて参照すれば使える }

  +section{\\greeting}<
    +p { \greeting; }
  >
  +section{\\Japanese.greeting}<
    +p { \Japanese.greeting; }
  >
  +section{\\English.greeting}<
    +p { \English.greeting; }
  >
>

実行結果

Screenshot from 2018-10-08 22-13-01.png

3
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
3
1