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

Correct typing of context subscope variables

Browse Source
This commit is contained in:
Louis Gesbert 2023-11-02 15:43:44 +01:00
parent b98bad8c33
commit 52486af6ac
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
compiler/scopelang/from_desugared.ml
View File

@ -620,6 +620,17 @@ let translate_rule
(D.ScopeDef.Map.find def_key exc_graphs)
~is_cond ~is_subscope_var:true
in
let def_typ =
match scope_def.D.scope_def_io.D.io_input with
| Runtime.NoInput, _ -> assert false
| Runtime.OnlyInput, _ -> def_typ
| Runtime.Reentrant, pos ->
match def_typ with
| TArrow (args, ret), tpos ->
TArrow (args, (TDefault ret, pos)), tpos
| _ ->
TDefault def_typ, pos
in
let subscop_real_name =
SubScopeName.Map.find sub_scope_index scope.scope_sub_scopes
in