CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Remove useless optimizations caught just after

Browse Source
This commit is contained in:
Denis Merigoux 2023-12-19 17:26:36 +01:00
parent 9d9a2c4496
commit af16be501a
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/shared_ast/optimizations.ml
View File

@ -206,12 +206,6 @@ let rec optimize_expr :
cases1 cases2
in
EMatch { e = arg; cases; name = n1 }
| EApp { f = EAbs { binder; _ }, _; args = [(ELit _, _)] as args } ->
(* beta reduction when let-binding a literal *)
Mark.remove (Bindlib.msubst binder (List.map fst args |> Array.of_list))
| EApp { f = EAbs { binder; _ }, _; args = [(EVar _, _)] as args } ->
(* beta reduction when let-binding a variable *)
Mark.remove (Bindlib.msubst binder (List.map fst args |> Array.of_list))
| EApp { f = EAbs { binder; _ }, _; args }
when binder_vars_used_at_most_once binder
(* when variables not used *)