From c849184c72b5e7b60122de3d84bbe9023cccbbdd Mon Sep 17 00:00:00 2001 From: Ulf Norell Date: Mon, 9 Sep 2019 18:47:06 +0200 Subject: [PATCH] type spec --- 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 fef1e60..87066ec 100644 --- a/src/aeso_ast_infer_types.erl +++ b/src/aeso_ast_infer_types.erl @@ -83,7 +83,7 @@ -type qname() :: [string()]. -type typesig() :: {type_sig, aeso_syntax:ann(), type_constraints(), [aeso_syntax:named_arg_t()], [type()], type()}. --type type_constraints() :: none. +-type type_constraints() :: none | bytes_concat | bytes_split. -type fun_info() :: {aeso_syntax:ann(), typesig() | type()}. -type type_info() :: {aeso_syntax:ann(), typedef()}.