From 6c17e57a7c9cb3d4a44e397f93844c4be8650c25 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Tue, 14 Jun 2022 11:58:40 +0400
Subject: [PATCH] Fix dialyzer warnings

---
 src/aeso_ast_infer_types.erl | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index 8f00714..0a7fa39 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -87,7 +87,10 @@
 -type byte_constraint() :: {is_bytes, utype()}
                          | {add_bytes, aeso_syntax:ann(), concat | split, utype(), utype(), utype()}.
 
--type constraint() :: named_argument_constraint() | field_constraint() | byte_constraint().
+-type tvar_constraint() :: {is_eq, utype()}
+                         | {is_ord, utype()}.
+
+-type constraint() :: named_argument_constraint() | field_constraint() | byte_constraint() | tvar_constraint().
 
 -record(field_info,
     { ann      :: aeso_syntax:ann()
@@ -1183,7 +1186,6 @@ check_modifiers1(What, Decl) when element(1, Decl) == letfun; element(1, Decl) =
     ok;
 check_modifiers1(_, _) -> ok.
 
--spec extract_typevars(utype()) -> [aeso_syntax:tvar()].
 extract_typevars(Type) ->
     case Type of
         TVar = {tvar, _, _}    -> [TVar];