src/inline.mli · 86c55b28bef711a5b3ea5e54d9ec46fb9608773b · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.

16 years ago
f1cbf548
Add an iterator inliner (Inline.iterators), plus an option · f1cbf548
Erwan Jahier authored 16 years ago
```
(--inline-iterators) to activate it.

nb : do not inline completely nested iterator calls (yet, cf TODO).
```
f1cbf548

History
Add an iterator inliner (Inline.iterators), plus an option
Erwan Jahier authored 16 years ago
```
(--inline-iterators) to activate it.

nb : do not inline completely nested iterator calls (yet, cf TODO).
```

inline.mli 317 B