Project

General

Profile

Revision 1bff14ac src/modules.ml

View differences:

src/modules.ml
114 114
  with Not_found -> Hashtbl.add consts_table name value
115 115

  
116 116
let import_dependency_aux loc (local, dep) =
117
  let basename = Options.name_dependency (local, dep) in
117
  let basename = Options_management.name_dependency (local, dep) in
118 118
  let extension = ".lusic" in 
119 119
  try
120 120
    let lusic = Lusic.read_lusic basename extension in
......
158 158
    | Const c -> (add_const true c.const_id decl; imported)
159 159
    | TypeDef tdef -> (add_type true tdef.tydef_id decl; imported)
160 160
    | Open (local, dep) ->
161
       let basename = Options.name_dependency (local, dep) in
161
       let basename = Options_management.name_dependency (local, dep) in
162 162
       if ISet.mem basename imported then imported else
163 163
	 let lusic = import_dependency_aux decl.top_decl_loc (local, dep)
164 164
	 in load_header_rec (ISet.add basename imported) lusic.Lusic.contents
......
183 183
    | Const c -> (add_const false c.const_id decl; imported)
184 184
    | TypeDef tdef -> (add_type false tdef.tydef_id decl; imported)
185 185
    | Open (local, dep) ->
186
       let basename = Options.name_dependency (local, dep) in
186
       let basename = Options_management.name_dependency (local, dep) in
187 187
       if ISet.mem basename imported then imported else
188 188
	 let lusic = import_dependency_aux decl.top_decl_loc (local, dep)
189 189
	 in load_header_rec (ISet.add basename imported) lusic.Lusic.contents

Also available in: Unified diff