Changed entry function of 'paterl_anno' module from annotate/1 to mod…

…ule/1.
duncanatt · Aug 30, 2024 · 9292aff · 9292aff
1 parent e390764
commit 9292aff
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 7 deletions.
diff --git a/src/paterl.erl b/src/paterl.erl
@@ -106,10 +106,7 @@ compile(File, Opts) when is_list(File), is_list(Opts) ->
 
               % Annotate forms using type table.
               io:fwrite(color:green("[ANNOTATE] Annotating Erlang forms.~n")),
-%%              case paterl_anno:annotate(Forms, TInfo) of
-%%              case paterl_anno:annotate(Desugared0, TInfo0) of
-%%              paterl_anno:annotate(Desugared0, TInfo0) == paterl_anno_3:annotate(Desugared0, TInfo0),
-              case paterl_anno:annotate(Desugared0, TInfo0) of
+              case paterl_anno_2:module(Desugared0, TInfo0) of
 
                 {ok, Annotated} ->
                   % Forms annotated.

diff --git a/src/paterl_anno.erl b/src/paterl_anno.erl
@@ -18,7 +18,7 @@
 -include("paterl.hrl").
 
 %% API
--export([annotate/2]).
+-export([module/2]).
 
 -compile(export_all).
 
@@ -85,9 +85,9 @@
 %% @param TInfo: Type annotations.
 %%
 %% @returns Annotated AST.
--spec annotate([erl_syntax:syntaxTree()], paterl_types:t_info()) ->
+-spec module([erl_syntax:syntaxTree()], paterl_types:t_info()) ->
   {ok, erl_syntax:forms()} | errors:error().
-annotate(Forms, TInfo) when is_list(Forms), is_record(TInfo, t_info) ->
+module(Forms, TInfo) when is_list(Forms), is_record(TInfo, t_info) ->
   case annotate_forms(Forms, TInfo, #error{}) of
     {Forms0, #error{errors = []}} ->
       {ok, Forms0};