From c51531f620ded471eb03e270489f9657bb9dfc72 Mon Sep 17 00:00:00 2001
From: Ulf Norell <ulf.norell@gmail.com>
Date: Tue, 27 Aug 2019 18:04:32 +0200
Subject: [PATCH] please dialyzer

---
 src/aeso_syntax.erl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/aeso_syntax.erl b/src/aeso_syntax.erl
index af5abba..2e9f69a 100644
--- a/src/aeso_syntax.erl
+++ b/src/aeso_syntax.erl
@@ -59,6 +59,7 @@
 -type type() :: {fun_t, ann(), [named_arg_t()], [type()], type()}
               | {app_t, ann(), type(), [type()]}
               | {tuple_t, ann(), [type()]}
+              | {args_t, ann(), [type()]}   %% old tuple syntax, old for error messages
               | {bytes_t, ann(), integer() | any}
               | id()  | qid()
               | con() | qcon()  %% contracts