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 =
50
50
51
51
let sanity_check (map : t ) =
52
52
Map_string. iter map (fun m module_info ->
53
- if module_info.info = Mli then
53
+ if module_info.info = Intf then
54
54
Bsb_exception. no_implementation m
55
55
)
56
56
@@ -68,13 +68,13 @@ let check (x : module_info)
68
68
|| x.case <> case
69
69
|| x.is_re <> is_re
70
70
|| x_ml_info = module_info
71
- || x_ml_info = Ml_mli
71
+ || x_ml_info = Impl_intf
72
72
then
73
73
Bsb_exception. invalid_spec
74
74
(Printf. sprintf
75
75
" implementation and interface have different path names or different cases %s vs %s"
76
76
x.name_sans_extension name_sans_extension));
77
- x.info < - Ml_mli ;
77
+ x.info < - Impl_intf ;
78
78
x
79
79
80
80
@@ -86,7 +86,7 @@ let add_basename
86
86
(map : t )
87
87
?(error_on_invalid_suffix )
88
88
basename : t =
89
- let info = ref Bsb_db. Ml in
89
+ let info = ref Bsb_db. Impl in
90
90
let is_re = ref false in
91
91
let invalid_suffix = ref false in
92
92
(match Ext_filename. get_extension_maybe basename with
@@ -95,9 +95,9 @@ let add_basename
95
95
| ".re" ->
96
96
is_re := true
97
97
| ".mli" ->
98
- info := Mli
98
+ info := Intf
99
99
| ".rei" ->
100
- info := Mli ;
100
+ info := Intf ;
101
101
is_re := true
102
102
| _ ->
103
103
invalid_suffix := true
Original file line number Diff line number Diff line change @@ -72,7 +72,7 @@ let emit_module_build
72
72
namespace
73
73
(module_info : Bsb_db.module_info )
74
74
=
75
- let has_intf_file = module_info.info = Ml_mli in
75
+ let has_intf_file = module_info.info = Impl_intf in
76
76
let is_re = module_info.is_re in
77
77
let filename_sans_extension = module_info.name_sans_extension in
78
78
let input_impl =
Original file line number Diff line number Diff line change @@ -28,9 +28,9 @@ type case = bool
28
28
29
29
30
30
type info =
31
- | Mli (* intemediate state *)
32
- | Ml
33
- | Ml_mli
31
+ | Intf (* intemediate state *)
32
+ | Impl
33
+ | Impl_intf
34
34
35
35
type module_info =
36
36
{
Original file line number Diff line number Diff line change 33
33
type case = bool
34
34
35
35
type info =
36
- | Mli (* intemediate state *)
37
- | Ml
38
- | Ml_mli
36
+ | Intf (* intemediate state *)
37
+ | Impl
38
+ | Impl_intf
39
39
40
40
41
41
Original file line number Diff line number Diff line change @@ -34,12 +34,12 @@ let s_test1 s a =
34
34
35
35
let group0 = Map_string. of_list [
36
36
" 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 ;
38
38
name_sans_extension = " liba" }
39
39
]
40
40
let group1 = Map_string. of_list [
41
41
" 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 ;
43
43
name_sans_extension = " liba" }
44
44
]
45
45
You can’t perform that action at this time.
0 commit comments