Ban the unification of uvars and var_args functions #914

Merged
ghallak merged 5 commits from ghallak/393 into master 2022-11-02 01:10:57 +09:00
Showing only changes of commit 855c8f1614 - Show all commits

View File

@ -1148,9 +1148,9 @@ failing_contracts() ->
[<<?Pos(6,5)
"Cannot unify variable argument list.\n"
"when checking the application of\n"
" `g : (() => 'a) => 'a`\n"
" `g : (() => 'b) => 'b`\n"
"to arguments\n"
" `Chain.create : (value : int, var_args) => 'b`">>
" `Chain.create : (value : int, var_args) => 'c`">>
])
].