Handle the map() type in documentation

proper-testing · Oct 25, 2022 · 3bbd252 · 3bbd252
1 parent 0b13e53
commit 3bbd252
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/scripts/make_doc b/scripts/make_doc
@@ -1,9 +1,8 @@
 #!/usr/bin/env escript
 
-%%% -*- coding: utf-8 -*-
-%%% -*- erlang-indent-level: 2 -*-
+%%% -*- coding: utf-8; erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright 2010-2020 Manolis Papadakis <[email protected]>,
+%%% Copyright 2010-2022 Manolis Papadakis <[email protected]>,
 %%%                     Eirini Arvaniti <[email protected]>
 %%%                 and Kostis Sagonas <[email protected]>
 %%%
@@ -354,6 +353,8 @@ replace({Kind,Line,Args}, Alias, Value) when Kind =:= ann_type
     {Kind, Line, NewArgs};
 replace(Type = {type,_Line,tuple,any}, _Alias, _Value) ->
     Type;
+replace(Type = {type,_Line,map,any}, _Alias, _Value) ->
+    Type;
 replace({type,_Line,SameName,Args}, Alias = {type,SameName,Arity},
 	Value = {TypeForm,VarForms}) when length(Args) =:= Arity ->
     FixedArgs = [replace(Arg,Alias,Value) || Arg <- Args],