File tree Expand file tree Collapse file tree 5 files changed +15
-15
lines changed Expand file tree Collapse file tree 5 files changed +15
-15
lines changed Original file line number Diff line number Diff line change @@ -50,7 +50,7 @@ let merge (acc : t) (sources : t) : t =
5050
5151let sanity_check (map : t ) =
5252 Map_string. iter map (fun m module_info ->
53- if module_info.info = Mli then
53+ if module_info.info = Intf then
5454 Bsb_exception. no_implementation m
5555 )
5656
@@ -68,13 +68,13 @@ let check (x : module_info)
6868 || x.case <> case
6969 || x.is_re <> is_re
7070 || x_ml_info = module_info
71- || x_ml_info = Ml_mli
71+ || x_ml_info = Impl_intf
7272 then
7373 Bsb_exception. invalid_spec
7474 (Printf. sprintf
7575 " implementation and interface have different path names or different cases %s vs %s"
7676 x.name_sans_extension name_sans_extension));
77- x.info < - Ml_mli ;
77+ x.info < - Impl_intf ;
7878 x
7979
8080
@@ -86,7 +86,7 @@ let add_basename
8686 (map : t )
8787 ?(error_on_invalid_suffix )
8888 basename : t =
89- let info = ref Bsb_db. Ml in
89+ let info = ref Bsb_db. Impl in
9090 let is_re = ref false in
9191 let invalid_suffix = ref false in
9292 (match Ext_filename. get_extension_maybe basename with
@@ -95,9 +95,9 @@ let add_basename
9595 | ".re" ->
9696 is_re := true
9797 | ".mli" ->
98- info := Mli
98+ info := Intf
9999 | ".rei" ->
100- info := Mli ;
100+ info := Intf ;
101101 is_re := true
102102 | _ ->
103103 invalid_suffix := true
Original file line number Diff line number Diff line change @@ -72,7 +72,7 @@ let emit_module_build
7272 namespace
7373 (module_info : Bsb_db.module_info )
7474 =
75- let has_intf_file = module_info.info = Ml_mli in
75+ let has_intf_file = module_info.info = Impl_intf in
7676 let is_re = module_info.is_re in
7777 let filename_sans_extension = module_info.name_sans_extension in
7878 let input_impl =
Original file line number Diff line number Diff line change @@ -28,9 +28,9 @@ type case = bool
2828
2929
3030type info =
31- | Mli (* intemediate state *)
32- | Ml
33- | Ml_mli
31+ | Intf (* intemediate state *)
32+ | Impl
33+ | Impl_intf
3434
3535type module_info =
3636 {
Original file line number Diff line number Diff line change 3333type case = bool
3434
3535type info =
36- | Mli (* intemediate state *)
37- | Ml
38- | Ml_mli
36+ | Intf (* intemediate state *)
37+ | Impl
38+ | Impl_intf
3939
4040
4141
Original file line number Diff line number Diff line change @@ -34,12 +34,12 @@ let s_test1 s a =
3434
3535let group0 = Map_string. of_list [
3636 " Liba" ,
37- {Bsb_db. info = Ml_mli ; dir= " a" ;is_re= false ;case = false ;
37+ {Bsb_db. info = Impl_intf ; dir= " a" ;is_re= false ;case = false ;
3838 name_sans_extension = " liba" }
3939]
4040let group1 = Map_string. of_list [
4141 " Ciba" ,
42- {Bsb_db. info = Ml_mli ; dir= " b" ;is_re= false ;case = false ;
42+ {Bsb_db. info = Impl_intf ; dir= " b" ;is_re= false ;case = false ;
4343 name_sans_extension = " liba" }
4444]
4545
You can’t perform that action at this time.
0 commit comments