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

Merge pull request #167 from aeternity/radrow-patch-1

Browse Source 
Fix not instantiated uvar
This commit is contained in:
Hans Svensson 2019-10-10 08:31:48 +02:00 committed by GitHub
commit f86f7984f4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aeso_ast_infer_types.erl
View File

@ -1785,7 +1785,7 @@ solve_known_record_types(Env, Constraints) ->
C C
end; end;
_ -> _ ->
type_error({not_a_record_type, RecType, When}), type_error({not_a_record_type, instantiate(RecType), When}),
not_solved not_solved
end end
end end