From 9487b79f42916ad5ce469c9501f4b93514aa222b Mon Sep 17 00:00:00 2001
From: Ulf Norell <ulf.norell@gmail.com>
Date: Mon, 2 Mar 2020 11:53:27 +0100
Subject: [PATCH] Fix dialyzer complaints

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

diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index d324896..62e6c7a 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -45,7 +45,7 @@
      type :: utype()}).
 
 -record(dependent_type_constraint,
-    { named_args_t     :: utype()
+    { named_args_t     :: named_args_t()
     , named_args       :: [aeso_syntax:arg_expr()]
     , general_type     :: utype()
     , specialized_type :: utype()
@@ -1392,11 +1392,11 @@ infer_expr(Env, {app, Ann, Fun, Args0} = App) ->
             When = {infer_app, Fun, NamedArgs1, Args, FunType, ArgTypes},
             unify(Env, FunType, {fun_t, [], NamedArgsVar, ArgTypes, GeneralResultType}, When),
             add_named_argument_constraint(
-              [#dependent_type_constraint{ named_args_t = NamedArgsVar,
-                                           named_args   = NamedArgs1,
-                                           general_type = GeneralResultType,
-                                           specialized_type = ResultType,
-                                           context = {check_return, App} }]),
+              #dependent_type_constraint{ named_args_t = NamedArgsVar,
+                                          named_args   = NamedArgs1,
+                                          general_type = GeneralResultType,
+                                          specialized_type = ResultType,
+                                          context = {check_return, App} }),
             {typed, Ann, {app, Ann, NewFun, NamedArgs1 ++ NewArgs}, dereference(ResultType)}
     end;
 infer_expr(Env, {'if', Attrs, Cond, Then, Else}) ->