如何预处理 Erlang 类型规范

Question

我正在尝试扩展Erlang Mixer库（https://github.com/opscode/mixer）以传递它添加到模块中的函数的"-spec（）."行。但是，我不清楚 erlc 如何将规范放入核心 erlang 代码中。

我从一个非常简单的（测试）模块开始：

-module(mix1).
-export([square/1]).
-spec(square(number()) -> number()).
square(X) -> X * X.

并用"erlc +debug_info -S mix1.erl"编译它并得到这个（删除了module_info个函数）：

{module, mix1}.  %% version = 0
{exports, [{module_info,0},{module_info,1},{square,1}]}.
{attributes, []}.
{labels, 7}.
{function, square, 1, 2}.
  {label,1}.
    {line,[{location,"mix1.erl",7}]}.
    {func_info,{atom,mix1},{atom,square},1}.
  {label,2}.
    {line,[{location,"mix1.erl",8}]}.
    {gc_bif,'*',{f,0},1,[{x,0},{x,0}],{x,0}}.
    return.

我试图弄清楚"-spec（）"是如何翻译的，但我在那里看不到它们，有什么想法吗？我错过了什么。这里的最终目标是将其用于解析转换。

Answer 1

我相信

你的输出并不完全是 AST，而是 AST 的某种规范化形式。

{ok, Forms} = epp:parse_file("mix1.erl",[],[]).
{ok,[{attribute,1,file,{"mix1.erl",1}},
     {attribute,1,module,mix1},
     {attribute,2,export,[{square,1}]},
     {attribute,3,spec,
                {{square,1},
                 [{type,3,'fun',
                        [{type,3,product,[{type,3,number,[]}]},
                         {type,3,number,[]}]}]}},
     {function,4,square,1,
               [{clause,4,
                        [{var,4,'X'}],
                        [],
                        [{op,4,'*',{var,4,'X'},{var,4,'X'}}]}]},
     {eof,6}]}