CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Restore check

Browse Source
This commit is contained in:
Denis Merigoux 2023-03-21 13:49:16 +01:00
parent b801cccd15
commit 578091f196
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/shared_ast/typing.ml
View File

@ -610,7 +610,7 @@ and typecheck_expr_top_down :
let t_ret = unionfind (TAny (Any.fresh ())) in
let t_func = unionfind (TArrow (tau_args, t_ret)) in
let mark = uf_mark t_func in
(* assert (List.for_all all_resolved tau_args); *)
if not leave_unresolved then assert (List.for_all all_resolved tau_args);
let xs, body = Bindlib.unmbind binder in
let xs' = Array.map Var.translate xs in
let env =