0

我正在尝试扩展 Erlang Mixer Library ( 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()”是如何翻译的，我在那里看不到它们，有什么想法吗？我错过了什么。这里的最终目标是将其用于解析转换。

4

1 回答 1

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}]}
于 2013-10-30T08:07:47.810 回答