Revision 69c96b6c
Added by Pierre-Loïc Garoche about 6 years ago
| src/modules.ml | ||
|---|---|---|
| 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 |
| 165 |
) imported header
|
|
| 165 |
) imported header
|
|
| 166 | 166 |
|
| 167 | 167 |
let load_header imported header = |
| 168 | 168 |
try |
| ... | ... | |
| 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 |
| 190 |
) imported program
|
|
| 191 |
|
|
| 190 |
) imported program
|
|
| 191 |
|
|
| 192 | 192 |
let load_program imported program = |
| 193 | 193 |
try |
| 194 | 194 |
load_program_rec imported program |
Also available in: Unified diff
lustresf: Better construction of lustre ast. Still more work to be done.