소스 검색

[typer] still check for `@:enum` on abstracts

Simon Krajewski 5 년 전
부모
커밋
ca6370695c
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      src/typing/typeloadModule.ml

+ 1 - 1
src/typing/typeloadModule.ml

@@ -330,7 +330,7 @@ let module_pass_1 ctx m tdecls loadp =
 				a_this = mk_mono();
 				a_read = None;
 				a_write = None;
-				a_enum = List.mem AbEnum d.d_flags;
+				a_enum = List.mem AbEnum d.d_flags || Meta.has Meta.Enum d.d_meta;
 			} in
 			decls := (TAbstractDecl a, decl) :: !decls;
 			match d.d_data with