From db60be0af31067597c98ad28d90fc4012541314f Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Thu, 19 Aug 2021 17:36:53 +0300 Subject: [PATCH] Change the type of used_namespaces --- src/aeso_ast_infer_types.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl index 42be32a..b99a6bf 100644 --- a/src/aeso_ast_infer_types.erl +++ b/src/aeso_ast_infer_types.erl @@ -128,7 +128,7 @@ , typevars = unrestricted :: unrestricted | [name()] , fields = #{} :: #{ name() => [field_info()] } %% fields are global , namespace = [] :: qname() - , used_namespaces = [] :: list({qname(), namespace_alias()}) + , used_namespaces = [] :: [{qname(), namespace_alias()}] , in_pattern = false :: boolean() , stateful = false :: boolean() , current_function = none :: none | aeso_syntax:id()