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

Fix not instantiated uvar #658

Merged
zxq9 merged 1 commits from radrow-patch-1 into master 2019-10-10 15:31:49 +09:00
Conversation 3 Commits 1 Files Changed 1 +1 -1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 1ae0a42071 - Show all commits

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