Project

General

Profile

Revision 217837e2 src/modules.ml

View differences:

src/modules.ml
213 213
         )
214 214
      | Include name ->
215 215
         let basename = Options_management.name_dependency (true, name) "" in
216
         let include_src = Compiler_common.parse_source basename in
217
         load_rec ~is_header:false accu include_src
218
                         
219

  
216
         if Filename.check_suffix basename ".lus" then
217
           let include_src = Compiler_common.parse basename ".lus" in
218
           load_rec ~is_header:false accu include_src
219
         else
220
           raise (Error (decl.top_decl_loc, LoadError("include requires a lustre file")))
221
   
220 222
      | Node nd ->
221 223
         if is_header then
222 224
           raise (Error(decl.top_decl_loc,

Also available in: Unified diff