Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix Rec_check for let module _ = ..

master
Vincent Laviron 2020-01-24 14:17:42 +01:00
parent b5176bf74c
commit fffea6b8da
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
typing/rec_check.ml
View File

@ -993,7 +993,7 @@ and module_binding : (Ident.t option * Typedtree.module_expr) -> bind_judg =
*)
let judg_E, env =
match id with
| None -> modexp mexp << Ignore, env
| None -> modexp mexp << Guard, env
| Some id ->
let mM, env = Env.take id env in
let judg_E = modexp mexp << (Mode.join mM Guard) in
@ -1014,7 +1014,7 @@ and recursive_module_bindings
let binding (mid, mexp) m =
let judg_E =
match mid with
| None -> modexp mexp << Ignore
| None -> modexp mexp << Guard
| Some mid ->
let mM = Env.find mid env in
modexp mexp << (Mode.join mM Guard)