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

update optimizations

Browse Source
This commit is contained in:
adelaett 2023-04-14 17:16:01 +02:00
parent 6f7d3422a4
commit b642bdbc54
No known key found for this signature in database
GPG Key ID: 367A8C08F513BD65
1 changed files with 16 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
compiler/lcalc/optimizations.ml
View File

@ -243,11 +243,12 @@ let%expect_test _ =
[%expect
{|
before=match A (x) with
| A → λ (x: any) → C (x)
| B → λ (x: any) → D (x) end
before=match (A x)
with
| A → (λ (x: any) → C x)
| B → (λ (x: any) → D x)
after=C
(x)
x
|}])
let cases_of_list l : ('a, 't) boxed_gexpr EnumConstructor.Map.t =
@ -307,11 +308,14 @@ let%expect_test _ =
[%expect
{|
before=match
match 1 with
| A → λ (x: any) → A (20)
| B → λ (x: any) → B (B (x)) end with
| A → λ (x: any) → C (x)
| B → λ (x: any) → D (x) end
after=match 1 with
| A → λ (x: any) → C (20)
| B → λ (x: any) → D (B (x)) end |}])
(match 1
with
| A → (λ (x: any) → A 20)
| B → (λ (x: any) → B B x))
with
| A → (λ (x: any) → C x)
| B → (λ (x: any) → D x)
after=match 1
with
| A → (λ (x: any) → C 20)
| B → (λ (x: any) → D B x) |}])