Skip to content

Commit

Permalink
[typer] don't add meta to abstract impl through addGlobalMetadata
Browse files Browse the repository at this point in the history
  • Loading branch information
kLabz committed Feb 4, 2024
1 parent c55da75 commit 6d96e7f
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion src/typing/typeloadModule.ml
Original file line number Diff line number Diff line change
Expand Up @@ -377,7 +377,10 @@ module TypeLevel = struct
let init_class ctx_m c d p =
if ctx_m.m.is_display_file && DisplayPosition.display_position#enclosed_in (pos d.d_name) then
DisplayEmitter.display_module_type ctx_m (match c.cl_kind with KAbstractImpl a -> TAbstractDecl a | _ -> TClassDecl c) (pos d.d_name);
TypeloadCheck.check_global_metadata ctx_m c.cl_meta (fun m -> c.cl_meta <- m :: c.cl_meta) c.cl_module.m_path c.cl_path None;
(match c.cl_kind with
| KAbstractImpl _ -> ()
| _ -> TypeloadCheck.check_global_metadata ctx_m c.cl_meta (fun m -> c.cl_meta <- m :: c.cl_meta) c.cl_module.m_path c.cl_path None
);
let herits = d.d_flags in
List.iter (fun (m,_,p) ->
if m = Meta.Final then begin
Expand Down

0 comments on commit 6d96e7f

Please sign in to comment.