QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Merge pull request #154 from aeternity/bug-with-old-tuple-syntax

Browse Source 
Fix bug when using old tuple syntax
This commit is contained in:
Ulf Norell 2019-09-14 15:35:37 +02:00 committed by GitHub
commit 8e3483ced4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/aeso_ast_infer_types.erl
View File

@ -783,7 +783,8 @@ check_type(_Env, Type = {uvar, _, _}, Arity) ->
ensure_base_type(Type, Arity),
Type;
check_type(_Env, {args_t, Ann, Ts}, _) ->
type_error({new_tuple_syntax, Ann, Ts}).
type_error({new_tuple_syntax, Ann, Ts}),
{tuple_t, Ann, Ts}.
ensure_base_type(Type, Arity) ->
[ type_error({wrong_type_arguments, Type, Arity, 0}) || Arity /= 0 ],