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

Better type propagation

Browse Source
This commit is contained in:
Denis Merigoux 2022-12-13 14:12:43 +01:00
parent 6906fa48d1
commit 36a80b0ed3
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
compiler/shared_ast/typing.ml
View File

@ -764,7 +764,10 @@ let rec scope_body_expr ctx env ty_out body_expr =
A.ScopeLet
{
scope_let_kind;
scope_let_typ = typ_to_ast (ty e);
scope_let_typ =
(match Marked.unmark scope_let_typ with
| TAny -> typ_to_ast (ty e)
| _ -> scope_let_typ);
scope_let_expr;
scope_let_next;
scope_let_pos;