elbrujohalcon.fix.spec- [#87] Adjust type for type/0

Author: elbrujohalcon

src/ktn_code.erl

@@ -12,16 +12,18 @@
 
 -export_type([tree_node/0, tree_node_type/0, beam_lib_beam/0]).
 
+%% Note that we use atom() below, because erl_scan:category() is not exported.
 -type tree_node_type() ::
-    root | function | clause | match | tuple | atom | integer | float | string | char |
-    binary | binary_element | var | call | remote | 'case' | case_expr | case_clauses |
-    'fun' | named_fun | query | 'try' | try_catch | try_case | try_after | 'if' | 'catch' |
-    'receive' | receive_after | receive_case | nil | cons | map | map_field_assoc |
-    map_field_exact | lc | lc_expr | generate | bc | bc_expr | b_generate | op |
-    record_field | record_index | block | module | export | import | compile | vsn | on_load |
-    behaviour | behavior | callback | record | include | include_lib | define | undef |
-    ifdef | ifndef | 'else' | endif | elif | error | warning | file | line | type | opaque |
-    export_type | remote_type | ann_type | paren_type | any.
+    'case' | 'catch' | 'else' | 'fun' | 'if' | 'maybe' | 'receive' | 'try' | any | atom |
+    b_generate | bc | bc_expr | binary | binary_element | block | call | callback |
+    case_clauses | case_expr | char | clause | comment | cons | default | export | float |
+    function | generate | import | integer | lc | lc_expr | m_generate | macro | map |
+    map_field_assoc | map_field_exact | match | maybe_match | mc | mc_expr | module |
+    named_fun | nil | nominal | op | opaque | query | receive_after | receive_case | record |
+    record_attr | record_field | record_index | remote | remote_type | root | spec | string |
+    try_after | try_case | try_catch | tuple | type | type_attr | type_map_field |
+    typed_record_field | user_type | var | atom().
+
 -type tree_node() ::
     #{type => tree_node_type(),
       attrs => map(),
@@ -184,7 +186,7 @@ consult(Source) ->
 
 %% Getters
 
--spec type(tree_node()) -> atom().
+-spec type(tree_node()) -> undefined | tree_node_type().
 type(#{type := Type}) ->
     Type;
 type(undefined) ->