CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-09 22:16:10 +03:00
Code Issues Projects Releases Wiki Activity

Scope: fix getting external body mark

Browse Source
This commit is contained in:
Louis Gesbert 2022-09-30 16:38:35 +02:00
parent 742c4acb3e
commit 9349fb918d
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
compiler/shared_ast/scope.ml
View File

@ -92,9 +92,15 @@ let map_exprs ~f ~varf scopes =
new_body_expr new_next)
~init:(Bindlib.box Nil) scopes
let rec get_body_expr_mark = function
| Result e -> Marked.get_mark e
| ScopeLet sl ->
let _, e = Bindlib.unbind sl.scope_let_next in
get_body_expr_mark e
let get_body_mark scope_body =
match snd (Bindlib.unbind scope_body.scope_body_expr) with
| Result e | ScopeLet { scope_let_expr = e; _ } -> Marked.get_mark e
let _, e = Bindlib.unbind scope_body.scope_body_expr in
get_body_expr_mark e
let rec unfold_body_expr (ctx : decl_ctx) (scope_let : 'e scope_body_expr) :
'e box =