Project

General

Profile

Revision 3050ca8f

View differences:

src/modules.ml
207 207
                           content = lusic.Lusic.contents;
208 208
                           is_stateful = is_stateful } in
209 209
           
210
           (* Returning the prog without the Open, the deps with the new
211
            one and the updated envs *)
212
           accu_prog, (new_dep::accu_dep), typ_env, clk_env
210
           (* Returning the prog while keeping the Open, the deps with the new
211
            elements and the updated envs *)
212
           decl::accu_prog, (new_dep::accu_dep), typ_env, clk_env
213 213
         )
214 214
      | Include name ->
215 215
         let basename = Options_management.name_dependency (true, name) "" in
216 216
         if Filename.check_suffix basename ".lus" then
217 217
           let include_src = Compiler_common.parse basename ".lus" in
218
           load_rec ~is_header:false accu include_src
218
           let (accu_prog, accu_dep, typ_env, clk_env) =
219
             load_rec ~is_header:false accu include_src
220
           in
221
           decl::accu_prog, accu_dep, typ_env, clk_env
219 222
         else
220 223
           raise (Error (decl.top_decl_loc, LoadError("include requires a lustre file")))
221 224
   

Also available in: Unified diff